• Lecture 1 (6 slides per page)
• Lecture 1 (1 slide per page)
• Lecture 1 quiz answers

• Chapters 1 (“Software Test and Analysis in a Nutshell”) and 2 (“A Framework for Test and Analysis”) of Pezzè and Young.
• Whittaker's What is Software Testing? And Why is it so Hard? provides a gentle introduction to the area.

• Lecture 2 (6 slides per page)
• Lecture 2 (1 slide per page)

• JUnit Test Infected is an introduction to JUnit.
• An O'Reilly article on using JUnit with Eclipse
• An NCSU Open Lab article on using JUnit with Eclipse

• Lecture 3 (6 slides per page)
• Lecture 3 (1 slide per page)

• Kapfhammer's chapter on Software Testing provides a more detailed survey of the area.
• Harold's Testing: a roadmap provides a good overview of recent research directions in testing.
• Chapters 4 (“Test and Analysis Activities within a Software Process”) and 20 (“Planning and Monitoring the Process”) of P&Y.

• Lecture 4 (6 slides per page)
• Lecture 4 (1 slide per page)

• Chapter 10 (“Functional Testing”) of P&Y.
• Ostrand and Balcer's classic paper on The category-partition method for specifying and generating functional tests.

• Lecture 5 (6 slides per page)
• Lecture 5 (1 slide per page)
• Category-partition testing “cat” (6 slides per page)
• Category-partition testing “cat” (1 slide per page)

• P&Y chapter 11 (“Combinatorial Testing”).
• P&Y chapter 5 (“Finite Models”).
• P&Y chapter 14 (“Model-Based Testing”).
• Harel on Statecharts.
• Rushby on model checking.

• Lecture 6 (6 slides per page)
• Lecture 6 (1 slide per page)
• Lecture 6 coverage quiz sheet (two slides from main set)

• P&Y chapter 12 (“Structural Testing”).
• Zhu et al.'s survey of unit test coverage.

• Lecture 7 (6 slides per page)
• Lecture 7 (1 slide per page)

• P&Y chapters 6 (“Dependence and Data Flow Models”) and 13 (“Data Flow Testing”).
• Frankl & Weyuker's paper on data flow testing criteria.

• Lecture 8 (6 slides per page)
• Lecture 8 (1 slide per page)
• Lecture 8 coverage quiz sheet (four slides from main set)

• Chapter 9 (“Test Case Selection and Adequacy”) of P&Y discusses a significant thread of this lecture.
• Clarke et al.'s Formal Evaluation of Data Flow Path Selection Criteria
• Clarke et al.'s Comparison of Data Flow Path Selection Criteria (!)
• Ntafos' Comparison of Some Structural Testing Strategies
• Rapps & Weyuker's Data Flow Analysis Techniques for Test Data Selection

I'll be away this week. Take advantage of the break to finish practical 1 and start practical 2!

• Lecture 9 (6 slides per page)
• Lecture 9 (1 slide per page)
• Lecture 9 quiz discussion

• Chapter 16 (“Fault-Based Testing”) of P&Y.
• Ma et al.'s MuJava: an automated class mutation system
• Offutt et al.'s An experimental determination of sufficient mutant operators

• Lecture 10 (6 slides per page)
• Lecture 10 (1 slide per page)

• Chapter 21 (“Integration and Component-based Software Testing”) and the beginning of chapter 15 (“Testing Object-Oriented Software”) of P&Y.
• Lutz, Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems
• Offutt et al., An analysis tool for coupling-based integration testing

• Lecture 11 (6 slides per page)
• Lecture 11 (1 slide per page)

• Chapter 22 (“System, Acceptance, and Regression Testing”) of P&Y.

• Lecture 12 (6 slides per page)
• Lecture 12 (1 slide per page)

• Joseph Bergin's article on XP Testing a GUI with FIT, Fitnesse, and Abbot.
• The Abbot Java GUI Test Framework.
• Memon et al., Coverage criteria for GUI testing.
• GUI Testing Checklist.

• Lecture 13 (6 slides per page)
• Lecture 13 (1 slide per page)

• Chapter 22 (“System, Acceptance, and Regression Testing”) of P&Y.

• Lecture 14 (6 slides per page)
• Lecture 14 (1 slide per page)

• Course review slides

Revision Session in AT5.05

• Work sheet (from 2007-8 exam)
• Outline solution, from class
• Another version, prepared earlier

Revision Session in AT5.05

Revision Session in AT5.05