Verified Systems International GmbH

RT-Tester TMS (Test Management Server) 2.5.1 now available (new feature)

A new feature 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 configurable password security policy for users accounts created for a TMS projects.
2. Allow to define SSL parameters for encrypted TMS connection.

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