Buch, Englisch, 366 Seiten, Format (B × H): 182 mm x 240 mm, Gewicht: 740 g
Buch, Englisch, 366 Seiten, Format (B × H): 182 mm x 240 mm, Gewicht: 740 g
ISBN: 978-0-521-88655-0
Verlag: Cambridge University Press
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Part I. Overview: 1. Describe, analyze, test; 2. Why we need model-based testing; 3. Why we need model-based analysis; 4. Further reading; Part II. Systems with Finite Models: 5. Model programs; 6. Exploring and analyzing finite models; 7. Structuring model programs with features and composition; 8. Testing closed systems; 9. Further reading; Part III. Systems with Complex States: 10. Modeling systems with structured state; 11. Analyzing systems with complex state; 12. Testing systems with complex state; 13. Further reading; Part IV. Advanced Topics: 14. Compositional modeling; 15. Modeling objects; 16. Reactive systems; 17. Further reading; Part V. Appendices: A. Modeling library reference; B. Command reference; C. Glossary; D. Index.