This page contains powerpoint slides for the book Introduction to Software Testing by Paul Ammann and Jeff Offutt, Cambridge University Press. 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 ...
Archived slides ...
File Chapter Section Last Update Ch 1. Introduction Ch1-Introduction.ppt 1.1 Activities of a Test Engineer Nov 2010 " 1.2 Software Testing Limitations and Terminology " " 1.3 Coverage Criteria for Testing " " 1.4 Older Software Testing Terminology " modelDrivenTestDesign.pptx 1.1 Model-Driven Test Design Process
(Now included in Chapter 1's slides)
Oct 2008 Ch1-junit.ppt Oct 2011 Ch1-advancedJunit.ppt Apr 2011 Ch1-Intro-summary.ppt Jan 2008 New Slides to Replace Chapter 1 We are currently working on the second edition. A major change is to expand the old Chapter 1 into Part 1 with five
chapters. All chapter numbers will change in the new edition. Below are slides for four of these chapters. These were
class-tested in our MS-level course in software testing Fall 2011. Comments, questions, and corrections are welcome.
Ch01-whyTest.pptx 2nd Edition, Part 1, Ch 1: Why Test Software Aug 2012 Ch02-mdtd.pptx 2nd Edition, Part 1, Ch 2: Model-Driven Test Design Sep 2012 Ch03-automation.pptx 2nd Edition, Part 1, Ch 3: Test Automation Sep 2012 Ch05-criteria.pptx 2nd Edition, Part 1, Ch 5: Criteria-Based Test Design Sep 2011 The Remaining Slides Are for the First Edition Ch 2. Graph Testing Ch2-1-2-overviewGraphCoverage.ppt 2.1 Overview Sep 2012 " 2.2 Graph Coverage Criteria " Ch2-3-sourceCode.ppt 2.3 Graph Coverage for Source Code Mar 2013 Ch2-4-design.ppt 2.4 Graph Coverage for Design Elements Oct 2012 Ch2-5-spec.ppt 2.5 Graph Coverage for Specifications Oct 2012 Ch2-6-useCases.ppt 2.6 Graph Coverage for Use Cases Oct 2012 Ch2-7-graphAlg.ppt 2.7 Representing Graphs Algebraically Jan 2008 Ch 3. Logic Testing Ch3-1-2-overviewLogicExpr.ppt 3.1 Overview-Logic Predicates and Clauses Oct 2010 " 3.2 Logic Expression Coverage Criteria " Ch3-3-sourceLogic.ppt 3.3 Structural Logic Coverage of Programs Oct 2013 Ch3-4-specLogic.ppt 3.4 Specification-based Logic Coverage Nov 2012 Ch3-5-FSMLogic.ppt 3.5 Logic Coverage of Finite State Machines Nov 2012 Ch3-6-DNFCriteria.ppt 3.6 Disjunctive Normal Form Criteria Mar 2009 Ch 4. Input Space Partitioning Ch4-ISP.ppt 4.1 Input Domain Modeling Nov 2010 " 4.2 Combination Strategies Criteria " " 4.3 Constraints Among Partitions " Ch 5. Syntax-based Testing Ch5-1-overviewSyntax.ppt 5.1 Syntax-based Coverage Criteria Nov 2012 Ch5-2-source.ppt 5.2 Program-based Grammars Nov 2012 Ch5-3-integrateMut.ppt 5.3 Integration and Object-Oriented Testing Nov 2012 Ch5-4-modelBased.ppt 5.4 Specification-based Grammars Nov 2010 Ch5-5-inputs.ppt 5.5 Input Space Grammars Dec 2012 Ch 6. Practical Considerations Ch6-practical.ppt 6.1 Regression Testing Dec 2012 " 6.2 Integration and Testing " " 6.3 Test Process " " 6.4 Test Plans " " 6.5 Identifying Correct Outputs " Ch 7. Engineering Criteria for Technologies Ch7-1-ooAnalysis.ppt 7.1 Testing Object-Oriented Software Dec 2012 Ch7-2-webtest.ppt 7.2 Testing Web Applications and Web Services Dec 2012 TBD 7.3 Testing Graphical User Interfaces TBD 7.4 Real-time Software and Embedded Software Ch 8. Building Testing Tools Ch8-1-instrument.ppt 8.1 Instrumentation for Graph and Logical Expression Criteria Dec 2010 TBD 8.2 Building Mutation Testing Tools Ch 9. Challenges in Testing Software Ch9-1-emergent.ppt 9.1 Testing for Emergent Properties: Safety and Security Apr 2008 Ch9-2-testability.ppt 9.2 Software Testability Apr 2008 Ch9-3-future.ppt 9.3 Test Criteria and the Future of Software Testing April 2009 Summary CoverageSummary-lastlecture.ppt Coverage Summary Jan 2008