Software Verification, Validation and Measurement
CpSc 873
Fall 2017
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 29, 2017 |
Last Day to Add |
||||
|
September 5, 2017 |
Last Day to Drop with no record |
||||
|
|
|
||||
October 16-17, 2017 Nov 22-24, 2017 |
Fall Break
Last day to withdraw with no final grade
Thanksgiving Break
|
||||
|
Dec 15, 2017 7:00-8:15 PM |
Final Exam |
||||
|
|||||
|
2 exams (including the final) |
30 points each |
|
Assignments and projects |
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
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. 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).
8. General rules for courses are at:
http://www.clemson.edu/graduate/faculty-staff/resources.html