Universidad Complutense de Madrid
E-Prints Complutense

Mutation testing from probabilistic and stochastic finite state machines.



Último año

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

[img] PDF
Restringido a Sólo personal autorizado del repositorio hasta 31 Diciembre 2020.


URL Oficial: http://www.sciencedirect.com/science/article/pii/S0164121209001356


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.

Tipo de documento:Artículo
Palabras clave:Mutation testing; Probabilities; Stochastic time; Specification mutation; Test selection; Algebraic-Theory; Model checking; Automata; Systems; Time; Bisimulation; Equivalences
Materias:Ciencias > Matemáticas > Investigación operativa
Código ID:15499
Depositado:06 Jun 2012 08:23
Última Modificación:14 Jul 2014 11:39

Descargas en el último año

Sólo personal del repositorio: página de control del artículo