In this paper the authors 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. The authors describe a methodology for automated testing and apply this methodology to test the PB. They conclude that automation of the test process is feasible and beneficial, and evaluate their techniques, theory and tools for automated testing.
Automated testing in practice: the highway tolling system
2002
16 Seiten, 4 Bilder, 10 Quellen
Conference paper
English
Vehicle-mounted system tolling system tolling method and program
European Patent Office | 2019
Tolling system, vehicle-mounted system, tolling method, and program
European Patent Office | 2019