An assessment of extended finite state machine test selection criteria
详细信息 查看全文
- 作者：Khaled El-Fakiha ; kelfakih@aus.edu" class="auth_mail" title="E-mail the corresponding authorAuthor Vitae ; Adenilso Simaob ; adenilso@icmc.usp.br" class="auth_mail" title="E-mail the corresponding authorAuthor Vitae ; Noshad Jadoona ; noshad.jadoon@alnaboodah.com" class="auth_mail" title="E-mail the corresponding authorAuthor Vitae ; Jose Carlos Maldonadob ; jcmaldon@icmc.usp.br" class="auth_mail" title="E-mail the corresponding authorAuthor Vitae
- 关键词：Model based testing ; Extended finite state machines ; Mutation testing ; Test derivation ; Fault coverage assessment
- 刊名：Journal of Systems and Software
- 出版年：2017
- 出版时间：January 2017
- 年：2017
- 卷：123
- 期：Complete
- 页码：106-118
- 全文大小：1335 K
文摘
• The first comprehensive assessment of many extended finite state machine (EFSM) based test suites using typical types of EFSM faults.
• Considered types of faults include single transfer, double transfer, single output parameter, and single assignment faults.
• Eleven types of EFSM based test suites are considered in the assessment.
• Ranking of the test suites is carried out with respect to their fault coverage and length.
• Obtained results are summarized and dispersion of test suites coverage is provided.