Gå direkte til innholdet
Model-Based Testing of Reactive Systems
Spar

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.
Undertittel
Advanced Lectures
Opplag
2005 ed.
ISBN
9783540262787
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
27.6.2005
Antall sider
664