Verified Systems
  • Industries ▼
    • Avionics
    • Railway
    • Space
    • Defence
  • Products ▼
    • RT-Tester
    • RT-Tester::Model-Based Testing
    • Code Coverage Branch Monitor
    • Virtual Test Bench
    • Graphical Signal Manipulation Interface
    • Test Engines
  • Services ▼
    • Testing
    • Validation
    • Requirement & Code Review
    • Requirement Engineering
    • Software Engineering
  • Research
  • Company ▼
    • About us
    • Certificates
    • Quality Policy
    • Careers
  • Contact
Hero Image
Contact us

RT-Tester::Model-Based Testing

RT-Tester::Model-Based Testing is an RT-Tester extension for model-driven test development, enabling the use of UML and SysML models for systematic test generation. It supports signal mapping, automated simulation, and oracle generation, as well as harness generation, providing an efficient and scalable approach to the testing of safety-critical systems.

From Model to Verified Behavior

UML and SysML models act as executable reference models, defining expected system behavior with precision. They drive simulation, oracle generation, and automated verification for safety-critical systems.

From Model to Verified Behavior

Certification-Ready MC/DC Coverage Analysis

Certification-Ready MC/DC Coverage Analysis

RT-Tester supports MC/DC code coverage analysis in accordance with DO-178C and CENELEC standards (e.g., EN 50128). It provides detailed visibility into condition and decision outcomes, enabling rigorous verification and efficient demonstration of test completeness for safety-critical systems.

Integrated Signal View

The Eclipse-based RT-Tester GUI provides a rich and fully integrated signal view, offering clear insight into system behavior during test execution. Signals can be monitored, analyzed, and correlated in real time, enabling efficient debugging and validation within a seamless toolchain environment.

Integrated Signal View
Get in Touch

Get More Information

Take the next step toward efficient and certification-ready testing. Get in touch to learn more about RT-Tester::Model-Based Testing, request a demo, or discuss how we can support your projects.

Announcements on new RTT-MBT releases are available via RSS feed RSS Feed Logo. This feed is also used to inform about any serious problems with some released versions.

A complete list of all RTT-MBT related announcements is available here.

Get More Information
Contact us
Verified Systems

Verified Systems International GmbH

Stay Informed LinkedIn

Industries

  • Avionics
  • Railway
  • Space
  • Defence

Products

  • RT-Tester
  • RTT-MBT
  • Test Engines

Legal

  • Contact
  • Career
  • Terms and Conditions
  • Datenschutzerklärung
  • Privacy Policy
  • Impressum

© 2026 Verified Systems International GmbH