2 Why We Need Model-Based Testing

vi Contents
2.7 Some simple scenarios 25
2.8 A more complex scenario 27
2.9 Failures in the field 28
2.10 Failures explained 29
2.11 Lessons learned 29
2.12 Model-based testing reveals the defect 30
2.13 Exercises 31
3 Why We Need Model-Based Analysis 32
3.1 Reactive system 32
3.2 Implementation 34
3.3 Unit testing 41
3.4 Failures in simulation 44
3.5 Design defects 46
3.6 Reviews and inspections, static analysis 47
3.7 Model-based analysis reveals the design errors 47
3.8 Exercises 52
4 Further Reading 53
II Systems with Finite Models
5 Model Programs 57
5.1 States, actions, and behavior 57
5.2 Case study: user interface 59
5.3 Preliminary analysis 61
5.4 Coding the model program 64
more free ebooks download links at:
http://www.ebook-x.com