An Approach to Model Based Testing of Multiagent Systems

Algorithm 1

Converting protocol diagram into protocol graph.

Input: Protocol Diagram with AUML syntax

Output: Protocol Graph.

Let PG be the graph containing Percept, Action and Message Nodes.

Start and End denotes the starting and ending states of Graph.

Step  1. For Each actor and Agent

Step  2.     Make Percept, Action and Message Nodes.

Step  3. Link each nodes as defined in AUML notation

Step  4. If Loop Box

Step  5.     add link last to first node in loop box

Step  6. End If

Step  7. If Box Alternative

Step  8.       Add choice between nodes

Step  9. End If

Step  10. If Box Optional

Step  11. Add Different Path from start of optional to end of optional node.

Step  12. End If