|
Department
of Computer Science
University
of CS
6463 Software Testing and Quality Assurance Summer
2007, TR Class Duration: June 4 - Aug 15 Room:
SB
3.02.10A |
Instructor:
Dr. Chia-Tien Dan Lo Office:
SB 4.01.17 Office
hours: TR Phone:
458-7433 WebCT (Preferred) or danlo@cs.utsa.edu
TA: TBA |
Course
Description:
Introduction of testing techniques of software systems: unit testing,
integration testing, system testing, acceptance testing, and regression testing;
test plan and test case design; quality assurance; verification and validation.
Note that the course number will be CS 5133 in the near future.
Course
Objectives:
Topics
include:
"Software
Testing: A Craftsman's Approach, Second Edition," by Paul C Jorgensen,
CRC Press,
"The Art of Software Testing," 2nd ed., Glenford J. Myers, John Wiley & Sons, Inc., Hoboken, New Jersey, 2004. (optional)
"Lessons Learned in Software Testing: a Context-Driven Approach," Cem Kaner, James Bach, and Bret Pettichord, John Wiley & Sons, Inc., New York, 2002. (optional)
Other references
will be posted as needed.
Important Dates:
Homework assignments: (Available on WebCT)
Project Due Dates: (Available on WebCT)
Midterm exam: (Available on WebCT)
Final Exam: (Available on WebCT)
Grading
and Policies:
The course will include a
midterm and final, each comprising 25% of your grade. No make-up exams will be
given except for university-sanctioned absences.
The course will include
homework assignments (20%).
In this course you will be
working on individual projects which contribute to 30% of your grade.
Late
work will receive penalty based on the formula, penalty
= (number of days late)3. The students are expected to attend all
class.
Points
to grade ratio:
A: 90 – 100
B: 70 – 89
C: 60 – 69
D: 40 – 59
E: 0 – 39
Academic
Integrity:
A student discovered cheating or committing plagiarism will be awarded a failing
grade for the course, and may be subject to dismissal or further discipline.
Academic integrity is expected of all students who attend UTSA.
Course
Schedule:
|
Topic |
Chapter |
|
Introduction
to software testing and analysis |
|
|
Specification-based
testing techniques |
5, 6, 7 |
|
Code-based
testing techniques |
9, 10 |
| Test coverage analysis | 9 |
| Methods of test data generation and validation |
- |
| Oracles | - |
| Static analysis |
- |
| Dynamic analysis |
- |
| Inspections/ Reviews | - |
| OO-oriented testing |
16, 17 |
| Unit testing |
16 |
| Formal methods; Program proving |
- |
| Integration testing |
13 |
| Regression testing | 18 |
| Model-based testing |
18 |
| System and acceptance testing |
14 |
| Program slicing and its application |
11 |
|
|
|
Note: Students should
refer to the updated syllabus on WebCT or Dr. Lo's web page for any
discrepancies.