Table of Contents Author Guidelines Submit a Manuscript
The Scientific World Journal
Volume 2015, Article ID 925206, 12 pages
http://dx.doi.org/10.1155/2015/925206
Research Article

An Approach to Model Based Testing of Multiagent Systems

Center for Software Dependability, Mohammad Ali Jinnah University, Islamabad 44000, Pakistan

Received 22 June 2014; Revised 11 September 2014; Accepted 14 September 2014

Academic Editor: Shifei Ding

Copyright © 2015 Shafiq Ur Rehman and Aamer Nadeem. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. M. Winikoff and S. Cranefield, “On the testability of BDI agents,” in Proceedings of the European Workshop on Multi-Agent Systems, 2010.
  2. L. Padgham and M. Winikoff, “Prometheus: a methodology for developing intelligent agents,” in Agent-Oriented Software Engineering III, vol. 2585 of Lecture Notes in Computer Science, pp. 174–185, Springer, Berlin, Germany, 2003. View at Publisher · View at Google Scholar
  3. S. Munroe, T. Miller, R. A. Belecheanu, M. Pěchouček, P. Mcburney, and M. Luck, “Crossing the agent technology chasm: lessons, experiences and challenges in commercial applications of agents,” Knowledge Engineering Review, vol. 21, no. 4, pp. 345–392, 2006. View at Publisher · View at Google Scholar · View at Scopus
  4. L. Padgham and M. Winikoff, Developing Intelligent Agent Systems: A Practical Guide, John Wiley & Sons, New York, NY, USA, August 2004.
  5. L. Padgham, J. Thangarajah, and M. Winikoff, “The prometheus design tool—a conference management system case study,” in Proceedings of the 8th International Conference on Agent-Oriented Software Engineering VIII, pp. 197–211, 2008.
  6. J. Thangarajah, L. Padgham, and M. Winikoff, “Prometheus design tool,” in Proceedings of the 4th International Conference on Autonomous Agents and Multi agent Systems (AAMAS '05), Utrecht, The Netherlands, July 2005. View at Scopus
  7. S. U. Rehman and A. Nadeem, “AgentSpeak (L) bases testing of autonomous agents,” in Proceedings of the International Conference on Advanced Software Engineering & Its Applications (ASEA '11), pp. 11–20, Science and Engineering Research Support Society, Springer, Jeju Island, Korea, 2011.
  8. T. Miller, L. Padgham, and J. Thangarajah, “Test coverage criteria for agent interaction testing,” in Agent-Oriented Software Engineering (AOSE) Workshop at AAMAS, 2010.
  9. M. Wooldridge, N. R. Jennings, and D. Kinny, “The Gaia methodology for agent-oriented analysis and design,” Autonomous Agents and Multi-Agent Systems, vol. 3, no. 3, pp. 285–312, 2000. View at Publisher · View at Google Scholar · View at Scopus
  10. S. A. Deloach, M. F. Wood, and C. H. Sparkman, “Multiagent systems engineering,” International Journal of Software Engineering and Knowledge Engineering, vol. 11, no. 3, pp. 231–258, 2001. View at Publisher · View at Google Scholar · View at Scopus
  11. S. A. DeLoach, “Multiagent systems engineering: ‘a methodology and language for designing agent systems’,” in Proceedings of the Agent-Oriented Information Systems (AOIS ’99), Seattle, Wash, USA, May 1998.
  12. G. Caire, F. Leal, P. Chainho et al., “Agent oriented analysis using MESSAGE/UM L,” in Proceedings of the 2nd International Workshop on Agent-Oriented Software Engineering (AOSE '01), M. Wooldridge, P. Ciancarini, and G. Weiss, Eds., pp. 101–108, Montreal, Canada, May 2001.
  13. P. Bresciani, P. Giorgini, F. Giunchiglia, J. Mylopoulos, and A. Perini, “Troops: an agent-oriented software development methodology,” Tech. Rep. DIT-02-0015, University of Trento, Department of Information and Communication Technology, 2002. View at Google Scholar
  14. N. Glaser, Contribution to knowledge modelling in a multi-agent framework (the CoMoMAS approach) [Ph.D. thesis], L'Universite Henri Poincare, 1996.
  15. A. Omicini, “Societies and infrastructures in the analysis and design of agent-based systems,” in Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering (AOSE '00), P. Ciancarini and M. J. Wooldridge, Eds., vol. 1957 of Lecture Notes in Artificial Intelligence, pp. 185–194, Springer, 2001. View at Publisher · View at Google Scholar
  16. F. M. T. Brazier, B. M. Dunin-Keplicz, N. R. Jennings, and J. Treur, “Desire: modelling multi-agent systems in a compositional formal framework,” International Journal of Cooperative Information Systems, vol. 6, no. 1, pp. 67–94, 1997. View at Publisher · View at Google Scholar · View at Scopus
  17. C. Iglesias, M. Garijo, J. C. Gonzales, and J. R. Velasco, “Analysis and design of multiagent systems using MAS-CommonKADS,” in Intelligent Agents IV Agent Theories, Architectures, and Languages: Proceedings of the 4th International Workshop, ATAL'97 Providence, Rhode Island, USA, July 24–26, 1997, M. P. Singh, A. Rao, and M. J. Wooldridge, Eds., vol. 1365 of Lecture Notes in Computer Science, pp. 313–326, Springer, Berlin, Germany, 1998. View at Publisher · View at Google Scholar
  18. K. H. Dam, Evaluating and comparing agent-oriented software engineering methodologies [Ph.D. thesis], School of Computer Science and Information Technology, RMIT University, Melbourne, Australia, 2003.
  19. A. S. Rao, “AgentSpeak (L): BDI agents speak out in a logical computable language,” in Proceedings of the 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW '96), W. van de Velde and W. J. Perram, Eds., vol. 1038 of Lecture Notes in Computer Science, pp. 42–55, Springer.
  20. S. J. Juneidi and G. A. Vouros, “Survey and evaluation of agent-oriented software engineering main approaches,” International Journal of Modelling and Simulation, 2010. View at Publisher · View at Google Scholar
  21. A. Spillner, “Test criteria and coverage measures for software integration testing,” Software Quality Journal, vol. 4, no. 4, pp. 275–286, 1995. View at Publisher · View at Google Scholar · View at Scopus
  22. M. Utting and B. Legeard, Practical Model-Based Testing: A Tools Approach, Morgan-Kaufmann, San Francisco, Calif, USA, 2007.
  23. C. K. Low, T. Y. Chen, and R. Rönnquist, “Automated test case generation for BDI agents,” Autonomous Agents and Multi-Agent Systems, vol. 2, no. 4, pp. 311–332, 1999. View at Publisher · View at Google Scholar · View at Scopus
  24. Z. Zhang, J. Thangarajah, and L. Padgham, “Model based testing for agent systems,” in Software and Data Technologies, Communications in Computer and Information Science, J. Filipe, B. Shishkov, M. Helfert, and L. A. Maciaszek, Eds., vol. 22, pp. 399–413, Springer, Berlin, Germany, 2009. View at Google Scholar
  25. M. Zheng and V. S. Alagar, “Conformance testing of BDI properties in agent-based software system,” in Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC '05), December 2005. View at Publisher · View at Google Scholar
  26. C. D. Nguyen, S. Miles, A. Perini, P. Tonella, M. Harman, and M. Luck, “Evolutionary testing of autonomous software agents,” Autonomous Agents and Multi-Agent Systems, vol. 25, no. 2, pp. 260–283, 2012. View at Publisher · View at Google Scholar · View at Scopus
  27. C. D. Nguyen, A. Perinirini, and P. Tonella, “Automated continuous testing of multi-agent systems,” in Proceedings of the 5th European Workshop on Multi-Agent Systems (EUMAS '07), 2007.
  28. Jack intelligent agents, http://aosgrp.com/products/jack/.
  29. M.-P. Huget and J. Odell, “Representing agent interaction protocols with agent UML,” in Proceedings of the 5th International Workshop on Agent Oriented Software Engineering (AOSE '04), July 2004.
  30. RMIT, Agent Research Group, Australia, http://www.cs.rmit.edu.au/agents/pdt/tutorial/Tutorial.html.