Mutation testing from probabilistic and stochastic finite state machines.



Downloads per month over past year

García Merayo, Mercedes and Hierons, Robert M. (2009) Mutation testing from probabilistic and stochastic finite state machines. Journal of Systems and Software, 82 (11). pp. 1804-1818. ISSN 0164-1212

[thumbnail of 05.pdf] PDF
Restringido a Repository staff only


Official URL:


Specification mutation involves mutating a specification, and for each mutation a test is derived that distinguishes the behaviours of the mutated and original specifications. This approach has been applied with finite state machine based models. This paper extends mutation testing to finite state machine models that contain non-functional roperties. The paper describes several ways of mutating a finite state machine with probabilities (PFSM) or stochastic time (PSFSM) attached to its transitions and shows how we can generate test sequences that distinguish between such a model and its mutants. Testing then involves applying each test sequence multiple times, observing the resultant behaviours and using results from statistical sampling theory in order to compare the observed frequency and execution time of each output sequence with that expected.

Item Type:Article
Uncontrolled Keywords:Mutation testing; Probabilities; Stochastic time; Specification mutation; Test selection; Algebraic-Theory; Model checking; Automata; Systems; Time; Bisimulation; Equivalences
Subjects:Sciences > Mathematics > Operations research
ID Code:15499
Deposited On:06 Jun 2012 08:23
Last Modified:22 Aug 2018 11:24

Origin of downloads

Repository Staff Only: item control page