The TestCast MBT modelling tool is used for formalising the system requirements into an UML model.
Automated Test Design
The TestCast MBT test generation engine automatically designs test cases from the formal model of the system and generates the executable tests from the model.
TestCast MBT is based on Conformiq OEM technology.
Automated Test Execution
TestCast MBT test executive executes the generated test cases against the system under test.
Test Results Analysing
TestCast MBT allows analysing test case execution logs against the generated test cases providing efficient means to quickly pinpoint the deviations of actual test results from the expected ones.
Benefits
Seamless model-based testing workflow from system specification to analysing test results: All-in-one - test design and execution in the same toolset.
![[English]](flaggeUK.jpg){kind=small}
![[Deutsch]](flaggeD.jpg){kind=small}
![[PDF]](icon-pdf-15x16.gif){kind=icon}
