Information Technology Reference
In-Depth Information
Fault
0
Constant
3
FI enable
1
Input signal 1
×
1
Output signal
2
Input signal 2
(a) Fault Injection: A signal-stuck-at-0 fault
Fault
Mutation
0
Constant
3
4
1
Input signal 1
×
1
Output signal
2
Input signal 2
(b) The fault and the mutation from Figure 4b combined in one model
Fig. 5.
Mutations and Faults injected into a simple Simulink model
4 Generating Test-Cases for Many Mutations
In this section, we propose an optimisation of the mutation-based test-case
generation approach discussed in Section 3.
4.1
Finding an Ecient and Sucient Test-Suite
The technique described in Section3.6usesaSAT-solvertoextract
n
test cases
from Formula (4), each of which corresponds to one mutation. If the number of
