research-article

Run-time conformance checking of mobile and distributed systems using executable models

Authors:

Ahmad A. Saifan,

Ernesto Posse, and

Juergen DingelAuthors Info & Claims

PADTAD '09: Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging

July 2009

Article No.: 1, Pages 1 - 11

https://doi.org/10.1145/1639622.1639623

Published: 19 July 2009 Publication History

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.

References

[1]

Python website. http://www.python.org/.

[2]

Aglets website, 2002. http://www.trl.ibm.com/aglets/.

[3]

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.

[4]

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.

Digital Library

[5]

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.

Digital Library

[6]

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.

Digital Library

[7]

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.

[8]

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.

[9]

V. K. Garg. Concurrent and Distributed Computing in Java. John Wiley&Sons, 2004.

Digital Library

[10]

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.

Digital Library

[11]

D. R. Jefferson. Virtual Time. Transactions on Programming Languages and Systems (TOPLAS), 7(3):404--425, July 1985.

Digital Library

[12]

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.

[13]

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.

Digital Library

[14]

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.

Digital Library

[15]

D. B. Lange and M. Oshima. Programming and Deploying Java Mobile Agents with Aglets. Addison-Wesley, Reading, MA, 1998.

Digital Library

[16]

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.

[17]

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.

[18]

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.

[19]

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.

Digital Library

[20]

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.

Digital Library

[21]

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.

Digital Library

[22]

L. Padgham and M. Winikoff. Developing Intelligent Agent Systems: A Practical Guide. John Wiley and Sons, 2004.

Digital Library

[23]

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.

[24]

G. Picco. Mobile agents: An introduction. Journal of Microprocessors and Microsystems, 25:65--74, 2001.

[25]

E. Posse. Modelling and simulation of dynamic structure discrete-event systems. Ph.D. thesis, School of Computer Science -- McGill University, October 2008.

Digital Library

[26]

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.

Digital Library

[27]

H.-S. Seo, T. Araragi, and Y. R. Kwon. Modeling and testing agent systems based on statecharts. In FORTE'04 Workshops, LNCS 3236, 2004.

[28]

J. Tretmans. Conformance testing with labelled transition systems: Implementation relations and test generation. Computer Networks and ISDN Systems, 29(1):49--79, 1996.

Digital Library

[29]

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.

Digital Library

[30]

M. Winikoff. Future directions for agent-based software engineering. International Journal Agent-Oriented Software Engineering, 2008. Accepted for publication.

Digital Library

[31]

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.

Digital Library

[32]

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.

Digital Library

Cited By

Saifan AAta M(2019)Mutation Testing for Evaluating PHP Web ApplicationsInternational Journal of Software Innovation10.4018/IJSI.20191001027:4(25-50)Online publication date: Oct-2019
https://doi.org/10.4018/IJSI.2019100102
Saifan ADingel JBradbury JPosse E(2011)Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent SystemsProceedings of the 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation10.1109/ICST.2011.62(269-278)Online publication date: 21-Mar-2011
https://dl.acm.org/doi/10.1109/ICST.2011.62
Ramassamy CFouchal HHunel PVidot NGerla MCesana MBen-Othman J(2010)A pragmatic testing approach for wireless sensor networksProceedings of the 6th ACM workshop on QoS and security for wireless and mobile networks10.1145/1868630.1868641(55-61)Online publication date: 20-Oct-2010
https://dl.acm.org/doi/10.1145/1868630.1868641
Show More Cited By

Index Terms

Run-time conformance checking of mobile and distributed systems using executable models
1. Computing methodologies
  1. Modeling and simulation
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Recommendations

Conformance Testing of Distributed Concurrent Systems with Executable Designs
Formal Methods for Components and Objects

This 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 ...
Read More
Runtime conformance checking of mobile agent systems using executable models
Read More
Conformance testing of real-time component based systems
ISSADS'05: Proceedings of the 5th international conference on Advanced Distributed Systems

In 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 ...
Read More

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

PADTAD '09: Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging

July 2009

99 pages

ISBN:9781605586557

DOI:10.1145/1639622

Conference Chairs:
Ganesh Gopalakrishnan
University of Utah, Salt Lake City, UT
,
Eitan Farchi
IBM R&D Labs, Haifa, Israel
,
Eric Mercer
Brigham Young University, Provo, UT

Copyright © 2009 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 July 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ISSTA '09

Sponsor:

ISSTA '09: International Symposium on Software Testing and Analysis

July 19 - 20, 2009

Illinois, Chicago

Upcoming Conference

ISSTA '24

Sponsor:
sigsoft

33rd ACM SIGSOFT International Symposium on Software Testing and Analysis

September 16 - 20, 2024

Vienna , Austria

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
241
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)1

Other Metrics

View Author Metrics

Citations

Cited By

Saifan AAta M(2019)Mutation Testing for Evaluating PHP Web ApplicationsInternational Journal of Software Innovation10.4018/IJSI.20191001027:4(25-50)Online publication date: Oct-2019
https://doi.org/10.4018/IJSI.2019100102
Saifan ADingel JBradbury JPosse E(2011)Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent SystemsProceedings of the 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation10.1109/ICST.2011.62(269-278)Online publication date: 21-Mar-2011
https://dl.acm.org/doi/10.1109/ICST.2011.62
Ramassamy CFouchal HHunel PVidot NGerla MCesana MBen-Othman J(2010)A pragmatic testing approach for wireless sensor networksProceedings of the 6th ACM workshop on QoS and security for wireless and mobile networks10.1145/1868630.1868641(55-61)Online publication date: 20-Oct-2010
https://dl.acm.org/doi/10.1145/1868630.1868641
Posse EDingel J(2010)KilteraProceedings of the 2010 IEEE/ACM 14th International Symposium on Distributed Simulation and Real Time Applications10.1109/DS-RT.2010.19(87-96)Online publication date: 17-Oct-2010
https://dl.acm.org/doi/10.1109/DS-RT.2010.19

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents