Model based testing

Our platform tests your system more thoroughly than ever before.


Testing is a major challenge in every development process, especially for for business critical systems. Testing efforts can take up to 40 to 60 percent of the total budget. Even though new test automation tools are being developed, testing effort is still primarily a manual activity. Tester engineers manually write test cases based on the specifications of the system. This has become a separate, creative, specialization. Many of our customers experience testing as a parallel software development project.

The classical test automation approach which automates manually written test cases has many problems.

Large effort
Classical test automation requires a large amount of effort and is therefore expensive and slow. For complex systems, the number of test cases required to obtain a desirable coverage is often too large to even create by hand.
Incomplete coverage
Classical test automation results in an incomplete test coverage. Moreover, the reported coverage cannot be related to the specification. This reduces the confidence in the quality and correctness of the delivered software systems.
Hard to maintain
Manually written test cases are difficult to maintain when specifications of the system change. Test cases have to be checked and updated by hand. As a result of this process, the quality of test suites often deteriorates over time.

Our solution

Our solution automates the entire testing process. Test cases are automatically generated, executed and checked based on formals specifications of the system under test. With this approach, humans no longer have to write and maintain test cases. Our platform cleverly chooses and generates test cases to maximize the test coverage. Without additional effort, your systems are tested more thoroughly than ever before. Using this way of working, business critical systems can be taken into production faster and with more confidence.

Axini's platform does not automate tests. It automates testing.

Model based testing has many advantages compared to the current approach.

High automation
Humans do not have to write and maintain test cases, which saves a large amount of effort and prevents mistakes.
High test coverage
Our platform chooses test cases in such a way that test coverage is maximized. It also offers clear feedback on the obtained test coverage of the system under test.
Independent testing
Models represent the specification of the desired system and are completely separated from the actual implementation. This results in an independent check of the delivered system.
Complex test cases
Our platform generates complex and unlikely test cases. As a result, you no longer have to rely on the creativity of your test engineers.
Easy maintenance
Models are easy to maintain. When the specifications are updated, you only have to update the corresponding model. An updated test suite then comes for free.
Unambiguous specifications
Models of the desired system act as unambiguous specifications. With a press of the button, our platform generates documentation of your system.

Model based testing at customers

Model based testing is being applied successfully among others at ProRail, ITAB and Achmea.


Sounds interesting? We would love to tell you more. Contact Machiel van der Bijl for additional information.