Abstract
Automatic synthesis of test cases for conformance testing has been principally developed with the objective of generating sequential test cases. In the distributed system context, it is worth extending the synthesis techniques to the generation of multiple testers. We base our work on our experience in using model-checking techniques, as successfully implemented in the TGV tool. Continuing the works of A. Ulrich and H. König, we propose to use a trueconcurrency model based on graph unfolding. The article presents the principles of a complete chain of synthesis, starting from the definition of test purposes and ending with a projection onto a set of testers.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35497-2_31
Chapter PDF
Similar content being viewed by others
Bibliography
ISO/IEC 9646 IT-OSI, OSI Conformance Testing Methodology and Framework
M. Törö. Decision on Tester Configuration for Multiparty Testing. Proc. of the 12th int. Workshop on Testing of Communicating Systems. Budapest, Hungary, 1999.
JC. Fernandez, C. Jard, T. Jéron and C. Viho. Using on-the-fly verification techniques for the generation of test suites, Conference on Computer-Aided Verification (CAV ‘86), New Brunswick, New Jersey, USA, Alur, A. and Henzinger, T. editors, Springer, LNCS 1102, july 1996.
JC. Fernandez, C. Jard, T. Jéron and C. Viho. An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology, Science of Computer Programming, Groote, J.-F. and Rem, M. editors}, Elsevier Science, number 29, pages 123–146, 1997
L. Doldi, V. Encontre, JC. Fernandez, T. Jéron, S. Le Bricquir, N. Texier and M. Phalippou. Assessment of Automatic Generation Methods of Conformance Test Suites in an Industrial Context, IFIP TC6 9th International Workshop on Testing of Communicating Systems, Baumgarten, B. and Burkhardt, H.-J. and Giessler, A., Chapman and Hall, september 1996.
A. Kerbrat, C. Rodriguez, and Y. Lejeune. Interconnecting the ObjectGéode and CADP toolsets. In Proceedings of SDL forum’97. Elsevier Science (North Holland), 1997.
T. Jéron, JM. Jézéquel and A. Le Guennec Validation and Test Generation for Object-Oriented Distributed Software. International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE’98), Tokyo, Japan, April 1998.
J. Tretmans, Test Generation with Inputs, Outputs and Repetitive Quiescence. Software, Concepts and Tools (1996) 17: 103–120.
R. Tarjan. Depth first Search and Linear Graph Algorithms. SIAM Journal Computing, 1 (2): 146–160. June 1972.
T. Jéron and P. Morel. Test Generation Derived from Model-Checking. 1 intern. Conf. On Computer Aided Verification (CAV’99), Trento, Italy, July 1999. LNCS 1633, pp. 108–122.
J. Engelfriet. Branching Processes of Petri Nets. Acta Informatica 28, pp. 575–591 (1991).
J. Esparza, S. Römer. An Unfolding Algorithm for Synchronous Products of Transition Systems. Proc. Concur’99, S.ringer, LNCS 1664 (1999) 2–20.
V. Khomenko and M. Koutny. Towards an Efficient Algorithm for Unfolding Petri Nets. Proc. Concur’2001. Springer, LNCS 2154 (2001): 366–380.
Y. Ledru, L. Du Bousquet, P. Bontron, O. Maury, C. Oriat, and ML. Potet. Test Purposes: Adapting the Notion of Specification to Testing. To appear in the proc. of the IEEE Automated Software Engineering Conference (ASE’2001). San Diego, November 2001.
RG. De Vries and J. Tretmans. Towards Formal Test Purposes. In Formal Approaches to Testing of Software (FATES), Aalbord, Denmark, August 2001.
B. Caillaud, P. Caspi, A. Girault and C. Jard. Distributing Automata for Asynchronous Network of Processors. European Journal on Automated Systems (JESA), 31(3): 503504. May 1997.
C. Jard, T. Jéron, H. Khalouche and C. Viho. Towards Automatic Distribution of Testers for Distributed Conformance Testing. Formal Description Techniques and Protocol Specification, Testing and Verification, 18, pp. 353–368. IFIP, Kluwer, November 1998.
G. Luo, R. Dssouli, Gv. Bochmann, P. Venkaratan and A. Ghedamsi. Test Generation with respect to Distributed Interfaces. Computer Standards and Interfaces 16 (1994): 119–132.
R. Castanet and O. Koné. Deriving Co-ordinated Testers for Interoperability. Protocol Test Systems, VI (C-19), O. Rafiq (Ed). Elsevier Science B.V. ( North-Holland ). 1994 IFIP.
M. Kim, S.T. Chanson, S. Kang and J. Shin. An Approach for Testing Asynchronous Communicating Systems. Proc. of the 9`h int. Workshop on Testing of Communicating Systems. Darmstadt, 1996, pp. 141–155.
M. Kim, J. Shin, S.T. Chanson and S. Kang. An Enhanced Model for Testing Asynchronous Communicating Systems. Formal Description Techniques and Protocol Specification, Testing and Verification, 19, pp. 337–355. IFIP 1999. Beijing, China.
A. Ulrich and H. König. Specification-based Testing of Concurrent Systems. Formal Description Techniques and Protocol Specification, Testing and Verification, 17. T. Mizuno, N. Shiratori, T. Higashino and A. Togashi (Eds. ), 1997 IFIP. Published by Chapman and Hall.
O. Henniger. On Test Case Generation from Asynchronously Communicating State Machines. Testing of Communicating Systems. Vol. 10. M. Kim, S. Kang and Al. (Eds). Chapman and Hall, pp. 255–271, September 1997.
A. Ulrich and H. König. Architectures for Testing Distributed Systems. Proc. of the 12th int. Workshop on Testing of Communicating Systems. Budapest, Hungary, 1999, pp. 93–108.
L. Cacciari and O. Rafiq. Controllability and Observability in Distributed Testing. Information and Software Technology 41 (1999): 767–780. Elsevier.
http://wwwbrauer.informatik.tu-muenchen.de/gruppen/theorie/KIT/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Jard, C. (2002). Principles of Distributed Test Synthesis Based on True-Concurrency Models. In: Schieferdecker, I., König, H., Wolisz, A. (eds) Testing of Communicating Systems XIV. IFIP — The International Federation for Information Processing, vol 82. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35497-2_22
Download citation
DOI: https://doi.org/10.1007/978-0-387-35497-2_22
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6705-6
Online ISBN: 978-0-387-35497-2
eBook Packages: Springer Book Archive