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

FileChapter SectionLast Update
1. Introduction
Ch1-Introduction.ppt   1.1 Activities of a Test Engineer17-Aug-2009
"   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.ppt26-Mar-2008
Ch1-Intro-summary.ppt3-Jan-2008
2. Graph Testing
Ch2-1-2-overviewGraphCoverage.ppt   2.1 Overview30-May-2008
"   2.2 Graph Coverage Criteria"
Ch2-3-sourceCode.ppt   2.3 Graph Coverage for Source Code23-Mar-2009
Ch2-4-design.ppt   2.4 Graph Coverage for Design Elements3-Jan-2008
Ch2-5-spec.ppt   2.5 Graph Coverage for Specifications3-Jan-2008
Ch2-6-useCases.ppt   2.6 Graph Coverage for Use Cases3-Jan-2008
Ch2-7-graphAlg.ppt   2.7 Representing Graphs Algebraically3-Jan-2008
3. Logic Testing
Ch3-1-2-overviewLogicExpr.ppt   3.1 Overview-Logic Predicates and Clauses30-Mar-2009
"   3.2 Logic Expression Coverage Criteria"
Ch3-3-sourceLogic.ppt   3.3 Structural Logic Coverage of Programs05-Mar-2009
Ch3-4-specLogic.ppt   3.4 Specification-based Logic Coverage3-Jan-2008
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
4. Input Space Partitioning
Ch4-ISP.ppt   4.1 Input Domain Modeling25-Mar-2009
"   4.2 Combination Strategies Criteria"
"   4.3 Constraints Among Partitions"
5. Syntax-based Testing
Ch5-1-overviewSyntax.ppt   5.1 Syntax-based Coverage Criteria3-Jan-2008
Ch5-2-source.ppt   5.2 Program-based Grammars3-Jan-2008
Ch5-3-integrateMut.ppt   5.3 Integration and Object-Oriented Testing13-Nov-2008
Ch5-4-modelBased.ppt   5.4 Specification-based Grammars8-Apr-2008
Ch5-5-inputs.ppt   5.5 Input Space Grammars13-Oct-2008
6. Practical Considerations
Ch6-practical.ppt   6.1 Regression Testing15-Apr-2008
"   6.2 Integration and Testing"
"   6.3 Test Process"
"   6.4 Test Plans"
"   6.5 Identifying Correct Outputs"
7. Engineering Criteria for Technologies
Ch7-1-ooAnalysis.ppt   7.1 Testing Object-Oriented Software20-Nov-2008
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 
8. Building Testing Tools
Ch8-1-instrument.ppt   8.1 Instrumentation for Graph and Logical Expression Criteria3-Jan-2008
TBD   8.2 Building Mutation Testing Tools 
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.