Programming and Computer Software

, Volume 38, Issue 4, pp 201–209

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

  • K. A. El-Fakih
  • R. Dorofeeva
  • N. V. Yevtushenko
  • G. V. Bochmann
Article

DOI: 10.1134/S0361768812040019

Cite this article as:
El-Fakih, K.A., Dorofeeva, R., Yevtushenko, N.V. et al. Program Comput Soft (2012) 38: 201. doi:10.1134/S0361768812040019

Abstract

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.

Keywords

conformance testing finite state machines model-based testing mutation testing incremental testing 

Copyright information

© Pleiades Publishing, Ltd. 2012

Authors and Affiliations

  • K. A. El-Fakih
    • 1
  • R. Dorofeeva
    • 2
  • N. V. Yevtushenko
    • 2
  • G. V. Bochmann
    • 3
  1. 1.Department of Computer Science and EngineeringAmerican University of SharjahSharjahUAE
  2. 2.Tomsk State UniversityTomskRussia
  3. 3.University of OttawaOttawaCanada

Personalised recommendations