This page contains powerpoint slides for the second edition of the book Introduction to Software Testing by Paul Ammann and Jeff Offutt. These slides are available for instructors, students, and readers of the book. The authors reserve the copyright on all slides, but grant permission for them to be used for educational purposes. The slides can be modified as long as the copyright and reference to the footnote remains intact.

Some of these slides make substantial use of PPT slide animation, so be sure to go through them at least once before class to check the timing.

The authors welcome corrections, updates and additions. We will be glad to credit any contributors to these slides. New versions of slides will have the dates marked in red for a few months.

Jeff Offutt & Paul Ammann
Back to the book website ...

FileChapter or SectionLast Update
Part 1. Overview
Ch01-whyTest.pptx2nd Edition, Part 1, Ch 01: Why Test SoftwareJuly 2014
Ch02-mdtd.pptx2nd Edition, Part 1, Ch 02: Model-Driven Test DesignJuly 2014
Ch03-automation.pptx2nd Edition, Part 1, Ch 03: Test AutomationJuly 2014
Ch04-agiletest.pptx2nd Edition, Part 1, Ch 04: Putting Testing FirstAugust 2014
Ch05-criteria.pptx2nd Edition, Part 1, Ch 05: Criteria-Based Test DesignJuly 2014
Part 2. Criteria-Based Testing
Ch 6. Input Space Partitioning
2nd Edition, Part 2, Ch 06.1-3: Input Domain Modeling
Ch 06.1-3 “active” version
September 2015
September 2016
Ch06-4-ISPinClassExercise.pptx2nd Edition, Part 2, Ch 06.4: Extended ExampleOctober 2014
Ch 7. Graph Testing
2nd Edition, Part 2, Ch 07.1-2: Graph Coverage Criteria
Ch 07.1-2 “active” version
October 2016
October 2016
2nd Edition, Part 2, Ch 07.3: Graph Coverage for Source Code
Ch 07.3 “active” version
March 2016
March 2016
Ch07-4-design.pptx2nd Edition, part 2, Ch 07.4: Graph Coverage for Design ElementsJuly 2014
Ch07-5-spec.pptx2nd Edition, Part 2, Ch 07.5: Graph Coverage for SpecificationsJuly 2016
Ch07-6-useCases.pptx2nd Edition, Part 2, Ch 07.6: Graph Coverage for Use CasesJuly 2014
Ch 8. Logic Testing
Ch08-1-overviewLogicExpr.pptx2nd Edition, Part2, Ch 08.1-2: Overview & Semantic Logic Coverage CriteriaOctober 2014
Ch08-2-DNFCriteria.pptx2nd Edition, Part 2, Ch 08.2: Syntactic Logic Coverage CriteriaApril 2017
Ch08-3-sourceLogic.pptx2nd Edition, Part 2, Ch 08.3: Structural Logic Coverage of ProgramsNovember 2016
Ch08-4-specLogic.pptx2nd Edition, Part 2, Ch 08.4: Specification-based Logic CoverageJuly 2014
2nd Edition, Part 2, Ch 08.5: Logic Coverage of Finite State Machines
Ch 08.5 “active” version
November 2016
November 2016
Ch 9. Syntax-based Testing
Ch09-1-overviewSyntax.pptx2nd Edition, Part 2, Ch 09.1: Syntax-based Coverage CriteriaJuly 2014
2nd Edition, Part 2, Ch 09.2: Program-based Grammars
Ch 09.2 “active” version
June 2016
June 2016
Ch09-3-integrateMut.pptx2nd Edition, Part 2, Ch 09.3: Integration and Object-Oriented TestingJuly 2014
Ch09-4-modelBased.pptx2nd Edition, Part 2, Ch 09.4: Specification-based GrammarsJuly 2014
Ch09-5-inputs.pptx2nd Edition, Part 2, Ch 09.5: Input Space GrammarsJuly 2014
Part 3
Part 4
Last update: 23 June, 2014.