The “Dependable Systems” Program of TNO-ESI aims to research, develop, and validate methodological approaches for software testing and interface management that are generally applicable to companies designing complex system products. The successful outcomes can be used in a wide variety of application areas and lead to significant economic benefit by reducing the amount of redesign and test cycles, thereby bringing more robust products faster and cheaper to market.
ComMA methodology
This project extends the ComMA methodology (modelling and monitoring of component interfaces) with model-based testing (MBT) techniques to significantly reduce the effort of testing system components. The goal is to automatically generate test cases and test clients based on ComMA models of the provided and required interfaces of these components.
The feasibility and added value of the approach is validated by means of industry use studies, using software from the medical domain.