Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems

A Mobile Agent System (MAS) is a special kind of distributed system in which the agent software can move from one physical host to another. This paper describes a new approach, together with its implementation and evaluation, for checking the conformance of a MAS with respect to an executable model. In order to check the effectiveness of our conformance check, we have built a mutation-based evaluation framework. Part of the framework is a set of 29 new mutation operators for mobile agent systems. Our conformance checking approach is used to compare the mutated agents with the executable model and determine nonconformance. Our experimental results suggest that our approach holds promise for the generation and detection of non-equivalent mutants.

[1]  Grigore Rosu,et al.  An Overview of the Runtime Verification Tool Java PathExplorer , 2004, Formal Methods Syst. Des..

[2]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[3]  J.H. Andrews,et al.  Is mutation an appropriate tool for testing experiments? [software testing] , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[4]  Mikael Marche,et al.  A Model for Conformance Testing of Mobile Agents in a MASIF Framework , 2002, FAABS.

[5]  HavelundKlaus,et al.  An Overview of the Runtime Verification Tool Java PathExplorer , 2004 .

[6]  Auri Marcelo Rizzo Vincenzi,et al.  Structural Testing of Mobile Agents , 2003, FIDJI.

[7]  Giovanni Vigna,et al.  Designing Distributed Applications with Mobile Code Paradigms , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[8]  Michael Luck,et al.  Crossing the agent technology chasm: Lessons, experiences and challenges in commercial applications of agents , 2006, The Knowledge Engineering Review.

[9]  Lionel C. Briand,et al.  Is mutation an appropriate tool for testing experiments? , 2005, ICSE.

[10]  Ahmad A. Saifan.  Runtime Conformance Checking of Mobile Agent Systems Using Executable Models , 2010 .

[11]  Linda Badri,et al.  Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols , 2008, Int. J. Agent Oriented Softw. Eng..

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

[13]  Mario Kusek,et al.  Extending UML Sequence Diagrams to Model Agent Mobility , 2006, AOSE.

[14]  Koushik Sen,et al.  Efficient decentralized monitoring of safety in distributed systems , 2004, Proceedings. 26th International Conference on Software Engineering.

[15]  Michael Winikoff.  Future directions for agent-based software engineering , 2009, Int. J. Agent Oriented Softw. Eng..

[16]  Jürgen Dingel,et al.  Run-time conformance checking of mobile and distributed systems using executable models , 2009, PADTAD '09.

[17]  A. Jefferson Offutt,et al.  Investigations of the software testing coupling effect , 1992, TSEM.

[18]  Marcelo d'Amorim,et al.  Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP , 2006, RV@CAV.

[19]  James R. Cordy,et al.  The TXL source transformation language , 2006, Sci. Comput. Program..

[20]  Danny B. Lange,et al.  Programming and Deploying Java¿ Mobile Agents with Aglets¿ , 1998 .

[21]  Insup Lee,et al.  Monitoring, Checking, and Steering of Real-Time Systems , 2002, Electron. Notes Theor. Comput. Sci..

[22]  Thomas Magedanz,et al.  Grasshopper - A Mobile Agent Platform for Active Telecommunication , 1999, IATA.

[23]  Evelina Lamma,et al.  COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL , 2006, Appl. Artif. Intell..

[24]  Michael Winikoff,et al.  A Unified Graphical Notation for AOSE , 2009, AOSE.

[25]  Lin Padgham,et al.  Automated unit testing intelligent agents in PDT , 2008, AAMAS.

[26]  Ernesto Posse,et al.  Modelling and simulation of dynamic structure discrete-event systems , 2008 .

[27]  Mahesh Viswanathan,et al.  Java-MaC: A Run-Time Assurance Approach for Java Programs , 2004, Formal Methods Syst. Des..

[28]  Gian Pietro Picco,et al.  Mobile agents: an introduction , 2001, Microprocess. Microsystems.

[29]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[30]  Guangtian Liu,et al.  Efficient Run-time Monitoring Of Timing Constraints , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.