Test- und Verifikationsverfahren für Agentensysteme – Status Quo und weitere Herausforderungen

Zusammenfassung Agentensysteme gelten als aussichtsreiche Technologie, um den Herausforderungen der zunehmenden Digitalisierung – Industrie 4.0, IoT, CPS – zu begegnen. Allerdings konnten sich Softwareagenten trotz intensiver Erforschung in den letzten 20 Jahren im industriellen Einsatz noch nicht durchsetzen. Ein Grund hierfür sind die besonderen Anforderungen bezüglich Sicherheit, Echtzeitfähigkeit und Zuverlässigkeit beim Einsatz in industriellen technischen Systemen. Dieser Artikel gibt einen Überblick über Test- und Verifikationsverfahren, die speziell für Agentensysteme konzipiert oder adaptiert wurden, und beleuchtet ihre Vorteile und Beschränkungen. Er will somit Entwicklern und Testern Hilfestellung zur Auswahl geeigneter Verfahren geben. Damit sollen die weitere Etablierung von Agentensystemen in der industriellen Praxis gefördert sowie weitere Forschungen angestoßen werden.

[1]  A. Fay,et al.  Verteilte Automatisierung hybrider Energiesysteme , 2016, atp magazin.

[2]  Matthias Foehr,et al.  Towards industrial exploitation of innovative and harmonized production systems , 2016, IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society.

[3]  Jay Lee,et al.  Smart Agents in Industrial Cyber–Physical Systems , 2016, Proceedings of the IEEE.

[4]  Doo-Hwan Bae,et al.  A runtime verification framework for dynamically adaptive multi-agent systems , 2016, 2016 International Conference on Big Data and Smart Computing (BigComp).

[5]  F. Witte.  Testmanagement und Softwaretest , 2016 .

[6]  Zaïdi Sahnoun,et al.  Model checking of Multi Agent System architectures using BigMC , 2015, 2015 Federated Conference on Computer Science and Information Systems (FedCSIS).

[7]  Christian Rehtanz,et al.  Agent-based redispatch for real-time overload relief in electrical transmission systems , 2015, 2015 IEEE Power & Energy Society General Meeting.

[8]  Chittra Roungroongsom,et al.  Formal Verification of Multi-agent System Based on JADE: A Semi-runtime Approach , 2015 .

[9]  Davide Ancona,et al.  Efficient Verification of MASs with Projections , 2014, EMAS@AAMAS.

[10]  Davide Ancona,et al.  Distributed Runtime Verification of JADE Multiagent Systems , 2014, IDC.

[11]  Paulo Leitão,et al.  Past, Present, and Future of Industrial Agent Applications , 2013, IEEE Transactions on Industrial Informatics.

[12]  Thomas I. Strasser,et al.  Review of Trends and Challenges in Smart Grids: An Automation Point of View , 2013, HoloMAS.

[13]  Franco Raimondi,et al.  A synergistic and extensible framework for multi-agent system verification , 2013, AAMAS.

[14]  Ali Selamat,et al.  Runtime Verification of Multi-agent Systems Interaction Quality , 2013, ACIIDS.

[15]  Davide Ancona,et al.  Constrained global types for dynamic checking of protocol conformance in multi-agent systems , 2013, SAC '13.

[16]  Davide Ancona,et al.  Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason , 2012, DALT.

[17]  Søren Debois,et al.  A model checker for Bigraphs , 2012, SAC '12.

[18]  Nobuko Yoshida,et al.  Multiparty Session Types Meet Communicating Automata , 2012, ESOP.

[19]  Z. Abderrahim,et al.  Looking for verification and validation of a Multi agent System using new formalism: APN , 2012, 2012 6th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT).

[20]  Fredrik Wernstedt,et al.  Smart Heat Grid on an Intraday Power Market , 2012 .

[21]  Luca Padovani,et al.  On Global Types and Multi-party Sessions , 2011, FMOODS/FORTE.

[22]  Hussein Zedan,et al.  Runtime verification of safety properties in multi-agents systems , 2010, 2010 10th International Conference on Intelligent Systems Design and Applications.

[23]  O. Kazík.  Role-based Approaches to Development of Multi-Agent Systems: A Survey , 2010 .

[24]  Sebastian Lehnhoff.  Dezentrales vernetztes Energiemanagement - ein Ansatz auf Basis eines verteilten adaptiven Realzeit-Multiagentensystems , 2010, Vieweg + Teubner Research.

[25]  Mary Shaw,et al.  Engineering Self-Adaptive Systems through Feedback Loops , 2009, Software Engineering for Self-Adaptive Systems.

[26]  Lin Padgham,et al.  Automated Testing for Intelligent Agent Systems , 2009, AOSE.

[27]  Gaële Simon,et al.  GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems , 2009, AAMAS.

[28]  Martin Leucker,et al.  A brief account of runtime verification , 2009, J. Log. Algebraic Methods Program..

