Test Coverage Criteria For Agent Interaction Testing
AOSE'10: Proceedings of the 11th international conference on Agent-oriented software engineering(2011)
摘要
By the very definition of complex systems, complex behaviour emerges from the interactions between the individual parts. This emergent behaviour may be difficult or impossible to predict by analysing the parts. As a result, systematic and thorough testing of the interactions of complex systems, including multi-agent systems, is an important part of the verification and validation process. This paper defines two sets of test coverage criteria for multi-agent interaction testing. The first uses only the protocol specification, while the second considers also the plans that generate and receive the messages in the protocol. We describe how an existing debugging agent can be used as a test oracle for assessing correctness of a test, and how the Petri Net representation of the debugging agent can be annotated to support test coverage measurements. This work both specifies, and shows how to measure, the degree of thoroughness of a set of test cases. It also provides a basis for the future specification of test case input, designed to provide good coverage.
更多查看译文
关键词
complex system,test case,test case input,test coverage criterion,test coverage measurement,test oracle,complex behaviour,good coverage,debugging agent,emergent behaviour,agent interaction testing
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络