DMCA
Formal Test Automation: A Simple Experiment (1999)
| Citations: | 73 - 19 self |
BibTeX
@MISC{Belinfante99formaltest,
author = {Axel Belinfante and Jan Feenstra and Rene de Vries and Jan Tretmans and Nicolae Goga and Loe Feijs and Sjouke Mauw and Lex Heerink},
title = {Formal Test Automation: A Simple Experiment},
year = {1999}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
In this paper 1 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 di#erent 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. # Corresponding author: Axel Belinfante, University of Twente, Faculty of Computer Science, Formal Methods and Tools research group, P.O. Box 217, NL-7500 AE Enschede, The Netherlands, email: Axel.Belinfante@cs.utwente.nl 1 This research is supported by the Dutch Technology Foundation STW under project STW TIF.4111...
Keyphrases
formal test automation simple experiment axel belinfante test derivation p.o. box formal method multiple specification language generic environment dutch technology foundation stw tool research group conformance testing computer science nl-7500 ae enschede di erent test execution approach automated testing belinfante c test scenario on-the-fly testing approach several experiment project stw tif central theme multiple formal description technique benchmarking criterion conference protocol
