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