Approach | Objective | Features | Output |
Event Inter Action Graph Approach (EIAG) | Test case generation by taking copaths or sub-event graph as Test cases using Event graph and Interactions. | 1) Event Graphs (EGs) as a graphically representing discrete-event simulation models. 2) Interactions in the EIAG. | 1) All test cases are feasible. 2) Monitoring the state transition is possible. |
Interaction Sequences Approach | Test case generation by ISTC based on sequence of Interactions. | 1) Edge coverage criterion. 2) Loop coverage criterion. 3) Interaction Coverage criterion. | 1) It can detect the Unreachable statements. 2) It finds the communication error and deadlocks. |
Constraint Based Approach | It would improve the efficacy of the adequate test case sets by associating those constraints and conditions to the elements required by a criterion. | It requires constrained elements (E, C) that are covered by a test case that executes a path including the structural element E and that satisfies the constraint C. | 1) It can reduce effort in the testing activity. 2) Additional test cases would be derived after its application to guarantee the criterion satisfaction. |
Concurrent Path Analysis Approach | 1) Sequential program testing is presented to reduce the number of test cases. 2) This approach is used to reduce the number of combined concurrent test paths. | 1) First uses an Extended Control Flow Graph to represent a BPEL program, and generates all the sequential test paths. 2) These sequential test paths are then combined to form concurrent test paths. | 1) This method is tested sound and efficient in experiments. 2) It is also applicable to the testing of other business process languages with possible extension and adaption. |
High-Level Petri nets Approach | 1) It is expected to improve testing productivity and reduce testing cost. 2) It is utilized for function testing and for security testing by using Petri nets as threat models. | 1) It allows executable test code to be generated automatically. 2) The test code can be executed immediately against the system under test. | Using ISTA for its own testing has proven to be an effective approach in its incremental development process. |