Abstract
In this paper, we present an assessment of the fault coverage of several Extended FSM (EFSM) based test suites. More precisely, EFSM specifications and their corresponding Java implementations are considered. Mutants of these implementations are derived using the standard arithmetic, conditional, and relational mutation operators. The fault coverage of test suites derived by different EFSM based strategies are evaluated and obtained results are summarized.
Chapter PDF
Similar content being viewed by others
References
El-Fakih, K., Simao, A., Jadoon, N., Maldonado, J.C.: On studying the effectiveness of ex-tended finite state machine based test selection criteria. In: IEEE ICST Workshops, Mutation 2014 (2014)
Bourhfir, C., Abdoulhamid, E., Khendek, F., Dssouli, R.: Test cases selection from SDL specifications. Computer Networks 35(6), 693–708 (2001)
Jia, Y., Harman, M.: An anaylsis an survey of the development of mutation testing. IEEE TSE 37(5), 649–678 (2011)
Ma, Y.-S., Offutt, J., Kwon, Y.R.: MuJava: An automated class mutation system. JSTVR 15(2), 97–133 (2005)
Mathur, A.: Foundations of Software Testing, Addison-Wesley (2008)
Petrenko, A., Boroday, S., Groz, R.: Confirming configurations in EFSM Testing. IEEE TSE 30(1), 29–42 (2004)
Ural, H., Williams, A.: Test generation by exposing control and data dependencies within system specifications in SDL. In: Formal Description Techniques, pp. 335–350 (1993)
MuClipse Team. MuClipse - Mutation Testing tool for Eclipse (September 2011), http://muclipse.sourceforge.net/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 IFIP International Federation for Information Processing
About this paper
Cite this paper
El-Fakih, K., Salameh, T., Yevtushenko, N. (2014). On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment. In: Merayo, M.G., de Oca, E.M. (eds) Testing Software and Systems. ICTSS 2014. Lecture Notes in Computer Science, vol 8763. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44857-1_16
Download citation
DOI: https://doi.org/10.1007/978-3-662-44857-1_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44856-4
Online ISBN: 978-3-662-44857-1
eBook Packages: Computer ScienceComputer Science (R0)