- Test sequence T1 T4 T5 T8 T6 T8 T5 T8 T7 T8 T9 wrt TUT = T5 for the ATM System is used in this example.
- Derive the sub-graph of the SDG graph based on the test sequence:
- Mark the dependencies affecting the TUT by traversing backwards from the TUT to the start state:
- Remove the unmarked dependencies to obtain the SIP:
- The construction of SIP is implemented in the SIP class in file sip.cpp of the SIP module.
Details of the algorithm can be found in Panitee's thesis.
Home