Software Verification, Validation and Measurement

Software Verification, Validation and Measurement

CpSc 873

Fall 2009

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

Instructor: John D. McGregor

Office: McAdams 312

Office Phone: 656-5859

Office Hours: 9:30 – 10:45 TTh

Important Dates:

August 25, 2009	Last Day to Add
September 1, 2009	Last Day to Drop with no record
October 9, 2009	Last Day to Drop with no final grade
October 12-13, 2009	Fall Break
Dec 11, 2009 7:00 PM	Final Exam

Course Requirements:

2 exams (including the final)	30 points each
Assignments	30 points
Class participation	5 points
Research summary	5 points

Grading Scale:

A 90 - 100

B 80 - 89

C 79 - 70

F Below 69

Policies:

1. No late assignments accepted.

2. No makeup exams. If you miss an exam for any reason, the weight of the other exam will be increased accordingly.

3. All work should be completed independently (without the assistance of anyone except the instructor or someone he designates) unless explicitly stated otherwise in the assignment.

4. It is expected that students will wait at least 15 minutes from the scheduled start time for class before leaving because the instructor has not arrived. (I am a professional and will treat you professionally. Only in a VERY VERY rare case would I not either give prior notice OR send someone to explain the delay.)

5. The university's academic dishonesty policy is located at this URL: www.cs.clemson.edu/html/academics/academic_integrity_2002.htm

Topical Outline

1. Testing

a. Test process

b. Test plans, cases, reports

c. Test automation

2. Model Checking

a. Checking all possible executions

3. Formal Verification

a. Formal specification

b. Verifying the implementation against the specification

Topcased: www.topcased.org download 3.0.1 RCP

Check at www.eclipse.org and use the update feature to load TPTP

OMG Testing Profile for UML: http://www.omg.org/cgi-bin/doc?formal/05-07-07

EPF: www.eclipse.org/epf

OMG Software Process Engineering Meta-model: http://www.omg.org/spec/SPEM/2.0/PDF/

Java examples Java Examples