Showing papers by "Nicolae Goga published in 1999"
01 Sep 1999
TL;DR: An open, generic environment called TorX is introduced to facilitate the derivation from multiple formal description techniques and the different test execution approaches, and the usability of batch-oriented and on-the-fly testing approaches is explored.
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.
161 citations