Cary, NC (December 20, 2011) -- Today Reactive Systems, Inc. announced the V2011.2 release of its Reactis® testing and validation package for Simulink®/Stateflow® models. The new version includes many exciting new features including new flexibility for tracking coverage, stepping backwards through C code a statement at a time, and searching through thousands of test steps with the click of a button. For details see the V2011.2 release announcement.
About Reactis. Reactis provides automated test-generation and model-validation capabilities for Simulink/Stateflow models of control software. The tool can be used to test for conformance between a model and implementation code, and it can also be employed to validate model behavior. Reactis is used at dozens of companies worldwide in the automotive, aerospace, and heavy equipment industries.
About Reactive Systems. Reactive Systems, founded in 1999,
is a privately held company with offices in Cary, NC and Nagoya,
Japan. The company offers tools and services to help improve software
quality while reducing development costs. For more information visit
www.reactive-systems.com or call +1-919-324-3507.