ABSTRACT
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera --- a novel, high-level language supporting the description and execution of models of concurrent, mobile, distributed, and timed computation. In our approach, a kiltera model of the system is constructed from a high-level model which describes system behavior using, e.g., a suitable UML profile. Check points are identified in the implementation under test (IUT) and the kiltera model and both are instrumented appropriately at these check points. During execution, relevant information flows from the IUT to the kiltera model which signals any non-conformance detected. Unique features of our approach include the support for mobility, distribution, time, dynamic creation and deletion of agents, and distributed monitoring. We describe the approach and a prototype implementation using a running example for illustration. Results of first, preliminary experiments are reported.
- Python website. http://www.python.org/.Google Scholar
- Aglets website, 2002. http://www.trl.ibm.com/aglets/.Google Scholar
- M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Compliance verification of agent interaction: a logic-based tool. Applied Artificial Intelligence, 20(4--5), April 2006.Google Scholar
- P. Bresciani, P. Giorgini, F. Giunchiglia, J. Mylopoulos, and A. Perini. An agent-oriented software development methodology. Journal of Autonomous Agents and Multi-Agent Systems, 8:203--236, May 2004. Google ScholarDigital Library
- A. Carzaniga, G. Picco, and G. Vigna. Designing distributed applications with mobile code paradigms. In 19th International Conference on Software Engineering (ICSE'97), Boston, MA 1997. Google ScholarDigital Library
- F. Chen, M. d'Amorim, and G. Roşu. Checking and correcting behaviors of Java programs at runtime with Java-MOP. Electronic Notes in Theoretical Computer Science, 144(4):3--20, 2006. Google ScholarDigital Library
- M. Delamaro and A. M. Rizzo Vincenzi. Structural testing of mobile agents. In 3rd International Workshop on Scientific engineering of distributed Java applications (FIDJI'03), LNCS 2952, November 2003.Google Scholar
- A. Figueiredo, A. Almeida, and P. Machado. Identifying and documenting test patterns from mobile agent design patterns. In First International Workshop on Mobility Aware Technologies and Applications (MATA'04), pages 359--368, 2004.Google ScholarCross Ref
- V. K. Garg. Concurrent and Distributed Computing in Java. John Wiley&Sons, 2004. Google ScholarDigital Library
- K. Havelund and G. Roşu. An overview of the runtime verification tool Java PathExplorer. Formal Methods in System Design, 24(2):189--215, March 2004. Google ScholarDigital Library
- D. R. Jefferson. Virtual Time. Transactions on Programming Languages and Systems (TOPLAS), 7(3):404--425, July 1985. Google ScholarDigital Library
- M. Kim, I. Lee, U. Sammapun, J. Shin, and O. Sokolsky. Monitoring, checking, and steering of real-time systems. In 2nd International Workshop on Run-time Verification (RV'02), volume 70 of Electronic Notes in Theoretical Computer Science, Copenhagen, Denmark, July 2002.Google ScholarCross Ref
- M. Kim, M. Viswanathan, S. Kannan, I. Lee, and O. Sokolsky. Java-MaC: A run-time assurance approach for Java programs. Formal Methods in System Design, 24(2):129--155, 2004. Google ScholarDigital Library
- M. Kusek and G. Jezic. Extending UML sequence diagrams to model agent mobility. In 7th International Workshop on Agent Oriented Software Engineering (AOSE'06), pages 51--63, 2006. Google ScholarDigital Library
- D. B. Lange and M. Oshima. Programming and Deploying Java Mobile Agents with Aglets. Addison-Wesley, Reading, MA, 1998. Google ScholarDigital Library
- Y-H. Li, C-R. Dow, K-H. Chang, and K-H. Chen. Design and implementation of an open sourced location service system for the aglets mobile agent system. International Conference on Integration of Knowledge Intensive Multi-Agent Systems (KIMAS'07), pages 85--90, 2007.Google ScholarCross Ref
- M. Marche and Y.-M. Quemener. A model for conformance testing of mobile agents in a MASIF framework. In 2nd International Workshop on Formal Approaches to Agent-Based Systems (FAABS'02), LNAI 2699, October 2002.Google Scholar
- R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Reports ECS-LFCS-89-85 and 86, Computer Science Dept., University of Edinburgh, March 1989.Google Scholar
- A. K. Mok and L. Guangtian. Efficient run-time monitoring of timing constraints. Third IEEE Real-Time Technology and Applications Symposium, pages 252--262, June 1997. Google ScholarDigital Library
- F. Mokhati, M. Badri, L. Badri, F. Hamidane, and S. Bouazdia. Automated testing sequences generation from auml diagrams: a formal verification of agents' interaction protocols. International Journal of Agent-Oriented Software Engineering, 2(4):422--448, 2008. Google ScholarDigital Library
- S. Munroe, T. Miller, R. A. Belecheanu, M. Pechoucek, P. McBurney, and M. Luck. Crossing the agent technology chasm: Experiences and challenges in commercial applications of agents. Knowledge Engineering Review, 21(4):345--392, 2006. Google ScholarDigital Library
- L. Padgham and M. Winikoff. Developing Intelligent Agent Systems: A Practical Guide. John Wiley and Sons, 2004. Google ScholarDigital Library
- L. Padgham, M. Winikoff, S. DeLoach, and M. Cossentino. A unified graphical notation of AOSE. In 9th International Workshop on Agent Oriented Software Engineering (AOSE'08), 2008.Google Scholar
- G. Picco. Mobile agents: An introduction. Journal of Microprocessors and Microsystems, 25:65--74, 2001.Google ScholarCross Ref
- E. Posse. Modelling and simulation of dynamic structure discrete-event systems. Ph.D. thesis, School of Computer Science -- McGill University, October 2008. Google ScholarDigital Library
- K. Sen, A. Vardhan, G. Agha, and G. Rosu. Efficient decentralized monitoring of safety in distributed systems. In 26th International Conference on Software Engineering (ICSE'04), pages 418--427, 2004. Google ScholarDigital Library
- H.-S. Seo, T. Araragi, and Y. R. Kwon. Modeling and testing agent systems based on statecharts. In FORTE'04 Workshops, LNCS 3236, 2004.Google ScholarCross Ref
- J. Tretmans. Conformance testing with labelled transition systems: Implementation relations and test generation. Computer Networks and ISDN Systems, 29(1):49--79, 1996. Google ScholarDigital Library
- R. Trillo, S. Ilarri, and E. Mena. Comparison and performance evaluation of mobile agent platforms. In 3rd IEEE International Conference on Autonomic and Autonomous Systems (ICAS'07), Athens, Greece, 2007. Google ScholarDigital Library
- M. Winikoff. Future directions for agent-based software engineering. International Journal Agent-Oriented Software Engineering, 2008. Accepted for publication. Google ScholarDigital Library
- Z. Zhang, J. Thangarajah, and L. Padgham. Automated unit testing intelligent agents in PDT. In Demonstration at the 7th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-08), Estoril, Portugal, 2008. Google ScholarDigital Library
- M. Zheng and V. S. Alagar. Conformance testing of BDI properties in agent-based software. In 12th Asia-Pacific Software Engineering Conference (APSEC'05), December 2005. Google ScholarDigital Library
Index Terms
- Run-time conformance checking of mobile and distributed systems using executable models
Recommendations
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Formal Methods for Components and ObjectsThis paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modeling language Creol is used both for generating test inputs and as a test oracle. For ...
Conformance testing of real-time component based systems
ISSADS'05: Proceedings of the 5th international conference on Advanced Distributed SystemsIn this paper, we suggest a methodology for testing Real Time Component Based Systems (RTCBS). A RTCBS is described as a collection of components where each component is modeled as a Timed Input-Output Automaton (TIOA). The first part of this study is ...
Comments