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.
This research was partly supported by Interpay Nederland B.V. and by the Dutch Technology Foundation STW under project STW TIF.4111: Côte de Resyste — COnformance TEsting of REactive SYSTEms.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35497-2_31
Chapter PDF
Similar content being viewed by others
References
A. Belinfante, J. Feenstra, R.G. de Vries, J. Tretmans, N. Goga, L. Feijs, S. Mauw, and L. Heerink. Formal test automation: A simple experiment. In G. Csopaki, S. Dibuz, and K. Tarnay, editors, 12th Int. Workshop on Testing of Communicating Systems. Kluwer Academic Publishers, 1999.
L.M.G Feijs, N. Goga, and S. Mauw. Probabilities in the TORX test derivation algorithm. In Claude Jard Susanne Graf and Yair Lahav, editors, SAM2000–2nd Workshop on SDL and MSC, pages 173–188, Col de Porte, Grenoble, 6 2000. VERIMAG, IRISA, SDL Forum Society.
H. Caravel. OPEN/CiesAR: An open software architecture for verification, simulation, and testing. In B. Steffen, editor, Fourth Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’98), pages 68–84. Lecture Notes in Computer Science 1384, Springer-Verlag, 1998.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall Inc., 1991.
ISO. Information Processing Systems, Open Systems Interconnection, LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard IS-8807. ISO, Geneve, 1989.
D. Lee and M. Yannakakis. Principles and methods for testing finite state machines–a survey. The Proceedings of the IEEE,84(8):1090–1123.,. August 1996.
René Seindal. GNU m4, version 1.4. Free Software Foundation, 59 Temple Place–Suite 330, Boston, MA 0211, USA, 1.4 edition, November 1994. Available from URL: http://www.gnu.org.
R. Terpstra, L. Ferreira Pires, L. Heerink, and J. Tretmans. Testing theory in practice: A simple experiment. In T. Kapus and Z. Brezoénik, editors, COST 247 Int. Workshop on Applied Formal Methods in System Design, pages 168183, Maribor, Slovenia, 1996. University of Maribor.
J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software—Concepts and Tools,17(3):103–120, 1996. Also: Technical Report No. 96–26, Centre for Telematics and Information Technology, University of Twente, The Netherlands.
T. Vassiliou-Gioles, I. Schieferdecker, M. Born, M. Winkler, and M. Li. Configuration and execution support for distributed tests. In K. Tarnay G. Csopaki, S. Dibuz, editor, 12th Int. Workshop on Testing of Communicating Systems, pages 61–76. Kluwer Academic Publishers, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
de Vries, R.G., Belinfante, A., Feenstra, J. (2002). Automated Testing in Practice: The Highway Tolling System. In: Schieferdecker, I., König, H., Wolisz, A. (eds) Testing of Communicating Systems XIV. IFIP — The International Federation for Information Processing, vol 82. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35497-2_17
Download citation
DOI: https://doi.org/10.1007/978-0-387-35497-2_17
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6705-6
Online ISBN: 978-0-387-35497-2
eBook Packages: Springer Book Archive