Skip to Main content Skip to Navigation
New interface
Conference papers

Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts

Abstract : The problem of generating tests detecting all logical and timing faults which can occur in real-time systems is challenging; this is because the number of (timing) faults is potentially too big or infinite. As a result, it might be time consuming to generate an important number of adequate tests. The traditional model based testing approach considers a fault domain as the universe of all machines with a given number of states and input-output alphabet while mutation based approaches define a list of mutants to kill with a test suite. In this paper, we combine the two approaches by developing a mutation testing technique for real-time systems represented with deterministic timed finite state machines with timed guards and timeouts (TFSM-TG). In this approach, fault domains consisting of fault-seeded versions of the specification (mutants) are represented with non-deterministic TFSM-TG. The test generation avoids the one-by-one enumeration of the mutants and is based on constraint solving. We present the results of an empirical proof-of-concept implementation of the proposed approach.
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download
Contributor : Antoine Rollet Connect in order to contact the contributor
Submitted on : Thursday, October 31, 2019 - 4:00:22 PM
Last modification on : Sunday, June 26, 2022 - 2:42:30 AM
Long-term archiving on: : Saturday, February 1, 2020 - 5:56:29 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License


  • HAL Id : hal-02341856, version 1


Omer Nguena Timo, Dimitri Prestat, Antoine Rollet. Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts. 31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. ⟨hal-02341856⟩



Record views


Files downloads