FSM-based testing from user defined faults adapted to incremental and mutation testing

• Published in: Programming and computer software Vol. 38; no. 4; pp. 201 - 209
• Main Authors: El-Fakih, K. A., Dorofeeva, R., Yevtushenko, N. V., Bochmann, G. V.
• Format: Journal Article
• Language: English
• Published: Dordrecht SP MAIK Nauka/Interperiodica 01-07-2012; Springer Nature B.V
• Subjects: Artificial Intelligence; Computer Science; Faults; Finite state machines; Mutation; Operating Systems; Polynomials; Software Engineering; Software Engineering/Programming and Operating Systems; Specifications; model-based testing; mutation testing; conformance testing; finite state machines; incremental testing
• ISSN: 0361-7688; 1608-3261
• DOI: 10.1134/S0361768812040019

We study the problem of deriving a test suite with guaranteed fault coverage from a given finite state machine specification with respect to some given user defined faults. We consider the case when an implementation under test can have more states than its specification while user defined faults are implemented in an arbitrary way. We show that our approach can be used for FSM-based incremental and mutation testing and correspondingly we investigate cases that can be used for reducing length of obtained test suites. In some cases, worst-case length of obtained test suite becomes polynomial. Experiments show significant gains is using our approach in comparison to testing the whole specification.