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;
- Learning, combining and comparing models to make it easier to obtain a complete model.
- Determining test coverage based on a model to efficiently handle large models.
- Test selection based on user profiles to test more efficiently.
- Develop a Model Based Testing prototype tool to directly apply the issues studied.
- Industry use cases from InTraffic, ASML, Océ, PANalytical.
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.