Software Verification, Validation and Measurement

CpSc 8730

Fall 2018

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 6720 or equivalent

Instructor: John D. McGregor

Office: McAdams 124A

Office Phone: 506-4872

Office Hours: 9:30 – 10:45 TTh

Important Dates:

August 28, 2018

Last Day to Add

September 4, 2018

Last Day to Drop with no record

October 26, 2018

Nov 5 – 6, 2018

Last day to withdraw with no final grade

Fall Break

Nov 21-23, 2018

Thanksgiving Break

Dec 14, 2018 7:00-8:15 PM

Final Exam

Course Requirements:

2 exams (including the final)	30 points each
Assignments and projects	35 points
Class participation	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: https://www.clemson.edu/cecas/departments/ce/pdf/Academic_Integrity_Statement.pdf for more.

6. Clemson University values the diversity of our student body as a strength and a critical component of our dynamic community. Students with disabilities or temporary injuries/conditions may require accommodations due to barriers in the structure of facilities, course design, technology used for curricular purposes, or other campus resources. Students who experience a barrier to full access to this class should let the professor know, and make an appointment to meet with a staff member in Student Accessibility Services as soon as possible. You can make an appointment by calling 864-656-6848, by emailing studentaccess@lists.clemson.edu, or by visiting Suite 239 in the Academic Success Center building. Appointments are strongly encouraged – drop-ins will be seen if at all possible, but there could be a significant wait due to scheduled appointments. Students who receive Academic Access Letters are strongly encouraged to request, obtain and present these to their professors as early in the semester as possible so that accommodations can be made in a timely manner. It is the student’s responsibility to follow this process each semester. You can access further information here: http://www.clemson.edu/campus-life/campus-services/sds/.

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 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/campuslife/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 110 Holtzendorff Hall, 864.656.3184 (voice) or 864.656.0899 (TDD).