High-tech systems are increasingly dependent on the software that controls, connects and manages these systems. With this, the complexity of testing these systems is also increasing rapidly. Often even faster than the complexity of the systems that need to be tested. One of the new technologies to address these challenges is Model Based Testing. Recently, Jan Tretmans, researcher at TNO-ESI (Embedded Systems Innovation) and professor at Radboud University in Nijmegen, took us through the SUMBAT project.

SUMBAT stands for SUpersizing Model-Based Testing. Model-Based Testing is a promising technique in which tests are automatically generated from a model of the system being tested. This makes it possible to generate more and more complex tests. This should improve the quality of software as it continually becomes more complex. Models can be used in many ways throughout the product life cycle, including: improved specification quality, code generation, reliability analysis, test generation and test execution.

Testing millions of lines of code

The goal of SUMBAT is to make Model Based Testing easier to apply to large and complex high-tech systems with millions of lines of source code. To make this possible, a number of aspects of Model Based Testing are being explored;

  1. Learning, combining and comparing models to make it easier to obtain a complete model.
  2. Determining test coverage based on a model to efficiently handle large models.
  3. Test selection based on user profiles to test more efficiently.
  4. Develop a Model Based Testing prototype tool to directly apply the issues studied.
  5. Industry use cases from InTraffic, ASML, Océ, PANalytical.

TiCToC project

InTraffic and ICT Group are participating in the follow-up project TiCToC, Testing in Times of Continuous Change. The TiCToC project aims to develop techniques, methods and tools to enable Model Based Testing, among other things. With the follow-up project, we are taking the next step towards more efficient and effective testing of systems for our clients. Currently, InTraffic is applying Model Based Testing to Process Management, one of the largest custom rail applications.