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.