Brunel University Research Archive (BURA) >
College of Engineering, Design and Physical Sciences >
Dept of Computer Science >
Dept of Computer Science Research Papers >

Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/4088

Title: Mutation testing from probabilistic and stochastic finite state machines
Authors: Hierons, RM
Merayo, MG
Keywords: Mutation testing
Probabilities
Stochastic time
Specification mutation
Publication Date: 2009
Publisher: Elsevier
Citation: Journal of Systems and Software. 82(11): 1804-1818
Abstract: 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 properties. 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.
URI: http://bura.brunel.ac.uk/handle/2438/4088
DOI: http://dx.doi.org/10.1016/j.jss.2009.06.030
ISSN: 0164-1212
Appears in Collections:Computer Science
Software Engineering (B-SERC)
Dept of Computer Science Research Papers

Files in This Item:

File Description SizeFormat
Fulltext.pdf293.28 kBAdobe PDFView/Open

Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.