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 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines
حسب: Salameh, Tariq Mohammad
منشور في: (2013) -
Empirical Evaluation of Extended Finite State Machine Test Suites
حسب: Hasan, Faiz Mohammed
منشور في: (2022) -
On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria
حسب: Jadoon, Noshad Khan
منشور في: (2015) -
Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines
حسب: Hassoun, Mark Habib
منشور في: (2015) -
A Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices
حسب: Bhanpurawala, Alifiya
منشور في: (2023)