Formal Test Automation: A Simple Experiment

Axel Belinfante; J. Feenstra; R.G. de Vries; G.J. Tretmans; N. Goga; Loe Feijs; Sjouke Mauw; A.W. Heerink

Formal Test Automation: A Simple Experiment

Axel Belinfante, J. Feenstra, R.G. de Vries, G.J. Tretmans, N. Goga, Loe Feijs, Sjouke Mauw, A.W. Heerink

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

7 Downloads (Pure)

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.

Original language	Undefined
Title of host publication	Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Editors	Gyula Csopaki, Sarolta Dibuz, Katalin Tarnay
Place of Publication	Dordrecht
Publisher	Kluwer Academic Publishers
Pages	179-196
Number of pages	18
ISBN (Print)	0-7923-8581-0
Publication status	Published - 1999
Event	12th IFIP WG 6.1 International Workshop on Testing Communicating Systems - Budapest, Hungary Duration: 1 Sept 1999 → 3 Sept 1999

Publication series

Name	IFIP Conference Proceedings
Publisher	Kluwer Academic Publishers
Volume	147

Workshop

Workshop	12th IFIP WG 6.1 International Workshop on Testing Communicating Systems
Period	1/09/99 → 3/09/99
Other	September 1-3, 1999

Keywords

EWI-6473
IR-63294
METIS-119606
FMT-TESTING

Access to Document

http://eprints.eemcs.utwente.nl/secure2/6473/01/244_main.pdf

Cite this

Belinfante, A., Feenstra, J., de Vries, R. G., Tretmans, G. J., Goga, N., Feijs, L., Mauw, S., & Heerink, A. W. (1999). Formal Test Automation: A Simple Experiment. In G. Csopaki, S. Dibuz, & K. Tarnay (Eds.), Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications (pp. 179-196). (IFIP Conference Proceedings; Vol. 147). Kluwer Academic Publishers. http://eprints.eemcs.utwente.nl/secure2/6473/01/244_main.pdf

@inproceedings{97e6227dc06a42849918d4ed0ea0ee6f,

title = "Formal Test Automation: A Simple Experiment",

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.",

keywords = "EWI-6473, IR-63294, METIS-119606, FMT-TESTING",

author = "Axel Belinfante and J. Feenstra and {de Vries}, R.G. and G.J. Tretmans and N. Goga and Loe Feijs and Sjouke Mauw and A.W. Heerink",

year = "1999",

language = "Undefined",

isbn = "0-7923-8581-0",

series = "IFIP Conference Proceedings",

publisher = "Kluwer Academic Publishers",

pages = "179--196",

editor = "Gyula Csopaki and Sarolta Dibuz and Katalin Tarnay",

booktitle = "Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications",

address = "Netherlands",

note = "12th IFIP WG 6.1 International Workshop on Testing Communicating Systems ; Conference date: 01-09-1999 Through 03-09-1999",

}

Belinfante, A, Feenstra, J, de Vries, RG, Tretmans, GJ, Goga, N, Feijs, L, Mauw, S & Heerink, AW 1999, Formal Test Automation: A Simple Experiment. in G Csopaki, S Dibuz & K Tarnay (eds), Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications. IFIP Conference Proceedings, vol. 147, Kluwer Academic Publishers, Dordrecht, pp. 179-196, 12th IFIP WG 6.1 International Workshop on Testing Communicating Systems, 1/09/99. <http://eprints.eemcs.utwente.nl/secure2/6473/01/244_main.pdf>

Formal Test Automation: A Simple Experiment. / Belinfante, Axel; Feenstra, J.; de Vries, R.G. et al.
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications. ed. / Gyula Csopaki; Sarolta Dibuz; Katalin Tarnay. Dordrecht: Kluwer Academic Publishers, 1999. p. 179-196 (IFIP Conference Proceedings; Vol. 147).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Formal Test Automation: A Simple Experiment

AU - Belinfante, Axel

AU - Feenstra, J.

AU - de Vries, R.G.

AU - Tretmans, G.J.

AU - Goga, N.

AU - Feijs, Loe

AU - Mauw, Sjouke

AU - Heerink, A.W.

PY - 1999

Y1 - 1999

N2 - 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.

AB - 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.

KW - EWI-6473

KW - IR-63294

KW - METIS-119606

KW - FMT-TESTING

M3 - Conference contribution

SN - 0-7923-8581-0

T3 - IFIP Conference Proceedings

SP - 179

EP - 196

BT - Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications

A2 - Csopaki, Gyula

A2 - Dibuz, Sarolta

A2 - Tarnay, Katalin

PB - Kluwer Academic Publishers

CY - Dordrecht

T2 - 12th IFIP WG 6.1 International Workshop on Testing Communicating Systems

Y2 - 1 September 1999 through 3 September 1999

ER -