..............................222
Figure 13.5 Code fragment rewritten ....................................................................................................222
Figure 13.6 Code before mutation.........................................................................................................223
Figure 13.7 Code with a mutation check ..............................................................................................223
Figure 13.8 Bug propagation ..................................................................................................................224
Figure 13.9 Assertion demonstrating a bug ..........................................................................................225
Figure 13.10 Confidence-level equation ..................................................................................................225
Figure 13.11 Fault-injection process ........................................................................................................227
Figure 13.12 A TAN function...................................................................................................................229
Figure 13.13 Failure mode effects and criticality analysis form............................................................229
Figure 14.1 Classes and subclasses .........................................................................................................233
Figure 15.
Pages:
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56