Abstract
This paper defines a formal framework for testing mobile agents based on the existing concepts of conformance testing. First, we introduce a model of mobile agent based on transition systems. Our goal is to propose a model which have the properties of abstraction required for the test, in the same way as test models based on transition systems for conformance testing. Then we propose an approach of observation of the behaviour of mobile agents in their environment to finally define a parametrized conformance relation between mobile agents. The relation is parametrized because the conformance depends on what can be observed on the agent in a mobile setting. We then define a test object named “observer” that fully characterizes the set of correct implementations according to the conformance relation, depending on a specification and the degree of observation available on the environment. A method to create this observer from a specification is given which we prove to embody a sound and exhaustive test suite for validating the conformance of an implementation. Last, we propose on this framework a solution to execute real tests on mobile agents, i.e how to execute an observer to prove the conformance of an implementation. This solution is already implemented through a simulation tool.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bäumer, C., Breugst, M., Choy, S., Magedanz, T.: Grasshopper — A universal agent platform based on OMG MASIF and FIPA standards. In: First International Workshop MATA 1999, World Scientific Publishing Ltd., Singapore (1999)
Bellifemine, F., Poggi, A., Rimassa, G.: JADE — A FIPAcompliant agent framework. In: Proceedings of the 4th International Conference PAAM 1999, London, UK, The Practical Application Company Ltd. (1999)
Boreale, M., Fournet, C., Laneve, C.: Bisimulations for the joincalculus. In: Gries, D., de Roever, W.-P. (eds.) Programming Concepts and Methods (PROCOMET 1998), ifip, ch (1998)
Brinksma, E., Tretmans, J.: Testing Transition Systems: An Annotated Bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol. 2067, p. 187. Springer, Heidelberg (2001)
Brinksma, E.: A theory for the derivation of tests. In: PSTV’VIII, North Holland, Amsterdam (1989)
Cugola, G., Ghezzi, C., Pico, G.P., Vigna, G.: Analyzing Mobile Code Languages. In: Tschudin, C.F., Vitek, J. (eds.) MOS 1996. LNCS, vol. 1222. Springer, Heidelberg (1997)
Fournet, C., Gonthier, G.: The Reflexive Chemical Abstract Machine and the Join-Calculus. In: Steele Jr., G. (ed.) 23rd Annual Symposium on Principles of Programming Languages (POPL), St. Petersburg Beach, Florida, pp. 372–385. ACM, New York (1996)
Fuggetta, A., Pico, G.P., Vigna, G.: Understanding Code Mobility. IEEE Transactions on Software Engineering 24, 342–360 (1998)
Gaudel, M.-C.: Testing can be formal, too. In: Mosses, P.D., Schwartzbach, M.I., Nielsen, M. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol. 915. Springer, Heidelberg (1995)
ITU. Framework : Formal methods in conformance testing. ITU-T proposed recommendation Z.500 (1996)
Lee, D., Yannakakis, M.: Principles and Methods of Testing Finite State Machines – A Survey. Proceedings of the IEEE (August 1996)
Marche, M., Quemener, Y.M., Groz, R.: Testing mobile agents: Sam, a tool based on a simulation approach. In: 14th International Conference on Testing of Communicating Systems (TestCom 2002), Berlin, March 2002, IFIP/Kluwer (2002)
Milner, R.: Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, Cambridge (1999)
De Nicola, R., Hennessy, M.C.B.: Testing equivalence for processes. In: Díaz, J. (ed.) ICALP 1983. LNCS, vol. 154. Springer, Heidelberg (1983)
OMG. Mobile Agent Systems Interoperability Facilities Specification (MASIF), Available from http://www.camb.opengroup.org/RI/MAF/
Phalippou, M.: Abstract testing and concrete testers. In: Protocol Specification Testing and Verification XIV. North Holland, Amsterdam (1994)
Tretmans, J.: Conformance testing with labelled transitions systems: Implementation relations and test generation. Computer Networks and ISDN Systems (29), 49–79 (1996)
Viho, C., Barbin, S., Tanguy, L.: Towards a formal framework for interoperability testing. In: FORTE 2001, Korea, pp. 53–68. Kluwer, Dordrecht (2001)
White, J.E.: Telescript technology: Mobile agents (Available as General Magic White Paper)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Marche, M., Quemener, YM. (2003). A Model for Conformance Testing of Mobile Agents in a MASIF Framework. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C., Gordon-Spears, D. (eds) Formal Approaches to Agent-Based Systems. FAABS 2002. Lecture Notes in Computer Science(), vol 2699. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45133-4_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-45133-4_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40665-5
Online ISBN: 978-3-540-45133-4
eBook Packages: Springer Book Archive