Model-Based Testing and Validation with Reactis®

2.3  Reactis Validator

Reactis Validator performs automated searches of models for violations of user-specified requirements. If Validator finds a violation, it returns a test that leads to the problem. This test may then be executed in Reactis Simulator to gain an understanding of the sequence of events that leads to the problem. Validator enables the early detection of design errors and inconsistencies and reduces the effort required for design reviews. Some checks that may be performed with Validator include the following.

• Will a variable’s value ever fall outside a desired range?
• Will a car’s cruise-control maintain vehicle speed within acceptable limits of the set speed?
• Will a plane’s thrust reversers ever engage when the aircraft is airborne?
• Will an x-ray machine ever deliver a dangerous dose of radiation?
• Will a cellular phone “hang” when moved from a non-serviced into a serviced area?