Siirry suoraan sisältöön
Model-Based Testing of Reactive Systems
Tallenna

Model-Based Testing of Reactive Systems

The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.
Alaotsikko
Advanced Lectures
Painos
2005 ed.
ISBN
9783540262787
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
27.6.2005
Sivumäärä
664