|
Reactis 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 tests to see if any checks can be violated. Any failed check yields a test which can then be executed in Reactis Simulator to diagnose the cause of any abnormal behavior. Reactis for C Plugin extends this capability to the C code portions of models. |
 |
| ||||
