Using model-based test techniques we can automate the test automation! The result is higher test coverage more quickly, simpler maintenance of test code, as well as more correct and precise requirements, and more effective collaboration between business analysts and developers who together build a shared understanding of the system under test.
Models can in many cases be quite simple, while it’s also possible to model more complex solutions and thereby attaining test coverage that is impossible to reach using traditional methods. The benefits of using model-based testing are usually greater the more complex the system under test is!
Several of our employees have long formal and practical experience in this area and can help you get started! Model-based testing is not a single technique, but can range from very simple models and associated test case design, to complex models of for instance distributed real-time systems, where automated code generation and verification of attributes such as safety, latency, security etc. is essential. One example of a relatively simple but very powerful model-based test tool is our own open-source tool and software-as-a-service: ecFeed!