|
Reactis relies on the use of structural coverage criteria to generate test data automatically. The tool also includes features that allow users to influence the test data that is created. User-defined targets provide support for automating functional and requirement-based testing. To use this feature of Reactis, users first instrument their models with descriptions of abstract test scenarios that Reactis should create concrete test data for. These scenarios can be simple ("generate a test in which the cruise control remains active for at least 30 seconds") or more complex ones defining an entire use case for the model. The test-data generator in Reactis then computes concrete test data for these test scenarios. User-defined targets are specified in the same manner that Validator checks are. Reactis Simulator includes an array of features for users to execute and modify tests, including: breakpoints, reverse execution, and interactive data entry and viewing. These capabilities provide automated support for users to create their own tests. |
 |
| ||||
