



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
RSSLatest news
- 15. February 2012 Elvior to host Model-based Testing User Conference (MBT UC 2012)
- 24. January 2012 MBAT: Model-based analysis and testing project in transportation industry
- 12. January 2012 Elvior moves it's office in summer 2012