The Community for Technology Leaders
Software Testing Verification and Validation Workshop, IEEE International Conference on (2011)
Berlin, Germany
Mar. 21, 2011 to Mar. 25, 2011
ISBN: 978-0-7695-4345-1
pp: 496-500
ABSTRACT
Developing and implementing conformity tests is a time-consuming and fault-prone task. To reduce these efforts a new route must be tackled. The current way of specifying tests and implementing them includes too many manual parts. Based on the experience of testing electronic smart cards in ID documents like passports or ID cards the author describes a new way of saving time to write new test specifications and to get test cases based on these specifications. With new technologies like model based testing (MBT) and domain specific languages (DSL) it is possible to improve the specification and implementation of tests significantly. The author describes his experience in using a DSL to define a new language for testing smart cards and to use this language to generate both documents and test cases that can be run in several test tools.
INDEX TERMS
Model-based testing, specification, DSL, model, MBT, generator, finite state machines
CITATION
Holger Funke, "Model Based Test Specifications: Developing of Test Specifications in a Semi Automatic Model Based Way", Software Testing Verification and Validation Workshop, IEEE International Conference on, vol. 00, no. , pp. 496-500, 2011, doi:10.1109/ICSTW.2011.15
78 ms
(Ver 3.3 (11022016))