Exercise 7.38 (Test Pattern Calculated for a Sensible Point Using the Detailed Method). Calculate all test patterns for the sensible point h3 in the circuit of Fig. 7.16 on page 190 designed in Section 3. using the bidecomposition.

Use (7.146) . . . (7.149) of [18] and the equation system of Exercise 7.35, Task 3 as basis. Practical tasks:

1 Define a Boolean space of 32 variables and assign the variables appearing in the circuit of Fig. 7.16.

2 Solve the equation system of Exercise 7.35, Task 3 that describes the required behavior.

3 Modify the equation system of Exercise 7.35, Task 3 in order to get the observing part of the circuit such that h3 is substituted by s and the controlling equations are removed. Solve this equation system.

4 Prepare an equation system for the controlling part of the circuit. This equation system includes the equation with the variables h3, g4 and h4 on the left-hand side. Solve this equation system.

5 Solve the simple equations y = 1, h2 = 1, t = 1 and prepare a VT of the internal variables of the circuit. These objects are required to calculate the test pattern.

6 Solve (7.146) of [18] for the sensible point h3 that describes the error controlling condition.

7 Solve (7.147) of [18] for the sensible point h3 that describes the error observability condition.

8 Solve (7.148) of [18] for the circuit that allows the error evaluation 9 Solve (7.149) of [18] for the sensible point h3. The result of this equation are all existing test patterns for the sensible point h3. How many test patterns exist?
10 Substantiate why the method of the sensible path does not find any test pattern for h3