Formal test automation: a simple experiment


Belinfante, Axel and Feenstra, Jan and Vries, René G. de and Tretmans, Jan and Goga, Nicolae and Feijs, Loe and Mauw, Sjouke and Heerink, Lex (1999) Formal test automation: a simple experiment. In: 12th IFIP WG 6.1 International Workshop on Testing Communicating Systems, September 1-3, 1999, Budapest, Hungary (pp. pp. 179-196).

[img] PDF
Restricted to UT campus only
: Request a copy
Abstract:In this paper1 we study the automation of test derivation and execution in the area of conformance testing. The test scenarios are derived from multiple specication 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 dierent 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.
Item Type:Conference or Workshop Item
Copyright:© 1999 Kluwer
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 119606