Reactis V2003.1.9 Generates MC/DC Tests
Falls Church, VA (September 29, 2003) -- Reactive Systems, Inc. (RSI) announced the V2003.1.9 (beta) release of its Reactis™ embedded-software design automation tool today. The release marks the first public availability of support for the Modified Condition/Decision Coverage (MC/DC) test coverage measure. MC/DC is the level of testing for the "most safety-critical" components of aviation software mandated by the Federal Aviation Administration (FAA) in its DO-178/B guidelines.
The new MC/DC facility enhances both Reactis Tester and Reactis Simulator. Tester now includes MC/DC as one of the coverage objectives that drive its test-generation algorithm. This means that, given a Simulink®/Stateflow® model, Tester automatically generates a test suite with the goal of maximizing the level of MC/DC coverage attained by the tests.
Reactis Simulator has also been extended to offer flexible and easy-to-understand reports to indicate which MC/DC targets have been exercised and which have not.
"We feel that the the combination of automatically generated MC/DC test data and comprehensive reporting of how the MC/DC coverage is realized presents a tremendous opportunity for our customers to cut their DO-178/B certification costs using Reactis," said Rance Cleaveland, CEO of Reactive Systems. Cleaveland added that he expected the new MC/DC facility to also greatly benefit customers who do not have certification requirements. These customers can find "extremely subtle modeling and programming errors since the automatically-generated MC/DC tests exercise the model and software so thoroughly."
RSI is a privately held company headquartered in Falls Church, Virginia. The
company is commercializing basic research initially carried out at SUNY at
Stony Brook and the Naval Research Laboratory with the help of $10 million in
Federal research funding.
|Reactive Systems, Inc.|
|120-B E. Broad St.|
|Falls Church, VA 22046 USA|
|+1 (703) 752-0928 (voice), +1 (703) 637-7101 (fax)|
Reactis is a trademark of Reactive Systems, Inc. Simulink and Stateflow are registered trademarks of The MathWorks, Inc.