Reactis

Reactis is a software tool developed by Reactive Systems for automated testing of embedded software. It is designed to aid in the verification and validation of control software, particularly in industries like automotive, aerospace, and industrial automation. Reactis operates by simulating the execution of the target embedded software on a simulated model of the control system.

The core functionality of Reactis involves generating test cases automatically. These test cases are typically derived from either manually authored test scenarios or from a formal specification of the software's behavior. Reactis can then execute these tests against the simulated software, identifying any deviations from expected behavior. This process helps to uncover bugs and ensure that the software meets its requirements.

Reactis supports a variety of testing techniques, including unit testing, integration testing, and system testing. It can also perform regression testing to ensure that new code changes do not introduce unintended side effects. The tool is capable of analyzing test coverage, providing insights into how thoroughly the software has been exercised.

Key features of Reactis include its ability to handle complex control logic, its integration with various modeling tools, and its support for different target environments. The tool aims to improve the efficiency and effectiveness of embedded software testing, ultimately leading to more reliable and robust control systems. It is used by engineers to reduce development costs and accelerate time-to-market.