Skip to main content
Springer Nature Link
Log in

AgentSpeak (L) Based Testing of Autonomous Agents

  • Conference paper
Software Engineering, Business Continuity, and Education (ASEA 2011)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 257))

  • 1732 Accesses

Abstract

Autonomous agents perform on behalf of the user to achieve defined goals or objective. Autonomous agents are often programmed using AgentSpeak language. This language is rich enough to provide necessary support to gain proper functionality within certain environment. Testing of agents programmed in AgentSpeak language is a challenging task. In this paper testing of agents programmed in AgentSpeak has been proposed by deriving AgentSpeak code into goal-plan diagram. Certain coverage criteria have been defined based on the goal-plan diagram. Test cases meeting the defined coverage criteria are used to test the AgentSpeak program with respect to expected functionality.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Alonso, F., Fuertes, J.L., Martinez, L., Soza, H.: Towards a set of Measures for Evaluating Software Agent Autonomy. In: Eighth Mexican International Conference on Artificial Intelligence, doi:978-0-7695-3933-1/09, 10.1109/MICAI.2009.15

    Google Scholar 

  2. Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Van de Velde, W., Perram, J.W. (eds.) MAAMAW 1996. LNCS (LNAI), vol. 1038, pp. 42–55. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  3. Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak using Jason. John Wiley & Sons Ltd., The Atrium

    Google Scholar 

  4. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifiable Multi-agent Programs. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol. 3067, pp. 72–89. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  5. Zhang, Z., Thangarajah, J., Padgham, L.: Automated Unit Testing For Agent Systems. In: 2nd International Working Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2007 (2007)

    Google Scholar 

  6. Bordini, R.H., Hübner, J.F.: BDI Agent Programming in AgentSpeak Using Jason. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 143–164. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  7. Tonella, P.: Evolutionary Testing of Classes. In: Proceedings of the 2004 ACM SIGSOFT international Symposium on Software Testing and Analysis, ISSTA 2004. ACM, New York (2004)

    Google Scholar 

  8. Zheng, M., Alagart, V.S.: Conformance Testing of BDI Properties in Agent-based Software System. In: Proceedings of the 12th Asia-Pacific Software Engineering Conference, APSEC 2005 (2005), doi:0-7695-2465-6/05

    Google Scholar 

  9. Miller, T., Padgham, L., Thangarajah, J.: Test Coverage Criteria for Agent Interaction Testing. In: Weyns, D., Gleizes, M.-P. (eds.) AOSE 2010. LNCS, vol. 6788, pp. 91–105. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  10. Weerasooriya, D., Rao, A., Ramamohanarao, K.: Design of a Concurrent Agent-Oriented Language. In: Wooldridge, M.J., Jennings, N.R. (eds.) ECAI 1994 and ATAL 1994. LNCS (LNAI), vol. 890, pp. 386–401. Springer, Heidelberg (1995)

    Chapter  Google Scholar 

  11. Low, C.K., Chen, T.Y., Ronnquist, R.: Automated test case generation for BDI agents. Autonomous Agents and Multi-Agent Systems 2(4), 311–332 (1999)

    Article  Google Scholar 

  12. Winikoff, M., Cranefield, S.: On the testability of BDI agents. In: European Workshop on Multi-Agent Systems (2010)

    Google Scholar 

  13. Burmeister, B., Arnold, M., Copaciu, F., Rimassa, G.: BDI-agents for agile goal-oriented business processes. In: Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 37–44. IFAAMAS (2008)

    Google Scholar 

  14. Shaw, P., Farwer, B., Bordini, R.: Theoretical and experimental results on the goal-plan tree problem. In: Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 1379–1382. IFAAMAS (2008)

    Google Scholar 

  15. Nguyen, C. D., Perinirini, A., Tonella, P.: Automated continuous testing of multi-agent systems. In: Proceedings of the Fifth European Workshop on Multi-Agent Systems (EUMAS) (2007)

    Google Scholar 

  16. Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking AgentSpeak. In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 409–416. ACM Press (2003)

    Google Scholar 

  17. Raimondi, F., Lomuscio, A.: Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. J. Applied Logic 5(2), 235–251 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  18. Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: Tropos: An Agent-Oriented Software Development Methodology, Technical Report # DIT-02-0015

    Google Scholar 

  19. Bordini, R.H., Hübner, J.F.: Jason: A Java-based interpreter for an extended version of AgentSpeak, http://jason.sourceforge.net

  20. Burmeister, B., Sundermeyer, K.: Cooperative problem-solving guided by intentions and perception. In: Werner, E., Demazeau, Y. (eds.) Decentralized A.I. 3. North Holland, Amsterdam (1992)

    Google Scholar 

  21. Georgeff, M.P., Lansky, A.L.: Procedural knowledge. In: Proceedings of the IEEE Special Issue on Knowledge Representation, vol. 74, pp. 1383–1398 (1986)

    Google Scholar 

  22. Müller, J.P., Pischel, M., Thiel, M.: Modelling Reactive Behaviour in Vertically Layered Agent Architectures. In: Wooldridge, M.J., Jennings, N.R. (eds.) ECAI 1994 and ATAL 1994. LNCS (LNAI), vol. 890, pp. 261–276. Springer, Heidelberg (1995)

    Chapter  Google Scholar 

  23. Michael, C.C., McGraw, G.E., Schatz, M.A., Walton, C.C.: Genetic Algorithms for Dynamic Test Data Generation. In: Proceedings of 12th IEEE International Conference on Automated Software Engineering, 1997, pp. 307–308 (1997), doi:10.1109/ASE.1997.632858

    Google Scholar 

  24. Pargas, R.P., Harrold, M.J., Peck, R.R.: Test-Data Generation Using Genetic Algorithms. Journal of Software Testing, Verification and Reliability (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Computing, Riphah International University, Islamabad, Pakistan

    Shafiq Ur Rehman

  2. Center for Software Dependability, Mohammad Ali Jinnah University, Islamabad, Pakistan

    Aamer Nadeem

Authors
  1. Shafiq Ur Rehman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Aamer Nadeem
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Multimedia Engineering Department, Hannam University, 133 Ojeong-dong, Daeduk-gu, Daejeon, Korea

    Tai-hoon Kim

  2. The Ohio State University, 470 Hitchcock Hall, 2070 Neil Avenue, 43210-1275, Columbus, OH, USA

    Hojjat Adeli

  3. Catholic University of Daegu, South Korea

    Haeng-kon Kim

  4. Dept. of Computer Engineering, Mokwon University, 800, Doan-dong, Seo-gu, 302-729, Daejeon, Korea

    Heau-jo Kang

  5. Woosuk University, 565-701, Jeollabuk-do, Korea

    Kyung Jung Kim

  6. University of Michigan-Dearborn, Dearborn, MI, USA

    Akingbehin Kiumi

  7. School of Computing and Information Systems, University of Tasmania, Hobart, TAS, Australia

    Byeong-Ho Kang

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rehman, S.U., Nadeem, A. (2011). AgentSpeak (L) Based Testing of Autonomous Agents. In: Kim, Th., et al. Software Engineering, Business Continuity, and Education. ASEA 2011. Communications in Computer and Information Science, vol 257. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27207-3_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-27207-3_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-27206-6

  • Online ISBN: 978-3-642-27207-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics