Corrections
The errata page provides corrections to the errors we know about so far.
If you believe you have found another error in the text, please email us with the page number(s) and a description of the error and/or suggested correction.
Materials for Instructors
Solutions Manual
A solutions manual is available to instructors. Please contact us and include a URL at your institution that identifies you and includes your email address.
Hints for Teaching
Do you have a teaching approach or experience to share with other instructors using this text? A good exercise? An example that helped communicate an important idea? Share them!
Slides
Slides to accompany the text are available as PowerPoint and as 4-up handouts in PDF.
- Chapter 1 : SW A&T in a Nutshell [ppt | pdf ]
- Chapter 2 : A Framework for A&T [ppt | pdf ]
- Chapter 3 : Basic Principles [ppt | pdf ]
- Chapter 4 : A&T within a SW Process [ppt | pdf ]
- Chapter 5 : Finite Models [ppt | pdf ]
- Chapter 6 : Dependence and Data Flow Models [ppt | pdf ]
- Chapter 7 : Symbolic Execution & Proof [ppt | pdf ]
- Chapter 8 : Finite State Verification [ppt | pdf ]
- Chapter 9 : Test Case Selection & Adequacy [ppt | pdf ]
- Chapter 10 : Functional Testing [ppt | pdf ]
- Chapter 11 : Combinatorial Testing
[ppt |
pdf
]
with thanks to Renee Bryce for her version of Chapter 11 slides. - Chapter 12 : Structural Testing [ppt | pdf ]
- Chapter 13 : Data Flow Testing [ppt | pdf ]
- Chapter 14 : Model-Based Testing [ppt | pdf ]
- Chapter 15 : Testing Object-Oriented Software [ppt | pdf ]
- Chapter 16 : Fault-Based Testing [ppt | pdf ]
- Chapter 17 : Test Execution [ppt | pdf ]
- Chapter 19 : Program Analysis [ppt | pdf ]
- Chapter 20 : Planning & Monitoring [ppt | pdf ]
- Chapter 21: Integration & Component-based Software Testing [ppt | pdf ]
- Chapter 22: System, Acceptance, & Regression Testing [ppt | pdf ]
- Chapter 23 : Automating Analysis & Test [ppt | pdf ]
- Chapter 24 : Documenting Analysis & Test [ppt | pdf ] + samples (zip archive).
Labs
U. Lugano 2015
This laboratory project was used in Universita della Svizzera italiana (U. Lugano) in 2015.
Contribute
We welcome labs and exercises from other instructors. Contact us!
Useful Web Sites
- Open Source Testing Tools links to a variety of tools that are available to students. Some are useful for classroom and project use, others less so.
- Pairwise.org is a site devoted to pairwise (combinatorial) testing. It lists several tools (both commercial and open source) and links to some articles.
- Spin is an open-source, explicit state model checker. It is widely used, and is the example model checker in Chapter 8. In our experience it can be used for classroom projects, but students need a lot of guidance to build appropriately abstract models.
- Alloy is the name of a notation and a checker for that notation. The current version of the Alloy Analyzer uses a different notation than that described in Chapter 8. Others have used Alloy in courses.
Want to suggest a site of use to students, instructors, and/or practitioners? Let us know! We don't promise to take all suggestions, but we do appreciate your help.