COM 3220: SOFTWARE TESTING AND VERIFICATION
- Instructor: Paul Attie
- Room: 245 Cullinane
- Time: Fall Quarter 2002, Wednesday 6:00 - 9:00 p.m.
- Office hours: Wednesday 4:00 -- 5:00 p.m., by appointment
- Course overview:
The course will cover the fundamentals underlying current methods
for testing and verifying software for desired properties such as functional correctness,
performance, fault-tolerance, timing, etc.
I will emphasize approaches, such as model checking, which have been used
in industry.
Grading will be based on class participation, homeworks,
and a term project. The project will consist of a serious case study of the application
of a verification, testing, or design methodology to a challenging
example, e.g., take a complex algorithm and verify a certain
correcteness property , or, write a specification in a
particular notation, and then design a program that satisfies the specification.
You will have a large amount of freedom in selecting
the topic of the project.
I will emphasize my viewpoint that theory should be directed to practical
application, and will spend some time discussing my own research in this regard.
