Verified Home

Verified Systems International GmbH

Quality Assurance for Embedded Systems

RTT-MBT: Frequently Asked Questions

Which modeling tools does RTT-MBT support?

Currently, RTT-MBT supports PTC Integrity Modeler, Rational Rhapsody, Enterprise Architecture, Papyrus, and Astah via XMI.

Which modeling formalisms are supported by RTT-MBT?

Test models are specified in SysML, using blocks and block definition diagrams, operations, and state machines.

How are test cases specified for RTT-MBT?

RTT-MBT basically supports two different kinds of test goal specifications:

  1. The tool can be configured so that it generates tests from a test model that covers model elements. The model elements directly supported are

    1. Basic control states (and combinations thereof)
    2. Transitions
    3. MC/DC conditions
    4. 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.

  2. 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.

Does RTT-MBT provide multi-user support?

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.

For which platforms is RTT-MBT available?

RTT-MBT is available for Linux. Windows platforms can be supported upon request.

Can RTT-MBT be qualified?

Tool qualification kits for ISO 26262, RTCA DO-178B, RTCA DO-178C, and EN50128:2011 are available upon request.