RT-Tester::Model-Based Testing

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.

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.

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.