Skip to main content
SpringerLink
Log in

Testing Multiagent Systems Under Organizational Model \(\mathcal {M}\)oise Using a Test Adequacy Criterion Based on State Transition Path

  • Conference paper
  • First Online:
Intelligent Systems (BRACIS 2020)

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

Included in the following conference series:

Abstract

The test phase is a crucial step to seek the correction of the entire software system to provide guarantees of operation and safety for users. However, applications based on multiagent systems have greater difficulty of being tested due to their properties such as autonomy, reactivity, pro-activity, and social skills. An organizational model imposes some restrictions on the behavior of agents since they are a set of behavioral constraints. This paper presents a method for systematic testing of multiagent systems specified under the \(\mathcal {M}\)oise\(^+\) organizational model. First, a mapping is performed on a colored Petri net to measure the number of test cases needed to verify the system using adequacy criteria called the state transition path. Then each test case is specified from the Petri Net model in detail to be used as a guide in a test environment. The results indicate that the methodology can measure the testability and generate use cases for a \(\mathcal {M}\)oise\(^+\) specification, guaranteeing a correction degree for a social level of a multiagent system.

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 99.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 129.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.

    https://www.geeksforgeeks.org/count-possible-paths-two-vertices/.

References

  1. Abran, A., Moore, J.W., Bourque, P., Dupuis, R., Tripp, L.: Software Engineering Body of Knowledge. IEEE Computer Society, Angela Burgess (2004)

    Google Scholar 

  2. Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, Cambridge (2016)

    Book  Google Scholar 

  3. Barnier, C., Mercier, A., Jamont, J.P., et al.: Toward an embedded multi-agent system methodology and positioning on testing. In: 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 239–244. IEEE (2017)

    Google Scholar 

  4. Dignum, V., Dignum, F.: Modelling agent societies: co-ordination frameworks and institutions. In: Brazdil, P., Jorge, A. (eds.) EPIA 2001. LNCS (LNAI), vol. 2258, pp. 191–204. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45329-6_21

    Chapter  Google Scholar 

  5. Girault, C., Valk, R.: Petri Nets for Systems Engineering: A Guide to Modelling, Verification, and Applications. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-662-05324-9

    Book  MATH  Google Scholar 

  6. Gonçalves, E.M., Rodrigues, B.C., Machado, R.A.: Assessment of testability on multiagent systems developed with organizational model \(\cal{M}\)oise. In: Moura Oliveira, P., Novais, P., Reis, L.P. (eds.) EPIA 2019. LNCS (LNAI), vol. 11805, pp. 581–592. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-30244-3_48

    Chapter  Google Scholar 

  7. Gonçalves, E.M., Quadros, C., Saldanha, J.: Uma análise comparativa da especificaçao formal em sistemas multi-agente: os desafios e as exigências uma década depois. In: Anais do X Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCaçoes, Maceio, Brazil, vol. 1 (2016)

    Google Scholar 

  8. Hannoun, M., Boissier, O., Sichman, J.S., Sayettat, C.: MOISE: an organizational model for multi-agent systems. In: Monard, M.C., Sichman, J.S. (eds.) IBERAMIA/SBIA -2000. LNCS (LNAI), vol. 1952, pp. 156–165. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-44399-1_17

    Chapter  Google Scholar 

  9. Horling, B., Lesser, V.: A survey of multi-agent organizational paradigms. Knowl. Eng. Rev. 19(4), 281–316 (2004)

    Article  Google Scholar 

  10. Houhamdi, Z.: Multi-agent system testing: a survey. Int. J. Adv. Comput. (2011)

    Google Scholar 

  11. Hübner, J.F., Boissier, O., Kitio, R., Ricci, A.: Instrumenting multi-agent organisations with organisational artifacts and agents. Auton. Agent. Multi-Agent Syst. 20(3), 369–400 (2010). https://doi.org/10.1007/s10458-009-9084-y

    Article  Google Scholar 

  12. Hübner, J.F., Sichman, J.S., Boissier, O.: A model for the structural, functional, and deontic specification of organizations in multiagent systems. In: Bittencourt, G., Ramalho, G.L. (eds.) SBIA 2002. LNCS (LNAI), vol. 2507, pp. 118–128. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-36127-8_12

    Chapter  MATH  Google Scholar 

  13. Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. 1. Springer, Heidelberg (2013)

    Google Scholar 

  14. Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transfer 9(3–4), 213–254 (2007). https://doi.org/10.1007/s10009-007-0038-x

    Article  Google Scholar 

  15. Kerraoui, S., Kissoum, Y., Redjimi, M., Saker, M.: MATT: multi agents testing tool based nets within nets. J. Inf. Organ. Sci. 40(2), 165–184 (2016)

    Google Scholar 

  16. do Nascimento, N.M., Viana, C.J.M., von Staa, A., Lucena, C.: A publish-subscribe based architecture for testing multiagent systems. In: SEKE, pp. 521–526 (2017)

    Google Scholar 

  17. Nguyen, C.D., Perini, A., Bernon, C., Pavón, J., Thangarajah, J.: Testing in multi-agent systems. In: Gleizes, M.-P., Gomez-Sanz, J.J. (eds.) AOSE 2009. LNCS, vol. 6038, pp. 180–190. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-19208-1_13

    Chapter  Google Scholar 

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

    MATH  Google Scholar 

  19. van den Broek, E.L., Jonker, C.M., Sharpanskykh, A., Treur, J., Yolum, I.: Formal modeling and analysis of organizations. In: Boissier, O., et al. (eds.) AAMAS 2005. LNCS (LNAI), vol. 3913, pp. 18–34. Springer, Heidelberg (2006). https://doi.org/10.1007/11775331_2

    Chapter  Google Scholar 

  20. Winikoff, M.: BDI agent testability revisited. Auton. Agent. Multi-Agent Syst. 31(5), 1094–1132 (2017). https://doi.org/10.1007/s10458-016-9356-2

    Article  Google Scholar 

  21. Zhu, H.: A formal analysis of the subsume relation between software test adequacy criteria. IEEE Trans. Softw. Eng. 22(4), 248–255 (1996)

    Article  MathSciNet  Google Scholar 

  22. Zhu, H., He, X.: A methodology of testing high-level Petri nets. Inf. Softw. Technol. 44(8), 473–489 (2002)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Center for Computational Sciences, Universidade Federal do Rio Grande - FURG, Rio Grande, RS, Brazil

    Ricardo Arend Machado & Eder Mateus Gonçalves

Authors
  1. Ricardo Arend Machado
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Eder Mateus Gonçalves
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ricardo Arend Machado .

Editor information

Editors and Affiliations

  1. Federal University of São Carlos, São Carlos, Brazil

    Ricardo Cerri

  2. Federal University of ABC, Santo Andre, Brazil

    Ronaldo C. Prati

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Machado, R.A., Gonçalves, E.M. (2020). Testing Multiagent Systems Under Organizational Model \(\mathcal {M}\)oise Using a Test Adequacy Criterion Based on State Transition Path. In: Cerri, R., Prati, R.C. (eds) Intelligent Systems. BRACIS 2020. Lecture Notes in Computer Science(), vol 12320. Springer, Cham. https://doi.org/10.1007/978-3-030-61380-8_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-61380-8_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-61379-2

  • Online ISBN: 978-3-030-61380-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation