Verified Systems International GmbH

Testing on Target: Concepts and Experiences (IQNITE 2010)

Testing on Target: Concepts and Experiences (Slides IQNITE2010)

Abstract

In this presentation we introduce a method and tool support for executing test logic partly on the embedded target hardware and partly on a separated host PC. The modifications of the target are minimally invasive, such that they preserve the integrity of the target with respect to time and memory resources to a large extent. The data-intensive part of the test is performed on the host PC, where time and memory resources can be inexpensively scaled up to meet demands.

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