Abstract
Mobile and distributed systems are generally composed of components which interact together with input/output events by using a least a mobile network (GSM, wireless lan), and eventually others heterogeneous ones. Such systems are generally complex so they need to be tested in order to check their reliability. However, no distributed testing tool is proposed. In this paper, we propose a complete method to test such systems and an experimentation which aims to test a WAP application. From a formal specification, the testing method generates test cases and deploys them on a test architecture. This one is composed of several testers which must be synchronized for testing. For the experimentation, we have implemented: a distributed test architecture composed of several testers, a WAP architecture and a WAP application. The experimentation results show that the testing method can be used in practice.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alur, R., Dill, D.: The theory of timed automata. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol. 600, pp. 45–73. Springer, Heidelberg (1992)
Berrada, I., Castanet, R., Felix, P.: A formal approach for real-time test generation. In: WRTES, satellite workshop of FME symposium, pp. 5–16 (2003)
Bochmann, G.v., Das, G., Dssouli, R., Dubuc, M.: Fault Models in Testing. In: Proceedings of the International Workshop on Testing of Communicating Systems, IWTCS 1991 (1991)
Cacciari, L., Rafiq, O.: Controllability and observability in distributed testing. Information and Software Technology (1999)
Castanet, R., Chevrier, C., Kon, O., Le Saec, B.: An Adaptive Test Sequence Generation Method for the User Needs. In: Proceedings of IWPTS 1995, Evry, France (1995)
Cavalli, A.: Different approach to protocol ans service testing. In: Proceedings of the Twelfth IFIP Workshop on Testing of Communicating Systems (IWTCS 1999) (September 1999)
Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering SE-4(3), 178–187 (1978)
Fernandez, J.C., Jard, C., Jron, T., Viho., C.: Using on-the-fly verification techniques for the generation of test suites. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, Springer, Heidelberg (1996)
WAP forum. Wap specification, http://www.wapforum.org
Fouchal, H., Petitjean, E., Salva, S.: Testing Timed Systems with Timed Purposes. In: Proceedings of the 7th International Conference on Real-Time Computing Systems and Applications, RTCSA 2000, Cheju Island, South Korea, December 2000, pp. 166–171. IEEE Computer Society, Los Alamitos (2000)
Fujiwara, S., von Bochmann, G., Khendek, F., Amalou, M., Ghedamsi, A.: Test selection based on finite-state models. IEEE Transactions on Software Engineering 17(6), 591–603 (1991)
ISO. Conformance Testing Methodology and Framework. International Standard 9646, International Organization for Standardization — Information Technology — Open Systems Interconnection, Genève (1991)
kannel group. Kannel, open source wap and sms gateway, http://www.kannel.org
Luo, G., Dssouli, R., Bochman, G., Venkatraam, P., Ghedsami, A.: Test generation with respect to distributed interfaces. In: Computer Standards and Interfaces, vol. 16, pp. 119–132 (1994)
Mederreg, A., Zaidi, F., Combes, P., Monin, W., Castanet, R., Mackaya, M., Laurençot, P.: Une plate-forme de validation multi-protocoles et multi-services - résultats d’expérimentation. In: Colloque Francophone de l’ingénierie des Protocoles, CFIP (October 2003)
Phalippou, M.: Relation d’implantation et hypothèses de test sur des automates à entrées et sorties. PhD thesis, Univ. of Bordeaux (September 1994)
Rafiq, O., Castanet, R., Chraibi, C.: Towards an environment for testing osi protocols. In: Proc. of the International Workshop on Protocol Specification, testing and Verification (1985)
Salva, S., Laurençot, P.: Génération de tests temporisés orientée caractérisation d’états. Colloque Francophone de l’ingénierie des Protocoles, CFIP (October 2003)
Ulrich, A., König, H.: Architecture for testing distributed systems. In: Proc. of Inter. Workshop on testing of Communicating Systems, IWTCS 1999 (1999)
Walter, T., Schieferdecker, I., Grabowski, J.: Test architectures for distributed systems - state of the art and beyond. Testing of Communicating Systems (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Laurençot, P., Salva, S. (2005). Testing Mobile and Distributed Systems: Method and Experimentation. In: Higashino, T. (eds) Principles of Distributed Systems. OPODIS 2004. Lecture Notes in Computer Science, vol 3544. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11516798_3
Download citation
DOI: https://doi.org/10.1007/11516798_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-27324-0
Online ISBN: 978-3-540-31584-1
eBook Packages: Computer ScienceComputer Science (R0)