What is Reactis?
Reactis® is an embedded-software design automation (ESDA) tool suite supporting the efficient production of high-quality control software. Reactis currently consists of three main components: Reactis Tester, Reactis Simulator, and Reactis Validator. Reactis Tester automatically generates test suites from Simulink®/Stateflow® models of embedded control software. The test suites provide comprehensive coverage of different test-quality criteria, while at the same time minimizing redundancy in tests. Reactis Simulator enables users to visualize execution of Simulink/Stateflow models. Simulator’s user interface is similar to those of traditional debuggers from programming languages: it enables users to execute their models step-by-step (or even block-by-block), as well as set breakpoints. Simulator can also: • step backwards through a simulation • enable controlled replay of tests generated by ReactisTester • present a graphical display of different coverage criteria • fine-tune Tester-gene
