Name
Abstract | ||
|---|---|---|
Faults in safety critical real-time systems are not only logical, but they can correspond to violations of timing constraints. They must be detected to avoid system failures with adverse consequences. Developing efficient fault detection techniques for varieties of system models is still challenging. In this paper, we deal with fault detection for timed finite state machines with timeouts (TFSMs-T). TFSM-T is an extension of FSM to model timing constraints in safety-critical real-time systems. We lift a fault detection approach developed for FSM to generate tests detecting both logical faults and violations of time constraints in TFSMs-T. The approach is based on constraint solving and uses mutation machines to represent domains of faulty implementations (mutants) of a specification TFSMs-T. It also avoids enumerating the implementations one by one. We develop a prototype tool and we conduct experiments to evaluate the scalability of the proposed methods. |
Year | DOI | Venue |
|---|---|---|
2019 | 10.1109/QRS.2019.00049 | 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS) |
Keywords | Field | DocType |
Fault detection,Mutation testing,Test generation,Timed finite state machines,Timeouts,SAT-solving | Computer science,Fault detection and isolation,Finite-state machine,Implementation,Computer engineering,Scalability | Conference |
ISBN | Citations | PageRank |
978-1-7281-3928-9 | 0 | 0.34 |
References | Authors | |
15 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Omer Nguena-Timo | 1 | 19 | 4.77 |
| Dimitri Prestat | 2 | 0 | 0.34 |
| Florent Avellaneda | 3 | 11 | 4.62 |