Research Article
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 |
|