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 |
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. |
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 Dept of Computer Science Research Papers Software Engineering (B-SERC) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Fulltext.pdf | 293.28 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.