System requirements are formalised into a UML state machine model. Various UML tools are compatible with TestCast MBT.

Automated Test Design

The TestCast MBT test generation engine automatically designs test cases from the formalized model of the
requirements. Automated test design speeds the testing process and leads to better overall coverage of
requirements.

Automated Test Execution

The TestCast MBT test generation engine automatically designs test cases from the formalized model of the
requirements. Automated test design speeds the testing process and leads to better overall coverage of
requirements.

Test Results Analysis

TestCast MBT provides an intuitive interface to compare actual test results to expected behaviors. Allowing users to
quickly view test results and pinpoint deviations.

Benefits

Seamless model-based testing workflow from system specification to analysis of test results:
All-in-one - test design and execution in the same toolset
One tool, one vendor - support from single contact point