Finding runtime errors.
The tests help uncover runtime errors in C programs, including memory errors, overflows, and divide-by- zero errors.
Regression testing.
When a program is modified, tests generated from the older version may be run on the newer version to understand the impact of the changes on program behavior.
Reactis Tester enables engineers to maximize the effectiveness of testing while reducing the time actually spent on testing.
The embedded software applications that Reactis for C initially targets are reactive control systems, which typically operate as depicted in Figure 3. Such systems use a control loop to interact with their external environment, which consists of the following steps:
- Read one or more input values from environment.
- Perform internal calculations based on the input values and the internal system state.
- Update outputs to control the environment.
- Repeat.