From Modeling to Test Case Generation in the Industrial Embedded System Domain
Model-based testing (MBT) is the process of generating test cases from specification models representing system requirements and the desired functionality. The generated test cases are then executed on the system under test in an attempt to obtain a pass or fail verdict. While different MBT techniques have been developed, only a few target the real-world industrial embedded system domain and show evidence on its applicability. As a consequence, there is a serious need to investigate the use of MBT and the evidence on how modeling and test generation can improve the current way of manually creating test cases based on natural language requirements. In this paper, we describe an on-going investigation being carried out to improve the current testing processes by using the MBT approach within an industrial context. Our results suggest that activity and structure diagrams, developed under MBT, are useful for describing the test specification of an accelerator pedal control function. The use of MBT results in less number of test cases compared to manual testing performed by industrial engineers.
KeywordsMBT Systems engineering Test cases Modeling
This work is partially funded from the Electronic Component Systems for European Leadership Joint Undertaking under grant agreement No. 737494 and The Swedish Innovation Agency, Vinnova (MegaM@Rt2). We would like to thank Kimmo Nupponen and the Conformiq team for their support.
- 1.Gudmundsson, V., Schulze, C., Ganesan, D., Lindvall, M., Wiegand, R.: An initial evaluation of model-based testing. In: 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 13–14 (2013)Google Scholar
- 2.Pretschner, A., et al.: One evaluation of model-based testing and its automation. In: Proceedings of the 27th International Conference on Software Engineering, ICSE 2005, pp. 392–401. ACM, New York (2005)Google Scholar