An Approach to Model Based Testing of Multiagent Systems

Table 1

Test paths for account operation protocol diagram.

S. #	Coverage criteria	Test paths
1	Message coverage	(i) 1 → 2 → 3 → 4 → 6 (message) → 7 (message) → 8 → 9 (message) → 11 → 13 → 14
2	Action coverage	(i) 1 → 2 → 3 (action) → 5 → 6 → 7 → 8 → 9 → 10 (action) → 13 (action) → 14; (ii) 1 → 2 → 3 → 5 → 6 → 7 → 8 → 9 → 12 (action) → 14; (iii) 1 → 2 → 3 (action) → 4 → 6 → 7 → 8 → 9 → 11 (action) → 13 (action) → 14
3	Percept coverage	(i) 1 → 2 (percept) → 3 → 5 (percept) → 6 → 7 → 8 (percept) → 9 → 10 → 13 → 14; (ii) 1 → 2 (percept) → 3 → 4 (percept) → 6 → 7 → 8 (percept) → 9 → 11 → 13 → 14
4	Message action coverage	(i) 1 → 2 → 3 → 5 → 6 → 7 → 8 → 9 (message) → 10 (action) → 13 → 14; (ii) 1 → 2 → 3 → 5 → 6 → 7 → 8 → 9 (message) → 12 (action) → 14; (iii) 1 → 2 → 3 → 4 → 6 → 7 → 8 → 9 (message) → 11 (action) → 13 → 14
5	Action percept coverage	(i) 1 → 2 → 3 (action) → 5 (percept) → 6 → 7 → 8 → 9 → 10 → 13 → 14; (ii) 1 → 2 → 3 (action) → 4 (percept) → 6 → 7 → 8 → 9 → 11 → 13 → 14; (iii) 1 → 2 → 3 → 5 → 6 → 7 → 8 → 9 → 12 (action) → 5 (Percept) → 6 → 7 → 8 → 9 → 12 → 14; (iv) 1 → 2 → 3 (action) → 4 (percept) → 6 → 7 → 8 → 9 → 11 → 13 → 4 → 6 → 7 → 8 → 9 → 11 → 13 → 14
6	Percept-message coverage	(i) 1 → 2 → 3 → 5 (percept) → 6 (message) → 7 → 8 (percept) → 9 (message) → 10 (action) → 13 → 14; (ii) 1 → 2 → 3 → 4 (percept) → 6 (message) → 7 → 8 (percept) → 9 (message) → 11 (action) → 13 → 14
7	Pairwise-message coverage	(i) 1 → 2 → 3 → 5 → 6 (message) → 7 (message) → 8 → 9 → 10 → 13 → 14
8	All round trip paths	(i) 1 → 2 → 3 → 2 → 3 → 5 → 6 → 7 → 8 → 9 → 10 → 13 → 5 → 12 → 14; (ii) 1 → 2 → 3 → 5 → 11 → 13 → 5 → 12 → 5 → 10 → 13 → 14
9	All paths coverage	(i) Infinite # of Paths