Skip to main content
SpringerLink
Log in

Stream X-Machines for Agent Simulation Test Case Generation

  • Conference paper
  • First Online:
Agents and Artificial Intelligence (ICAART 2015)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9494))

Included in the following conference series:

  • 574 Accesses

Abstract

Applying the Stream X-Machine formal method in the development of multi-agent simulations has a number of significant advantages, since it combines the power of executable specifications and test case generation. The present work supports this argument by reporting on the combined use of two tools that involve Stream X-Machines (SXM): the first is a domain specific language for effortlessly encoding agent behaviour using SXMs in a well known agent simulation platform. The second tool, supports among other things, automated test case generation using SXMs. The main benefits of using the specific formal approach in such a practical setting is that it offers a clear intuitive way of specifying agent behaviour and the automated generation of “agent simulation test scenarios” that can be used for validation.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    http://users.uom.gr/~iliass/projects/TXStates/.

  2. 2.

    The tool can be downloaded from http://www.jsxm.org.

  3. 3.

    http://junit.org/.

  4. 4.

    http://jade.tilab.com/.

  5. 5.

    http://www.cs.rmit.edu.au/agents/pdt/.

References

  1. Allan, R.J.: Survey of agent based modelling and simulation tools. Technical report DL-TR-2010-007, DL Technical reports (2010)

    Google Scholar 

  2. Bryson, J.J.: The behavior-oriented design of modular agent intelligence. In: Kowalczyk, R., Müller, J.P., Tianfield, H., Unland, R. (eds.) NODe-WS 2002. LNCS (LNAI), vol. 2592, pp. 61–76. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  3. Caire, G., Cossentino, M., Negri, A., Poggi, A., Turci, P.: Multi-agent systems implementation and testing. In: Fourth International Symposium: From Agent Theory to Agent Implementation. Citeseer (2004)

    Google Scholar 

  4. Challenger, M., Demirkol, S., Getir, S., Mernik, M., Kardas, G., Kosar, T.: On the use of a domain-specific modeling language in the development of multiagent systems. Eng. Appl. Artif. Intel. 28, 111–141 (2014). http://linkinghub.elsevier.com/retrieve/pii/S0952197613002297

    Article  Google Scholar 

  5. Chow, T.S.: Testing software design modelled by finite state machines. IEEE Trans. Softw. Eng. 4, 178–187 (1978)

    Article  MATH  Google Scholar 

  6. Coelho, R., Cirilo, E., Kulesza, U., von Staa, A., Rashid, A., Lucena, C.: Jat: a test automation framework for multi-agent systems. In: ICSM 2007, IEEE International Conference on Software Maintenance, pp. 425–434. IEEE (2007)

    Google Scholar 

  7. Coelho, R., Kulesza, U., von Staa, A., Lucena, C.: Unit testing in multi-agent systems using mock agents and aspects. In: Proceedings of the 2006 International Workshop on Software Engineering for Large-scale Multi-agent Systems, pp. 83–90. ACM (2006)

    Google Scholar 

  8. Cossentino, M., Potts, C.: A case tool supported methodology for the design of multi-agent systems. In: International Conference on Software Engineering Research and Practice (SERP 2002) (2002)

    Google Scholar 

  9. Davidsson, P., Holmgren, J., Kyhlbäck, H., Mengistu, D., Persson, M.: Applications of agent based simulation. In: Antunes, L., Takadama, K. (eds.) MABS 2006. LNCS (LNAI), vol. 4442, pp. 15–27. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  10. Dikenelli, O., Erdur, R.C., Gumus, O.: Seagent: a platform for developing semantic web based multi agent systems. In: Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 1271–1272. ACM (2005)

    Google Scholar 

  11. Dranidis, D., Bratanis, K., Ipate, F.: JSXM: a tool for automated test generation. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) SEFM 2012. LNCS, vol. 7504, pp. 352–366. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  12. Hahn, C.: A domain specific modeling language for multiagent systems. In: Proceedings of the 7th International Joint Conference on Autonomous Agents And Multiagent Systems, vol. 1, pp. 233–240. International Foundation for Autonomous Agents and Multiagent Systems (2008). http://dl.acm.org/citation.cfm?id=1402420

  13. Holcombe, M., Ipate, F.: Correct Systems: Building a Business Process Solution. Springer, London (1998)

    Book  MATH  Google Scholar 

  14. Ipate, F., Holcombe, M.: An integration testing method that is proven to find all faults. Int. J. Comput. Math. 63, 159–178 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  15. Kefalas, P., Stamatopoulou, I., Sakellariou, I., Eleftherakis, G.: Transforming communicating X-machines into P systems. Natural Comput. 8(4), 817–832 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  16. Klügl, F.: A validation methodology for agent-based simulations. In: Proceedings of the 2008 ACM Symposium on Applied Computing, pp. 39–43. ACM (2008)

    Google Scholar 

  17. Kubera, Y., Mathieu, P., Picault, S.: IODA: an interaction-oriented approach for multi-agent based simulations. Auton. Agents Multi-agent Syst. 23(3), 303–343 (2011)

    Article  Google Scholar 

  18. Nikolai, C., Madey, G.: Tools of the trade: a survey of various agent based modeling platforms. J. Artif. Soc. Soc. Simul. 12(2), 2 (2009). http://jasss.soc.surrey.ac.uk/12/2/2.html

    Google Scholar 

  19. Ono, M., Igarashi, T., Ohno, E., Sasaki, M.: Unusual thermal defence by a honeybee against mass attack by hornets. Nature 377(6547), 334–336 (1995)

    Article  Google Scholar 

  20. Padgham, L., Winikoff, M.: Developing Intelligent Agent Systems: A Practical Guide, vol. 13. Wiley, New York (2005)

    MATH  Google Scholar 

  21. Sakellariou, I., Dranidis, D., Ntika, M., Kefalas, P.: From formal modelling to agent simulation execution and testing. In: ICAART 2015 - Proceedings of the 7th International Conference on Agents and Artificial Intelligence, Lisbon, Portugal, pp. 87–98, SciTePress, January 2015

    Google Scholar 

  22. Sakellariou, I., Kefalas, P., Stamatopoulou, I.: Evacuation simulation through formal emotional agent based modelling. In: ICAART 2014 - Proceedings of the 6th International Conference on Agents and Artificial Intelligence, vol. 2, pp. 193–200, SciTePress, March 2014. http://dx.doi.org/10.5220/0004824601930200

  23. Seo, H.-S., Araragi, T., Kwon, Y.-R.: Modeling and testing agent systems based on statecharts. In: Núñez, M., Maamar, Z., Pelayo, F.L., Pousttchi, K., Rubio, F. (eds.) FORTE 2004. LNCS, vol. 3236, pp. 308–321. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  24. Tiryaki, A.M., Öztuna, S., Dikenelli, O., Erdur, R.C.: SUNIT: a unit testing framework for test driven development of multi-agent systems. In: Padgham, L., Zambonelli, F. (eds.) AOSE VII/AOSE 2006. LNCS, vol. 4405, pp. 156–173. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  25. Wilensky, U.: NetLogo. In: Center for Connected Learning and Computer-Based Modeling, Northwestern University, Evanston, IL (1999). http://ccl.northwestern.edu/netlogo/

  26. Xiang, X., Kennedy, R., Madey, G., Cabaniss, S.: Verification and validation of agent-based scientific simulation models. In: Agent-Directed Simulation Conference, pp. 47–55 (2005)

    Google Scholar 

  27. Zhang, Z., Thangarajah, J., Padgham, L.: Automated unit testing for agent systems. ENASE 7, 10–18 (2007)

    Google Scholar 

  28. Zhang, Z., Thangarajah, J., Padgham, L.: Automated unit testing intelligent agents in PDT. In: Proceedings of the 7th International Joint Conference on Autonomous Agents And Multiagent Systems: Demo Papers, pp. 1673–1674. International Foundation for Autonomous Agents and Multiagent Systems (2008)

    Google Scholar 

  29. Zheng, M., Alagar, V.: Conformance testing of BDI properties in agent-based software. In: APSEC 2005: 12th Asia-Pacific Software Engineering Conference, pp. 457–464, December 2005

    Google Scholar 

