Abstract
In this paper we study the automation of test derivation and execution in the area of conformance testing. The test scenarios are derived from multiple specification languages: LOTOS, Promela and SDL. A central theme of this study is the usability of batch-oriented and on-the-fly testing approaches. To facilitate the derivation from multiple formal description techniques and the different test execution approaches, an open, generic environment called TorX is introduced. TorX enables plugging in existing or dedicated tools. We have carried out several experiments in testing a conference protocol, resulting in requirements on automated testing and benchmarking criteria.
This research is supported by the Dutch Technology Foundation STW under project STW TIF.4111: Côte de Resyste — COnformance TEsting of REactive SYSTEms. URL: http://fmt.cs.utwente.nl/CdR
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-35567-2_25
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Telelogic AB. Telelogic Tau Documentation, 1998.
F. Brady and R.M. Barker. Infrastructural Tools for Information Technology and Telecommunications Conformance Testing, INTOOL/GCI, Generic Compiler/Interpreter (GCI) Interface Specification, Version 2.2, 1996. INTOOL doc. nr. GCl/NPL038v2.
P. van Eijk, A. Belinfante, H. Eertink, and H. Alblas. The Term Processor KIMWITU. In E. Brinksma, editor, TACAS’97, pages 96–111. LNCS 1217, Springer-Verlag, 1997.
J.-C. Fernandez, C. Jard, T. Jéron, and C. Viho. Using On-the-Fly Verification Techniques for the generation of test suites. In R. Alur et al., editor, CAV’96. LNCS 1102, Springer-Verlag, 1996.
L. Ferreira Pires. Protocol Implementation: Manual for Practical Exercises 1995 1996. Lecture notes, University of Twente, The Netherlands, 1995.
H. Garavel. Open/CÆsar: An Open Software Architecture for Verification, Simulation, and Testing. In B. Steffen, editor, TACAS’98, pages 68–84. LNCS 1384, Springer-Verlag, 1998.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall Inc., 1991.
ISO IEC JTC1 SC21 WG7, ITU-T SG 10 Q.8. Framework: Formal Methods in Conformance Testing. CD 13245–1, ITU-T Z. 500. ISO–ITU-T, Geneve, 1996.
Project Consortium Côte de Resyste. Conference Protocol Case Study. URL: http://fmt.cs.utwente.nl/ConfCase.
M. Schmitt, A. Ek, B. Koch, J. Grabowski, and D. Hogrefe.–AUTOLINK–Putting SDL-based Test Generation into Practice. In A. Petrenko et al., editor, IWTCS’98, pages 227–243. Kluwer Academic Publishers, 1998.
R. Terpstra, L. Ferreira Pires, L. Heerink, and J. Tretmans. Testing theory in practice: A simple experiment. In T. Kapus et al., editor, COST 247 Workshop on Applied Formal Methods in System Design, pages 168–183. University of Maribor, Slovenia, 1996.
J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software—Concepts and Tools, 17 (3): 103–120, 1996.
R.G. de Vries and J. Tretmans. On-the-Fly Conformance Testing using SPIN. In G. Holzmann et al., editor, Fourth SPIN Workshop, ENST 98 S 002, pages 115–128. Ecole Nationale Supérieure des Télécommunications, Paris, France, November 2 1998.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Belinfante, A. et al. (1999). Formal Test Automation: A Simple Experiment. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing, vol 21. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35567-2_12
Download citation
DOI: https://doi.org/10.1007/978-0-387-35567-2_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6699-8
Online ISBN: 978-0-387-35567-2
eBook Packages: Springer Book Archive