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 ...

FileChapter SectionLast Update
Ch 1. Introduction
Ch1-Introduction.ppt   1.1 Activities of a Test Engineer8-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) 		16-Oct-2008
Ch1-junit.ppt25-Oct-2011
Ch1-advancedJunit.ppt19-Apr-2011
Ch1-Intro-summary.ppt3-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.pptx2nd Edition, Part 1, Ch 1: Why Test Software20-Sep-2011
Ch02-mdtd.pptx2nd Edition, Part 1, Ch 2: Model-Driven Test Design20-Sep-2011
Ch03-automation.pptx2nd Edition, Part 1, Ch 3: Test Automation25-Oct-2011
Ch05-criteria.pptx2nd Edition, Part 1, Ch 5: Criteria-Based Test Design20-Sep-2011
   
The Remaining Slides Are for the First Edition
Ch 2. Graph Testing
Ch2-1-2-overviewGraphCoverage.ppt   2.1 Overview27-Sep-2010
"   2.2 Graph Coverage Criteria"
Ch2-3-sourceCode.ppt   2.3 Graph Coverage for Source Code27-Sep-2010
Ch2-4-design.ppt   2.4 Graph Coverage for Design Elements3-Jan-2008
Ch2-5-spec.ppt   2.5 Graph Coverage for Specifications27-Sep-2010
Ch2-6-useCases.ppt   2.6 Graph Coverage for Use Cases3-Jan-2008
Ch2-7-graphAlg.ppt   2.7 Representing Graphs Algebraically3-Jan-2008
Ch 3. Logic Testing
Ch3-1-2-overviewLogicExpr.ppt   3.1 Overview-Logic Predicates and Clauses13-Oct-2010
"   3.2 Logic Expression Coverage Criteria"
Ch3-3-sourceLogic.ppt   3.3 Structural Logic Coverage of Programs19-Oct-2011
Ch3-4-specLogic.ppt   3.4 Specification-based Logic Coverage19-Oct-2010
Ch3-5-FSMLogic.ppt    3.5 Logic Coverage of Finite State Machines05-Mar-2009
Ch3-6-DNFCriteria.ppt   3.6 Disjunctive Normal Form Criteria18-Mar-2009
Ch 4. Input Space Partitioning
Ch4-ISP.ppt   4.1 Input Domain Modeling1-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 Criteria8-Nov-2011
Ch5-2-source.ppt   5.2 Program-based Grammars6-April-2011
Ch5-3-integrateMut.ppt   5.3 Integration and Object-Oriented Testing15-Nov-2010
Ch5-4-modelBased.ppt   5.4 Specification-based Grammars15-Nov-2010
Ch5-5-inputs.ppt   5.5 Input Space Grammars13-Oct-2008
Ch 6. Practical Considerations
Ch6-practical.ppt   6.1 Regression Testing3-Dec-2010
"   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 Software7-Dec-2010
Ch7-2-webtest.ppt   7.2 Testing Web Applications and Web Services11-Aug-2008
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 Criteria7-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 Security23-Apr-2008
Ch9-2-testability.ppt   9.2 Software Testability29-Apr-2008
Ch9-3-future.ppt   9.3 Test Criteria and the Future of Software Testing29-April-2009
Summary
CoverageSummary-lastlecture.pptCoverage Summary3-Jan-2008
 
Last update: 3 January, 2008.