This page contains video materials for the book Introduction to Software Testing by Paul Ammann and Jeff Offutt, Cambridge University Press. These videos are available for instructors, students and readers of the book. The authors reserve the copyright on all videos we created, but grant permission for them to be used for educational purposes.

The authors welcome corrections, updates and additions. Specifically, if you create a similar video for a section in the book, we will be happy to post it here, with all due credit.

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

VideoChapter Section & NotesPosted

The first seven videos are recorded lectures for Chapter 3 (Logic), sections 1, 2, and 3. They are voice over powerpoint, originally prepared fall 2012 to support a "flipped classroom." The slides are the same as posted on the powerpoint page, but broken into 15 to 20 minute segments. In our class, we have the students view the lectures the week before class, then we assign problems and work them in class. These videos were created by Offutt with Camtasia as integrated with Powerpoint.

Ch3-1.mp4 Recorded lecture of chapter 3, section 1Oct 2013
Ch3-2I.mp4 Recorded lecture of chapter 3, section 2, part IOct 2013
Ch3-2II.mp4 Recorded lecture of chapter 3, section 2, part IIOct 2013
Ch3-2III.mp4 Recorded lecture of chapter 3, section 2, part IIIOct 2013
Ch3-3I.mp4 Recorded lecture of chapter 3, section 3, part IOct 2013
Ch3-3II.mp4 Recorded lecture of chapter 3, section 3, part II
Note typo on slide 7, the second test requirement for c (row 11), should be "f t F t."
Oct 2013
Ch3-3III.mp4 Recorded lecture of chapter 3, section 3, part IIIOct 2013

The next five videos also support Chapter 3 (Logic). They illustrate how to solve specific problems as a dialog between a professor (Ammann) and a student (Ross Bragg). The videos were recorded with the ipad app ShowMe.

DeterminationA.mp4 (local)
Streaming (at ShowMe.com)
Determination with truth tablesOct 2013
ACC.mp4 (local)
Streaming (at ShowMe.com)
Active clause coverageOct 2013
ICC.mp4 (local)
Streaming (at ShowMe.com)
Inactive clause coverageOct 2013
DeterminationK.mp4 (local)
Streaming (at ShowMe.com)
Determination with Karnaugh mapsOct 2013
CUTPNFP.mp4 (local)
Streaming (at ShowMe.com)
CUTPNFP exampleOct 2013
Last update: 9 October, 2013.