Model Based Test Specifications: Developing of Test Specifications in a Semi Automatic Model Based Way

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.