Verified Systems International GmbH

RT-Tester

Verified’s RT-Tester is a test automation tool for automatic test generation, test execution and real-time test evaluation. Some of RT-Tester’s major distinguishing features are

• One tool for all test levels: Unit testing, SW integration testing and HW/SW integration testing, as well as system tests can be performed with one and the same tool.

• Powerful stub generator for unit and SW integration testing: Sub-functions or methods called by the component under test can be automatically replaced by a test system stub with the same signature. Utilising the stub, call parameters are automatically recorded, and users can simulate different types of behaviour (e.g. normal range returns or erroneous behaviour, as needed in robustness tests) for these subordinate components.

• Model-based testing support: RT-Tester’s capabilities are fully integrated with several specification formalisms (UML 2.0, Domain-Specific Languages, CSP and others), in order to provide comprehensive support for model-based testing. Contact Verified Systems to inquire about the formalisms and tools currently supported, as well as for the full list of RT-Tester’s model-based testing functions.

• Interface abstraction mechanisms: For SW, HW/SW and system integration testing, interface access to the system under test (e.g., operating system communication calls or driver call to HW interfaces) can be abstracted by RT-Tester’s channel (message passing abstraction) and vector (distributed shared variable abstraction) mechanisms.

• High-performance multi-threading mechanism supporting complex distributed simulations: RT-Tester is equipped with its own run-time environment. Based on the light-weight process (LWP) mechanism of the underlying Windows or Linux operating system, RT-Tester manages configurable user threads on LWPs with low context switching overhead (less than 6 micro seconds on typical modern Linux PC systems).

• Hard real-time capabilities: On Linux multicore and/or multi CPU platforms, RT-Tester can be enhanced by means of our Hard Real-Time Linux kernel patch: A designated number of CPUs can be exclusively reserved for RT-Tester LWPs. This leads to a scheduling precision in the order of a few micro seconds. On the remaining cores or CPUs, other programs (e.g. soft real-time visualisation, preparation of test procedures) can be executed without interfering with the hard real-time run-time system.

• Distributed tests and simulations of Hard Real-Time PC Clusters: For HW/SW and system integration testing, the test stimulators, checkers (“test oracles”) and simulations can be not only distributed over several CPUs and cores, but also across PC cluster platforms, communicating via high-speed links, such as Infiniband or Giga-Bit Ethernet. This allows do distribute high-throughput interfaces to the system under test across several PC nodes, thereby reducing the interface bus load of each single node.

• Tool qualification in compliance with RTCA-Do178B/C

• Currently supported platforms of the core Tool are
  Linux: SuSE Linux, openSUSE, CentOS/RHEL, Ubuntu
  Windows: Windows XP SP3, Windows 7, Windows 10, Windows 11
  Kindly note that not all extensions may be available for all platforms; for specific questions contact support@verified.de.

News Feed

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

A complete list of all RT-Tester related announcements is available here.