[29]  Rafael H. Bordini,et al.  Automated Verification of Multi-Agent Programs , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

[30]  Oguz Dikenelli,et al.  SEAGENT MAS platform development environment , 2008, AAMAS.

[31]  Christel Baier,et al.  Principles of model checking , 2008 .

[32]  Robin Milner,et al.  Bigraphs and Their Algebra , 2008, LIX.

[33]  Carlos José Pereira de Lucena,et al.  JAT: A Test Automation Framework for Multi-Agent Systems , 2007, 2007 IEEE International Conference on Software Maintenance.

[34]  Maarten Sierhuis,et al.  Brahms: a multi-agent modelling environment for simulating work processes and practices , 2007, Int. J. Simul. Process. Model..

[35]  Wolfgang Bibel,et al.  Early History and Perspectives of Automated Deduction , 2007, KI.

[36]  C. Dimou,et al.  Towards a Generic Methodology for Evaluating MAS Performance , 2007, 2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems.

[37]  Lin Padgham,et al.  Automated Unit Testing for Agent Systems , 2007, ENASE.

[38]  Uirá Kulesza,et al.  Unit testing in multi-agent systems using mock agents and aspects , 2006, SELMAS '06.

[39]  Riza Cenk Erdur,et al.  SUNIT: A Unit Testing Framework for Test Driven Development of Multi-Agent Systems , 2006, AOSE.

[40]  M. Leucker,et al.  Model-based runtime analysis of distributed reactive systems , 2006, Australian Software Engineering Conference (ASWEC'06).

[41]  Michael Wooldridge,et al.  Model Checking for Multiagent Systems: the Mable Language and its Applications , 2006, Int. J. Artif. Intell. Tools.

[42]  Vangalur S. Alagar,et al.  Conformance testing of BDI properties in agent-based software , 2005, 12th Asia-Pacific Software Engineering Conference (APSEC'05).

[43]  Michal Pechoucek,et al.  Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems , 2005, AAMAS 2005.

[44]  Dominique Fournier,et al.  Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour , 2005, DALT.

[45]  Minjie Zhang,et al.  A colored Petri net based strategy for multi-agent scheduling , 2005, Rational, Robust, and Secure Negotiation Mechanisms in Multi-Agent Systems (RRS'05).

[46]  Andreas Spillner,et al.  Basiswissen Softwaretest - Aus- und Weiterbildung zum Certified Tester, Foundation Level nach ISTQB-Standard (3. Aufl.) , 2005 .

[47]  Mohamed Benmohamed,et al.  Formal Specification and Verification of Multi-Agent Systems , 2005, WoLLIC.

[48]  Yong Rae Kwon,et al.  Modeling and Testing Agent Systems Based on Statecharts , 2004, FORTE Workshops.

[49]  Andrew Piziali,et al.  Functional verification coverage measurement and analysis , 2004 .

[50]  M. Bagic,et al.  Verification and validation of multiagent system specified by agent UML , 2004, Proceedings. 2004 International Conference on Information and Communication Technologies: From Theory to Applications, 2004..

[51]  Walter Truszkowski,et al.  Verification of NASA emergent systems , 2004, Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems.

[52]  Vijay K. Garg,et al.  Concurrent and distributed computing in Java , 2004 .

[53]  Michael Winikoff,et al.  Developing intelligent agent systems - a practical guide , 2004, Wiley series in agent technology.

[54]  Michael Wooldridge,et al.  Model checking multi-agent systems with MABLE , 2002, AAMAS '02.

[55]  Mike Hinchey,et al.  Verification and validation of autonomous systems , 2001, Proceedings 26th Annual NASA Goddard Software Engineering Workshop.

[56]  Steve Freeman,et al.  Endo-testing: unit testing with mock objects , 2001 .

[57]  Jörg P. Müller,et al.  Agent UML: A Formalism for Specifying Multiagent Software Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[58]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[59]  Michael Wooldridge,et al.  Computationally grounded theories of agency , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[60]  H. Van Dyke Parunak,et al.  Representing Agent Interaction Protocols in UML , 2000, AOSE.

[61]  Hanêne Ben-Abdallah,et al.  Formally specified monitoring of temporal properties , 1999, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

[62]  Lars Michael Kristensen,et al.  The practitioner’s guide to coloured Petri nets , 1998, International Journal on Software Tools for Technology Transfer.

[63]  Maarten Sierhuis,et al.  Brahms: simulating practice for work systems design , 1998, Int. J. Hum. Comput. Stud..

[64]  Ian Sommerville,et al.  Requirements Engineering: Processes and Techniques , 1998 .

[65]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

[66]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[67]  Anand S. Rao,et al.  An Abstract Architecture for Rational Agents , 1992, KR.

[68]  Sarit Kraus,et al.  Preliminary thoughts on an agent description language , 1991, Int. J. Intell. Syst..

[69]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[70]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[71]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[72]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.