An Approach to Model Based Testing of Multiagent Systems

Algorithm 2

Test path generation from protocol graph.

Input: Coverage Criteria (A set of defined coverage criteria), Graph (Set of nodes and edges)

Output: Test Paths

Step  1. Build an edge list and node list of graph

Step  2. Categorize node with respect to type

Step  3. if all paths from graph = empty

Step  4.    find_all_path from graph

Step  5. End if

Step  6. Sort the paths in ascending order of the path length ending

Step  7. if current path = selected coverage criteria

Step  8. append (current path) in result

Step  9. End if

Step  10.  Print Result