This hands-on course teaches model-based testing and validation using Reactis. Reactis can automatically generate high-quality test data from Simulink and Stateflow models; check user-specified requirements on such models; and support the interactive analysis of model behavior.
Details
- Publication Date
- Aug 31, 2005
- Language
- English
- Category
- Computers & Technology
- Copyright
- All Rights Reserved - Standard Copyright License
- Contributors
- By (author): Reactive Systems
Specifications
- Pages
- 103
- Binding Type
- Paperback Perfect Bound
- Interior Color
- Black & White
- Dimensions
- US Letter (8.5 x 11 in / 216 x 279 mm)