MBT edition



TestCast MBT

Formalizing System Requirements

The TestCast MBT modelling tool is used for formalizing 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 Analyzing

TestCast MBT allows analyzing 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 analyzing test results:

  • All-in-one - test design and execution in the same toolset
  • One tool, one vendor - support from single contact point