Source | Domain | C1) Specification | C2) Test Selection Criteria | C3) Execution and Feedback Manipulation | C4) Feedback Integration | C5) Type, Implementation, Observability and Level |
[17] [96] [97] | Integrated circuits | Stuck-at, open, complex logical faults, ... | As spec. contact or contactless, time triggered | Offline | HWIFI (pin-level or insertion, heavy-ion radiation, electromagnetic) | Real system, microprocessors/ integrated circuits, system |
[98] | Integrated circuits | Fault model (saboteurs, mutants), some mutants generated automatically | As spec. | Offline | MIFI | VHDHL model, integration/system |
[94] | Automotive | Fault models, failure mode function (mutants and saboteurs), requirements (Simulink assertion blocks), time window | As spec. minimal cut sets | Offline | MIFI | Matlab/Simulink, unit |
[99] [100] | Automotive | Selection of component/ fault nodes in simulation model | As spec. | Offline | MIFI/SWIFI (injection in generated code) | C (generated out of SCADE), unit |
[101] | Embedded systems | Mathematical description of functions and safety properties | Mutation operators (insertion of an additional request, reordering of a pair of requests) | Offline | SWIFI | MiL |
[102] | Production automation | Fault operators | Path coverage, possible inputs, code splicing, possible paths leading tocomponent | Offline,simulation: UML SC for PLC | MIFI | SiL, IEC 61131-3, unit |
[103] | Production automation | Timing sequence diagram | Fault operators (missing signal) |
| SWIFI | real system, IEC 61131-3, system |
[104] | Production automation | Target variable chosen manually, mutant created accordingly, every path checked with every mutant | 5 mutation operators according to target |
| SWIFI | C, FBD, integration |