Online Model-Based Testing Reusing Multiple Design Models in an Industrial Setting
ComMA (an abbreviation of Component Modeling and Analysis) is an approach for modeling components and their interfaces in an implementation agnostic notation. The approach is supported by the open-source tool Eclipse CommaSuite. It supports, for instance, model validation and monitoring to check whether the execution of an implementation conforms to the specification. In this paper, we describe how ComMA models can be reused for online Model-Based Testing (MBT). An innovative feature of ComMA is its ability to construct a test application based on existing component and interface models, which enables reuse and avoids clones. This avoids well-known problems with MBT such as the validation and maintenance of large test models. The ComMA MBT approach has been applied and improved based on an application at Philips IGT in the context of a medical system. We report on our experiences and lessons learned.
Tue 10 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 15:00 | |||
13:30 30mTalk | Dynamic Role-Based Access Control Scenarios for Smart Contracts: Graph Rewriting for Testing Domain-specific Models ECMFA Issam Al-Azzoni Al Ain University of Science, United Arab Emirates, Reiko Heckel University of Leicester, Zobia Erum Birmingham City University Link to publication DOI | ||
14:00 30mTalk | Introducing automated testing to video game development via Behaviour-Driven Development ECMFA Link to publication DOI | ||
14:30 30mTalk | Online Model-Based Testing Reusing Multiple Design Models in an Industrial Setting ECMFA Mathijs Schuts TNO-ESI, Jozef Hooman TNO-ESI, Ivan Kurtev Eindhoven University of Technology, Issam Tlili Philips, Erik Oerlemans Philips Link to publication DOI |