Goal-oriented testing for MASs

被引:16
作者
Nguyen, C.D. [1 ]
Perini, A. [1 ]
Tonella, P. [1 ]
机构
[1] Fondazione Bruno Kessler, IRST, 18-38050 Trento, Via Sommarive
关键词
Goal-oriented testing methodology; MAS testing;
D O I
10.1504/IJAOSE.2010.029810
中图分类号
学科分类号
摘要
As Multi-Agent Systems (MASs) are increasingly applied in complex distributed applications such as financial and healthcare services, assurance needs to be given to the user that the implemented MASs operate properly, i.e., they meet their specifications and the stakeholder's expectations. Testing is an important and widely applied technique in practice to reach this goal. Current Agent-Oriented Software Engineering (AOSE) methodologies address testing only partially. Some of them exploit Object-Oriented (OO) testing techniques, based on a mapping of agent-oriented abstractions into OO constructs; this may require additional development effort and introduce anomalies. Moreover, a structured testing process for AOSE methodologies is still missing. In this paper we introduce a testing methodology, called Goal-Oriented Software Testing (GOST), for MAS. The methodology specifies a testing process that complements goal-oriented analysis and design. Furthermore, GOST provides a systematic way of deriving test cases fromgoal-oriented specifications and techniques to automate test case generation and their execution. Copyright © 2010 Inderscience Enterprises Ltd.
引用
收藏
页码:79 / 109
页数:30
相关论文
共 32 条
  • [1] Beck K., Test Driven Development: By Example, (2002)
  • [2] Botia J.A., Gomez-Sanz J.J., Pavon J., Intelligent data analysis for the verification of multi-agent systems interactions, Intelligent Data Engineering and Automated Learning - IDEAL 2006, 7th International Conference Proceedings, pp. 1207-1214, (2006)
  • [3] Botia J.A., Lopez-Acosta A., Gomez-Skarmeta A.F., ACLAnalyser: A tool for debugging multi-agent systems, ECAI'04: Proc. 16th European Conference on Artificial Intelligence, pp. 967-968, (2004)
  • [4] Bresciani P., Giorgini P., Giunchiglia F., Mylopoulos J., Perini A., Tropos: An agent-oriented software development methodology, Autonomous Agents and Multi-Agent Systems, 8, 3, pp. 203-236, (2004)
  • [5] Coelho R., Cirilo E., Kulesza U., Von Staa A., Rashid A., Lucena C., Jat: A test automation framework for multi-agent systems, 23rd IEEE International Conference on Software Maintenance, pp. 425-434, (2007)
  • [6] Cossentino M., From requirements to code with the passi methodology, Agent-Oriented Methodologies, (2005)
  • [7] Dardenne A., Van Lamsweerde A., Fickas S., Goal-directed requirements acquisition, Science of Computer Programming, 20, 1-2, pp. 3-50, (1993)
  • [8] Dastani M., Van Riemsdijk M.B., Meyer J-J.C., Goal types in agent programming, ECAI'06: Proc. of the 17th European Conference on Artificial Intelligence, pp. 220-224, (2006)
  • [9] The V-Model, (2005)
  • [10] Dikenelli O., Erdur R.C., Gumus O., SEAGENT: A platform for developing semantic web based multi agent systems, AAMAS '05: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 1271-1272, (2005)