Overview | Reactis for C Tester | Reactis for C Simulator | Reactis for C Validator | Finding and Fixing Runtime Errors | Regression Testing | Synergy with Reactis for Simulink | Conclusions Evaluation Sales Brochure Automated Testing and Validation Combining Reactis for C with Reactis for Simulink in a model-based development process produces synergistic benefits. Engineers performing model-based design using Simulink®/ Stateflow® as a design tool and C as an implementation language can benefit significantly from using Reactis for C in combination with its sibling product, Reactis for Simulink. Figure 18: Validating a C program developed from a Stateflow/Simulink model. Synergistic benefits occur when test suites are shared between both versions of Reactis. There are two basic use-case scenarios. The first case is shown in Figure 18, which depicts the work-flow in a typical model-based development environment. In this scenario, the conformance of an implementation to a model can be checked by generating a test suite using Reactis for Simulink, and then testing the implementation against the test suite with Reactis for C. Figure 19: Validating a Stateflow/Simulink model developed from legacy C code. Figure 19 shows the work-flow when using both Reactis products to support the reverse engineering of models from legacy C code. In this scenario, the conformance of the model to the legacy implementation can be checked by generating a test suite from the implementation using Reactis for C, and then testing the model against the test suite using Reactis for Simulink. Try Or Buy Get a Free Trial Evaluate Ready to Buy? Contact Sales