Software Verification, Validation and Measurement

CpSc 873

Fall 2015

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: 11:00 – 12:15 TTh

Important Dates:

August 25, 2015	Last Day to Add
September 1, 2015	Last Day to Drop with no record
October 27, 2015	Last Day to Drop with no final grade
October 12-13, 2015	Fall Break Nov 25-27, 2015 Thanksgiving Break
Dec 7, 2015 3:00 PM	Final Exam

Course Requirements:

2 exams (including the final)	30 points each
Assignments	30 points
Class participation	5 points
Research summaries (1 point each)	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.

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 integrity statement says: As members of the Clemson University community, we have inherited Thomas Green Clemson's vision of this institution as a "high seminary of learning." Fundamental to this vision is a mutual commitment to truthfulness, honor, and responsibility, without which we cannot earn the trust and respect of others. Furthermore, we recognize that academic dishonesty detracts from the value of a Clemson degree. Therefore, we shall not tolerate lying, cheating, or stealing in any form. See: http://www.cs.clemson.edu/html/academics/academic_integrity_2002.html for more.

6. Students with disabilities requesting accommodations should make an appointment with Dr. Arlene Stewart (656-6848), Director of Disability Services, to discuss specific needs within the first month of classes. Students should present a Faculty Accommodation Letter from Student Disability Services when they meet with instructors. Accommodations are not retroactive and new Faculty Accommodation Letters must be presented each semester.

7. Clemson University is committed to a policy of equal opportunity for all persons and does not discriminate on the basis of race, color, religion, sex, sexual orientation, gender, pregnancy, national origin, age, disability, veteran’s status, genetic information or protected activity (e.g., opposition to prohibited discrimination or participation in any complaint process, etc.) in employment, educational programs and activities, admissions and financial aid. This includes a prohibition against sexual harassment and sexual violence as mandated by Title IX of the Education Amendments of 1972. This policy is located at http://www.clemson.edu/campus-life/campus-services/access/title-ix/. Mr. Jerry Knighton is the Clemson University Title IX Coordinator. He also is the Director of Access and Equity. His office is located at 111 Holtzendorff Hall, 864.656.3181 (voice) or 864.565.0899 (TDD).