Research Article

An Approach to Model Based Testing of Multiagent Systems

Table 2

Test path generator tool input file.

14    
start, start  
account open, precept  
account created, action  
debit account request,
precept  
credit account request,
precept  
transport request,
message  
exchange request,
message  
exchange rates, precept  
exchange request
reply, message  
amount credited, action  
amount debited, action  
request error, action  
accont info, action  
end, end  
27
1,2
2,3
3,2
3,4
3,5
4,6
4,10
4,11
4,12
5,6
5,10
5,11
5,12
6,7
7,8
8,9
9,10
9,11
9,12
10,13
11,13
12,14
12,4
12,5
13,14
13,4
13,5