Belinfante, Axel

de Vries, René G.

Feenstra, Jan

English

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

University of Twente Research Information

Automated Testing in Practice:The Highway Tolling System

https://research.utwente.nl/en/publications/43de350e-3f2c-4ac0-8e36-2303a5a1f274

Automated Testing in Practice:The Highway Tolling System

Abstract

Similar works

Full text

Available Versions

University of Twente Research Information