4 Advanced Implementation Testing
The automatic test-generation and execution offered by Reactis enables
engineers to easily check whether an implementation conforms to the behavior
specified in a model.
The benefits of model debugging and validation have been discussed above. A
question that immediately presents itself is: How can the effort expended on
these activities be “reused” to support the testing of system implementations?
This is the question addressed in this section.
| 
