Verified Systems
Products
RT-Tester
RTT-MBT: Model Based Testing
RTT-STO: Source-to-Object Code Analyser
RTT-DCC: Data & Control Coupling Analyser
Code Coverage Branch Monitor
Test Engines
Services
Support
Publications
Releases
Company
Corporate Information
Expertise
Innovation
Reference Projects
Partners
Verified Systems International GmbH
Quality Assurance for Embedded Systems
Home
Company
Code Coverage Branch Monitor
The Code Coverage Branch Monitor (CCBM) is a set of utilities that allow instrumentation of C source code for the…
Read more …
RT-Tester
Verified’s RT-Tester is a test automation tool for automatic test generation, test execution and real-time test…
Read more …
RTT-DCC: Data & Control Coupling Analyser
Data coupling and control coupling analysis is a mandatory verification task for safety-critical avionics software…
Read more …
RTT-MBT: Frequently Asked Questions
Which modeling tools does RTT-MBT support? Currently, RTT-MBT supports PTC Integrity Modeler, Rational Rhapsody,…
Read more …
RTT-MBT: Model Based Testing
The RT-Tester Model Based Test Case and Test Data Generator (RTT-MBT) supports model-based testing (MBT), that is,…
Read more …
RTT-STO: Source-to-Object Code Analyser
Fact Sheet (1 page) Product Whitepaper (6 pages) Effective source-to-object code (STO) analysis for safety-critical…
Read more …
Test Engines
Cluster Architecture The test system cluster architecture is based on dual CPU or 4-CPU PCs acting as cluster nodes. The…
Read more …
