Chapter 9. Summing Up
9.1: Reprise. How to Use the Testing Process Model
In this book, I have developed a process model for formal testing. The model includes the various subprocesses or tasks that are involved in an IEEE-compliant formal testing process. Figures 9-1 and 9-2 represent the Level 0 and Level 1 IPO diagrams for the formal testing process.
Figure 9-1. At the highest level IPO diagram, Level 0, software engineers from a formal test group test the code based on documented test plans, using approved test procedures. Errors are formally documented and analyzed.
Figure 9-2. The Level 1 IPO diagram illustrates the five steps in a formal ...