Software Verification, Validation and Measurement

CpSc 873

Spring 1999

Course Description: Proofs of correctness; test planning; static and dynamic testing; symbolic execution; automated testing; verification and validation over the software life cycle; software metrics; software maintenance.

Prerequisites: CpSc 672 or equivalent

Text: A Practical Guide to Testing Object-Oriented Software by McGregor and Sykes

(Will be handed out in class.)

Instructor: John D. McGregor

Office: Edwards 436

Office Phone: 656-5859

Office Hours: 1:30 - 3:30 M

Important Dates:

January 12, 1999 Last Day to Add

February 2, 1999 Last Day to Drop with no record

March 12, 1999 Last Day to Drop with no final grade

March 15 -19, 1999 Spring Break

April 26, 1999 Final Exam, 6:30 PM

Grading:

There will be mid-term and final exams. Each will count 25% of

the final grade. The assignments during the semester will be

under one major project that will count 50% of the final grade.

Scale:

A 90 - 100

B 80 - 89

C 79 - 70

F Below 69

Attendance:

Class attendance is at the student's discretion.

Guidelines:

No makeup exams

No assignments accepted after the deadline for the assignment.