Verified Systems International GmbH

RT-Tester TMS (Test Management Server) 2.5.2 now available (maintenance)

A maintenance release is now available for all supported platforms.

Minimum required RTT-Plugin release: 1.6.2
Minimum required RT-Tester release: 6.0-4.9.7

New Features

1. Add support for SSL encryption of logging connections.

Bugfixes and Improvements

1. TMS Logging no longer print the password in cleartext in the TMS server log file.
2. The setting dhparams was moved to section [network] of rtt-tms.conf

Latest Releases

• RT-Tester 7.0.5 now available (maintenance)
• WARNING: Major bug in RT-Tester 7.0.4 may ignore error-timeout of cluster tests
• RT-Tester 7.0.4 now available (maintenance)
• RT-Tester 7.0.3 now available (maintenance)
• RTT-Plugin 1.6.10 now available (bugfix only)

Publications

• Presentation at Space Tech Expo Europe, Bremen
• EU Innovation Radar Prize - Runner-up Trophy for Verified Systems International!
• Nomination for EU Innovation Radar prize, 2015
• Testing on Target: Concepts and Experiences (IQNITE 2010)
• RT-Tester Bounded Model Checker Verifies Interlocking System Components