In this article, we report on the transition of model-based testing (MBT) from a widely discussed research discipline to an accepted technology that is currently becoming state of the art in industry; in particular, in the field of safety-critical systems testing. It is reviewed how focal points of MBT-related research in the past have found their way into today’s commercial MBT products. We describe the benefits of MBT that are – from our experience – most appreciated by practitioners. Moreover, some interesting open challenges are described, and potential future solutions are presented. The material presented in this paper is based on our practical experience with recent MBT campaigns performed for Airbus in Germany.
CITATION STYLE
Peleska, J., Brauer, J., & Huang, W. L. (2018). Model-based testing for avionic systems proven benefits and further challenges. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11247 LNCS, pp. 82–103). Springer Verlag. https://doi.org/10.1007/978-3-030-03427-6_11
Mendeley helps you to discover research relevant for your work.