- Which modeling tools does RTT-MBT support?
- Which modeling formalisms are supported by RTT-MBT?
- How are test cases specified for RTT-MBT?
- Does RTT-MBT provide multi-user support?
- For which platforms is RTT-MBT available?
- Can RTT-MBT be qualified?
Currently, RTT-MBT supports PTC Integrity Modeler, Rational Rhapsody, Enterprise Architecture, Papyrus, and Astah via XMI.
Test models are specified in SysML, using blocks and block definition diagrams, operations, and state machines.
RTT-MBT basically supports two different kinds of test goal specifications:
- The tool can be configured so that it generates tests from a test model that covers model elements. The model elements directly supported are
- Basic control states (and combinations thereof)
- MC/DC conditions
- Hierarchic transitions
Further, it is possible to associate model elements such as state machines, basic control states or transition with requirements. RTT-MBT can then be configured to generate test cases that cover selected requirements.
- Testers can specify arbitrary test goals in linear temporal logic (LTL).
These types of test goals can of course be combined in a single test procedure.
RTT-MBT seamlessly integrates with our Test Management System (TMS), which allows an arbitrary number of test engineers to collaborate on a shared test project.
RTT-MBT is available for Linux. Windows platforms can be supported upon request.
Tool qualification kits for ISO 26262, RTCA DO-178B, RTCA DO-178C, and EN50128:2011 are available upon request.