Model-Based Testing and Validation with Reactis®

6  Conclusions

In this paper we have described several ways that the Reactis for C tool suite helps find bugs in C code. We discussed how the comprehensive yet compact test suites produced by Reactis Tester can dramatically reduce the costs uncovering runtime errors in your code. The advanced debug capabilities of Reactis Simulator help understand, diagnose, and fix bugs. Reactis Validator lets you find any execution sequences of your program that violate its requirements (including safety properties). By automating tasks that currently require significant manual effort, Reactis cuts development costs. By enabling more thorough testing and validation to be undertaken, it also enables errors to be detected and fixed before systems are fielded and therefore cuts recall and liability costs.

Reactis for C will enter beta test in early 2010 and is scheduled for release in mid-2010. Please see Reactive Systems, Inc.’s web site at www.reactive-systems.com for ordering information and for instructions on how to download a free 30-day evaluation copy of the software.