Skip to Main content Skip to Navigation
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

https://hal.inria.fr/hal-02341856
Contributor : Antoine Rollet <>
Submitted on : Thursday, October 31, 2019 - 4:00:22 PM
Last modification on : Thursday, April 2, 2020 - 5:33:21 PM
Long-term archiving on: : Saturday, February 1, 2020 - 5:56:29 PM

File

paper29.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : hal-02341856, version 1

Citation

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⟩

Share

Metrics

Record views

96

Files downloads

412