Automated Testing in Practice: The Highway Tolling System

René G. de Vries; Axel Belinfante; Jan Feenstra

Automated Testing in Practice: The Highway Tolling System

René G. de Vries
, Axel Belinfante
, Jan Feenstra

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

104 Downloads (Pure)

Abstract

In this paper we study the application of automated test derivation and execution based on formal specifications. The object of testing is the Payment Box (PB) of the Highway Tolling System, a device which handles electronic payments. Challenges of testing the PB are the transaction speed, parallelism and encryption. We describe a methodology for automated testing and apply this methodology to test the PB. We conclude that automation of the test process is feasible and beneficial, and evaluate our techniques, theory and tools for automated testing.

Original language	English
Title of host publication	TestCom '02
Subtitle of host publication	Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV
Editors	Ina Schieferdecker, Hartmut König, Adam Wolisz
Place of Publication	Dordrecht
Publisher	Kluwer Academic Publishers
Pages	219-234
Number of pages	16
ISBN (Print)	978-0-7923-7695-8
Publication status	Published - 2002
Event	IFIP 14th International Conference on Testing Communicating Systems, TestCom 2002 - Berlin, Germany Duration: 19 Mar 2002 → 22 Mar 2002 Conference number: 14

Publication series

Name	IFIP Conference Proceedings
Publisher	Kluwer Academic Publishers
Volume	210

Conference

Conference	IFIP 14th International Conference on Testing Communicating Systems, TestCom 2002
Abbreviated title	TestCom
Country/Territory	Germany
City	Berlin
Period	19/03/02 → 22/03/02

Keywords

FMT-TESTING
EWI-6525
FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS

Access to Document

https://dl.acm.org/doi/10.5555/648132.748167

Cite this

de Vries, R. G., Belinfante, A., & Feenstra, J. (2002). Automated Testing in Practice: The Highway Tolling System. In I. Schieferdecker, H. König, & A. Wolisz (Eds.), TestCom '02: Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV (pp. 219-234). (IFIP Conference Proceedings; Vol. 210). Kluwer Academic Publishers. https://dl.acm.org/doi/10.5555/648132.748167

de Vries, René G. ; Belinfante, Axel ; Feenstra, Jan. / Automated Testing in Practice : The Highway Tolling System. TestCom '02: Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV. editor / Ina Schieferdecker ; Hartmut König ; Adam Wolisz. Dordrecht : Kluwer Academic Publishers, 2002. pp. 219-234 (IFIP Conference Proceedings).

@inproceedings{43de350e3f2c4ac08e362303a5a1f274,

title = "Automated Testing in Practice: The Highway Tolling System",

abstract = "In this paper we study the application of automated test derivation and execution based on formal specifications. The object of testing is the Payment Box (PB) of the Highway Tolling System, a device which handles electronic payments. Challenges of testing the PB are the transaction speed, parallelism and encryption. We describe a methodology for automated testing and apply this methodology to test the PB. We conclude that automation of the test process is feasible and beneficial, and evaluate our techniques, theory and tools for automated testing.",

keywords = "FMT-TESTING, EWI-6525, FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS",

author = "\{de Vries\}, \{Ren{\'e} G.\} and Axel Belinfante and Jan Feenstra",

year = "2002",

language = "English",

isbn = "978-0-7923-7695-8",

series = "IFIP Conference Proceedings",

publisher = "Kluwer Academic Publishers",

pages = "219--234",

editor = "Ina Schieferdecker and Hartmut K{\"o}nig and Adam Wolisz",

booktitle = "TestCom '02",

address = "Netherlands",

note = "IFIP 14th International Conference on Testing Communicating Systems, TestCom 2002, TestCom ; Conference date: 19-03-2002 Through 22-03-2002",

}

de Vries, RG, Belinfante, A & Feenstra, J 2002, Automated Testing in Practice: The Highway Tolling System. in I Schieferdecker, H König & A Wolisz (eds), TestCom '02: Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV. IFIP Conference Proceedings, vol. 210, Kluwer Academic Publishers, Dordrecht, pp. 219-234, IFIP 14th International Conference on Testing Communicating Systems, TestCom 2002, Berlin, Berlin, Germany, 19/03/02. <https://dl.acm.org/doi/10.5555/648132.748167>

Automated Testing in Practice: The Highway Tolling System. / de Vries, René G.; Belinfante, Axel; Feenstra, Jan.
TestCom '02: Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV. ed. / Ina Schieferdecker; Hartmut König; Adam Wolisz. Dordrecht: Kluwer Academic Publishers, 2002. p. 219-234 (IFIP Conference Proceedings; Vol. 210).

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

TY - GEN

T1 - Automated Testing in Practice

T2 - IFIP 14th International Conference on Testing Communicating Systems, TestCom 2002

AU - de Vries, René G.

AU - Belinfante, Axel

AU - Feenstra, Jan

N1 - Conference code: 14

PY - 2002

Y1 - 2002

N2 - In this paper we study the application of automated test derivation and execution based on formal specifications. The object of testing is the Payment Box (PB) of the Highway Tolling System, a device which handles electronic payments. Challenges of testing the PB are the transaction speed, parallelism and encryption. We describe a methodology for automated testing and apply this methodology to test the PB. We conclude that automation of the test process is feasible and beneficial, and evaluate our techniques, theory and tools for automated testing.

AB - In this paper we study the application of automated test derivation and execution based on formal specifications. The object of testing is the Payment Box (PB) of the Highway Tolling System, a device which handles electronic payments. Challenges of testing the PB are the transaction speed, parallelism and encryption. We describe a methodology for automated testing and apply this methodology to test the PB. We conclude that automation of the test process is feasible and beneficial, and evaluate our techniques, theory and tools for automated testing.

KW - FMT-TESTING

KW - EWI-6525

KW - FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS

M3 - Conference contribution

SN - 978-0-7923-7695-8

T3 - IFIP Conference Proceedings

SP - 219

EP - 234

BT - TestCom '02

A2 - Schieferdecker, Ina

A2 - König, Hartmut

A2 - Wolisz, Adam

PB - Kluwer Academic Publishers

CY - Dordrecht

Y2 - 19 March 2002 through 22 March 2002

ER -

Automated Testing in Practice: The Highway Tolling System

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this