Download references

Acknowledgements

This research has been co-financed by the European Union (European Social Fund-ESF) and Greek national funds through the Operational Program Education and Lifelong Learning of the National Strategic Reference Framework (NSRF)-Research Funding Program: Thalis-Athens University of Economics and Business-SOFTWARE ENGINEERING RESEARCH PLATFORM.

Author information

Authors and Affiliations

  1. Department of Applied Informatics, University of Macedonia, 156 Egnatia Street, 54636, Thessaloniki, Greece

    Ilias Sakellariou

  2. Department of Computer Science, The University of Sheffield International Faculty, City College, L. Sofou 3, 54624, Thessaloniki, Greece

    Dimitris Dranidis & Petros Kefalas

  3. South East European Research Centre, Research Centre of the University of Sheffield International Faculty, City College, 24 Proxenou Koromila Street, 54622, Thessaloniki, Greece

    Marina Ntika

Authors
  1. Ilias Sakellariou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dimitris Dranidis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marina Ntika
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Petros Kefalas
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ilias Sakellariou .

Editor information

Editors and Affiliations

  1. LERIA - UFR Sciences , Angers, France

    Béatrice Duval

  2. Leiden University , Leiden, Zuid-Holland, The Netherlands

    Jaap van den Herik

  3. LERIA - UFR Sciences , Angers, France

    Stephane Loiseau

  4. Polytechnic Institute of Setúbal , Setúbal, Portugal

    Joaquim Filipe

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Sakellariou, I., Dranidis, D., Ntika, M., Kefalas, P. (2015). Stream X-Machines for Agent Simulation Test Case Generation. In: Duval, B., van den Herik, J., Loiseau, S., Filipe, J. (eds) Agents and Artificial Intelligence. ICAART 2015. Lecture Notes in Computer Science(), vol 9494. Springer, Cham. https://doi.org/10.1007/978-3-319-27947-3_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-27947-3_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-27946-6

  • Online ISBN: 978-3-319-27947-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation