Please use this identifier to cite or link to this item:
Title: Mutation testing from probabilistic and stochastic finite state machines
Authors: Hierons, RM
Merayo, MG
Keywords: Mutation testing;Probabilities;Stochastic time;Specification mutation
Issue 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.
ISSN: 0164-1212
Appears in Collections:Computer Science
Dept of Computer Science Research Papers
Software Engineering (B-SERC)

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.