Figure 1: The design of the exception testing system