Verified Systems International GmbH

RT-Tester TMS (Test Management Server) 2.6.3 now available (bugfix)

A bugfix release is now available for all supported platforms.

This version provides a more robust database update script that can cope with a problem that can occur when upgrading older databases (see known issues of version 2.6.2). No functional TMS changes.

This version supports protocol versions 10 to 12 and requires project database schema 27.

Minimum required RTT-Plugin release: 1.6.6 (for all TMS features)
Minimum required RT-Tester release: 6.0-4.9.7

Bugfixes and Improvements

1. Improves robustness of database upgrade from schema version 26 to 27.

Latest Releases

• 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)
• RT-Tester 7.0.2 now available (maintenance)
• RTT-Plugin 1.6.9 now available (new feature)

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