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
- Veröffentlicht am
- Aug 31, 2005
- Sprache
- English
- Kategorie
- Computer & Internet
- Copyright
- Alle Rechte vorbehalten - Standard-Urheberrechtslizenz
- Autoren/Mitwirkende
- Von (Autor): Reactive Systems
Spezifikationen
- Seiten
- 103
- Bindung
- Paperback Paperback
- Farbe für den Innenteil des Buches
- schwarz & weiß
- Abmessungen
- US Brief (8,5 x 11 Zoll / 216 x 279 mm)