Software Verification, Validation and Measurement
CpSc 873
Spring 1997
                                     

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: 9:30 - 11:00 TTh

Important Dates:
January 14, 1997    	Last Day to Add
Feb. 4, 1997        	Last Day to Drop with no record
Mar. 13, 1997       	Last Day to Drop with no final grade
Mar. 17-21, 1997    	Spring Break
April 29, 1997         	Final Exam at 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
D    65 - 69
F    Below 65

Attendance:
Class attendance is at the student's discretion. 

Guidelines:
No makeup exams
No assignments accepted after the deadline for the assignment.





 Calendar for Spring 1997

January  9

January 14     
January 16 
    
January 21     
January 23
     
January 28
January 30

Feb      4
Feb      6

Feb     11
Feb     13

Feb     18
Feb     20

Feb     25
Feb     27

Mar      4
Mar      6     

Mar     11
Mar     13     

Mar     18     Spring Break
Mar     20     Spring Break

Mar     25
Mar     27

Apr      1
Apr      3

Apr      8     
Apr     10

Apr     15
Apr     17

Apr     22
Apr     24     

Apr     29     Final Exam at 6:30-9:30PM