Abstract
We present an experiment of automated formal conformance testing of the Conference Protocol Entity as reported in [2]. Our approach differs from other experiments, since it investigates the combination of the tools TGV for abstract test generation and TorX for test execution.
First and third author with INRIA, second with DYADE/INRIA, fourth with IFSIC/Université de Rennes I
The updated original online version for this book can be found at DOI: 10.1007/978-0-387-35516-0_20
Chapter PDF
Similar content being viewed by others
References
H. Agrawal, R. A. DeMillo, B. Hataway, W. Hsu, W. Hsu, E. W. Krauser, R. J. Martin, and E. Spafford. Design of mutant operators for the C programming language. Technical Report 1R-41-P, SERC, 1989.
A. Belinfante, J. Feenstra, R.G. de Vries, J. Tretmans, N. Goga, L. Feijs, S. Mauw, and L. Heerink. Formal test automation: A simple experiment. In IWTCS’99, pages 179–196. Kluwer, 1999.
Côte de Resyste. Conference protocol case study. http://www.fmt.cs.utwente.nl/ConfCase, 1999.
H. Garavel. Open/cæsar: An open software architecture for verification, simulation, and testing. In TACAS’98, LNCS 1384. Springer, 1998.
ISO. International Standard IS-9646. 1991.
ITU-T recommendation Z-500: Framework on formal methods in conformance testing, 1997.
T. Jéron and P. Morel. Test generation derived from model-checking. In CAV’99, LNCS 1633. Springer, 1999.
A. Kerbrat, T. Jéron, and R. Groz. Automated test generation from SDL specifications. In SDL’99, pages 135–151. Elsevier, 1999.
D. Lee and M. Yannakakis. Principles and methods of testing finite state machines–a survey. Proceedings of the IEEE, 84 (8): 1090–1123, 1996.
M. Mihail and C. H. Papadimitriou. On the random walk method for protocol testing. In CAV’94, LNCS 818, pages 132–141. Springer, 1994.
R. J. Lipton, R. A. DeMillo and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. IEEE Computer, 11 (4): 34–43, 1978.
J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software—Concepts and Tools, 17 (3): 103–120, 1996.
C. H. West. Protocol validation by random state exploration. In PSTV’86, pages 7.1–7. 12, 1986.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Du Bousquet, L., Ramangalahy, S., Simon, S., Viho, C., Belinfante, A., de Vries, R.G. (2000). Formal Test Automation: The Conference Protocol with TGV/TorX. In: Ural, H., Probert, R.L., v. Bochmann, G. (eds) Testing of Communicating Systems. IFIP Advances in Information and Communication Technology, vol 48. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35516-0_14
Download citation
DOI: https://doi.org/10.1007/978-0-387-35516-0_14
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-1016-8
Online ISBN: 978-0-387-35516-0
eBook Packages: Springer Book Archive