.................................................53
Figure 4.10 Formal methods process model ...........................................................................................55
Figure 4.11 A bug detection curve of a project which is a long way from release ..............................62
Figure 4.12 Release readiness shown in terms of a bug curve...............................................................62
Figure 5.1 A typical web architecture ....................................................................................................66
Figure 5.2 Web interactions...................................................................................................................66
Figure 5.3 Web test architecture.............................................................................................................72
Figure 5.4 Payment processing...............................................................................................................76
Figure 5.5 Simple reliability block diagram ..........................................................................................79
Figure 5.6 Probabilities of failure...........................................................................................................80
Figure 6.1 A test process .........................................................................................................................84
Figure 6.
Pages:
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47