Assessing test suites of extended finite state machines against model and code based faults

Tests can be derived from extended finite state machine (EFSM) specifications considering the coverage of single-transfer faults, all transitions using a transition tour, all-uses, edge-pair, and prime path with side trip. We provide novel empirical assessments of the effectiveness of these test sui...

وصف كامل

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: El-Fakih, Khaled (author)
مؤلفون آخرون: Alzaatreh, Ayman (author), Turker, Uraz Cengiz (author)
التنسيق: article
منشور في: 2021
الموضوعات:
الوصول للمادة أونلاين:http://hdl.handle.net/11073/25061
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!