Skip to main content
Article thumbnail
Location of Repository

Mutation Testing from Probabilistic and Stochastic Finite State Machines

By Robert M. Hierons and Mercedes G. Merayo

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 machines 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 their transitions and shows how test sequences that distinguish between them and their mutants can be generated. Testing then involves applying each test sequence multiple times, observing the resultant output sequences and using results from statistical sampling theory in order to compare the observed frequency of each output sequence with that expected. Key words: mutation testing; probabilities; stochastic time; specification mutation

Year: 2009
OAI identifier: oai:CiteSeerX.psu:10.1.1.353.1507
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://bura.brunel.ac.uk/bitst... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.