CS 206
Testing and Verification Techniques in Software Engineering
Instructor: Rajiv Gupta
Office: 408 EBU II
Tele: 951-827-2558
Email: gupta@cs.ucr.edu
Instructor's Office Hours: 10:00-11:00AM, Tuesday-Thursday and by appointment
Grader: Changhui Lin
Office: 463 EBU II
Tele: 951-827-2001
Email: linc@cs.ucr.edu
Class Meeting Times: 11:10-12:30AM, Tuesday-Thursday, EBU II 141
Class Homepage: http://www.cs.ucr.edu/~gupta/teaching/206-09/
(Chapter 2) Homework 1: Handed Out: Oct. 6; Due Date: Oct. 15.
(Chapter 3) Homework 2 Handed Out: Oct. 15; Due Date: Oct. 22
(Project) Homework 3 Handed Out: Oct. 22; Due Date: Nov. 19
(Chapter 6) Homework 4 Handed Out: Oct. 29; Due Date: Nov. 5
|
Syllabus
- Software Testing
- Test Generation: from Requirements; from Finite State Machines
- Test Adequacy: Assessment Using Control and Data Flow; Enhancement Using Mutation
- Regression Testing: Test Selection, Minimization, and Prioritization
- Software Debugging
- Fault Location Via Dynamic Slicing
- Fault Location Via State Alteration
Text book
- Aditya P. Mathur. Foundations of Software Testing. Pearson Education, 2008.
Course Requirements
- Homeworks - 50%
- Presentation of a research paper - 15%
- Final Exam - 35%
Policies
- You are responsible for all material covered in lectures.
- You may discuss assignments with classmates, but the work you turn in must be your own.
- Final examination must be taken in class on the date they are given. There will be no
exceptions unless you have a very good reason and have received permission in advance of
the due date or examination.