Abstract
Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for such systems has usually the form of Multi-Agent Systems (MAS). As these systems are increasingly applied in mission-critical services, assurances need to be given to their owners and users that they operate properly. Although the relevance of the link between requirements engineering and testing has long been recognized, current Agent-Oriented Software Engineering methodologies partially address it. Some of them offer specification-based formal verification, allowing software developers to correct errors at the beginning of the development process, others exploits Object-Oriented (OO) testing techniques, upon a mapping of agent-oriented abstractions into OO constructs. However, a structured testing process for AOSE methodologies that complements formal verification is still missing.
In this paper we introduce a testing framework for the AOSE methodology Tropos. It specifies a testing process model that complements the agent-oriented requirements and design models and strengthens the mutual relationship between goal analysis and testing. Furthermore, it provides a systematic way of deriving test cases from goal analysis. We call this approach goal-oriented testing.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Beck, K.: Test Driven Development: By Example. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)
Benerecetti, M., Giunchiglia, F., Serafini, L.: Model checking multiagent systems. Journal of Logic and Computation 8(3), 401–423 (1998)
Bordini, R., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. Autonomous Agents and Multi-Agent Systems 12, 239–256 (2006)
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), 203–236 (2004)
Coelho, R., Kulesza, U., von Staa, A., Lucena, C.: Unit testing in multi-agent systems using mock agents and aspects. In: SELMAS 2006: Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, pp. 83–90. ACM Press, New York (2006)
Cossentino, M.: From requirements to code with the passi methodology. In: Henderson-Sellers, Giorgini [12]
Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming 20(1-2), 3–50 (1993)
Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.C.: Goal types in agent programming. In: ECAI, pp. 220–224 (2006)
Dikenelli, O., Erdur, R.C., Gumus, O.: Seagent: a platform for developing semantic web based multi agent systems. In: AAMAS 2005: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pp. 1271–1272. ACM Press, New York (2005)
Fuxman, A., Liu, L., Mylopoulos, J., Pistore, M., Roveri, M., Traverso, P.: Specifying and analyzing early requirements in tropos. Requir. Eng. 9(2), 132–150 (2004)
Graham, D.R.: Requirements and testing: Seven missing-link myths. IEEE Software 19(5), 15–17 (2002)
Henderson-Sellers, B., Giorgini, P. (eds.): Agent-Oriented Methodologies. Idea Group Inc. (2005)
Nguyen, D.C., Perini, A., Tonella, P.: A goal-oriented software testing methodology. Technical report, ITC-irst (2006), http://sra.itc.it/images/sepapers/gost-techreport.pdf
Pavon, J., Gomez-Sanz, J.J., Fuentes, R.: The ingenias methodology and tools. In: Henderson-Sellers, Giorgini [12]
Poutakidis, D., Padgham, L., Winikoff, M.: An exploration of bugs and debugging in multi-agent systems. In: AAMAS 2003: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, pp. 1100–1101. ACM Press, New York (2003)
The Development Standards for IT Systems of the Federal Republic of Germany. The V-Model (2005), http://www.v-modell-xt.de
The Object Management Group. Uml ocl2 specification (2005), http://www.omg.org
TILAB. Java agent development framework, http://jade.tilab.com/
Tiryaki, A.M., Oztuna, S., Dikenelli, O., Erdur, R.: Sunit: A unit testing framework for test driven development of multi-agent systems. In: 7th International Workshop on Agent Oriented Software Engineering (2006)
Yu, E.: Modelling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto, Department of Computer Science, University of Toronto (1995)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Nguyen, D.C., Perini, A., Tonella, P. (2008). A Goal-Oriented Software Testing Methodology. In: Luck, M., Padgham, L. (eds) Agent-Oriented Software Engineering VIII. AOSE 2007. Lecture Notes in Computer Science, vol 4951. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79488-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-79488-2_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79487-5
Online ISBN: 978-3-540-79488-2
eBook Packages: Computer ScienceComputer Science (R0)