|
Validator, the model-validation component of Reactis, uses a "test and check" approach for verifying models. Users first instrument their models with checks that monitor whether model behavior is consistent with expectations. Validator then uses the test-generation component of Tester to create and run test data to see if any checks can be violated. These tests can then be used to diagnose the cause of any abnormal behavior detected. Checks can be as simple as monitoring range constraints on individual signals or as complicated as determining whether or not a model satisfies a system-level requirement. Validator gives users two means for defining checks: as simple textual expressions similar to the "assert" capabilities found in programming languages, and as Simulink / Stateflow models. In the latter case the models implementing checks are intended to monitor the behavior of the controller model and raise flags if any violations are uncovered. |
 |
| ||||
