10/6/2003 - Reactive Systems, Inc. (RSI) announced the V2003.1.9 (beta) release of its ReactisTM embedded-software design automation tool. 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.
Reactis is a trademark of Reactive Systems, Inc. Simulink and Stateflow are registered trademarks of The MathWorks, Inc.
Previous Page | News by Category | News Search
If you found this page useful, bookmark and share it on: