An introductory one semester graduate level course. 3 credit hours. Aimed at graduate students. Prerequisites: Required: Graduate standing with a firm foundation in core Computer Science; Recommended: Software Engineering.

Note: This course needs to adapt to the bacground of the students. It is likely that most graduate students would not have had a c ourse in software testing at the undergraduate level. In that case the course needs to cover the topics in the undergraduate course, but at a faster pace. In addition, topics in model-based testing should also be covered. The syllabus given here assumes no previous background in software testing.

• Familiarization with basic terminology in software testing.
• Familiarization with advanced techniques for test generation and adequacy measurement.
• Provide students an opportunity to get familiarized with testing literature in a specific area through independent reading of selected research publications.

Preliminaries: Overview of testing preliminaries; Test generation from requirements: Equivalence partitioning, boundary value analysis, category partitioning; fault model for predicates, BOR, BRO, and BRE methods; limitations of test generation from requirements. Test generation from Models and formal specifications: finite state machines, statecharts, Z specifications, and timed automata, combinatorial designs; Test adequacy assessment: Adequacy criteria, control flow based criteria, data flow based criteria, mutation based criteria; adequacy as a stopping criterion, adequacy as a tool for test enhancement.

Assumption: 1 Lecture=45 minutes. 1 Semester=16 weeks. 3 lectures/week.

It is highly recommended that this course assign independent readings to each student. An assignment consists of 3-4 recent research publications in a specific area of software testing. Sample areas: regression testing, coverage directed test generation, and security testing. It is best to ask each student to select a list of publications which is then approved by the instructor, possibly after revision.

Each student prepares a brief report summarizing the publications readc and makes a 45 minute presentation. While the report ought to cover all the material read, the presentation could focus on specific aspects of the material so as to offer the rest of the class to learn something not covered during the lectures. Grading is based on the report and the presentation.

Latest update: November 21, 2005