CS 743 - Software Verification and Validation
Fall 2019
Welcome to the home page for
CS 743 - Software Verification and Validation
course
Final Exam Study Guide
Course information
:
Course Syllabus
Class notes
Notes 1 - Introduction to Software Testing
Notes 2 - Functional Testing
Notes 2.1 - Boundary Value Analysis
Notes 2.2 Combinatorial Testing
Notes 2.3 Equivalence Class Testing
Notes 2.4 Decision Table-based Testing
Notes 2.5 State Transition Diagram Testing
Notes 2.6 GUI Testing
Notes 3 - Control Flow Testing
Notes 4 - Data Flow Testing
Notes 5 - Integration Testing
Notes 6 - Use Case Models
Notes 7 - Class Diagrams
Notes 7.1 - Class Diagrams -- continued
Notes 8 - Sequence Diagrams
Notes 8.1 - Informal Verification Example
Fault-based Testing
Test Adequacy
Security Testing
Metrics
Testing Real-Time Software Systems
Documents
Informal Verification
Informal Semantics of UML Use Case Diagram
Checklist for verification of use case narratives
ATM Example -
Use Case Narratives
Informal Semantics on UML Class Diagrams
Informal Semantics on UML Sequence Diagrams
Formal Verification
Proposition Logic
Proposition Logic Example
Predicate Logic
Predicate Logic Example (1)
Predicate Logic Example (2)
Hoare Logic (Slides from Prof. Mike Gordon )
Program Verification Notes & Example
If-then-else Example
while Example
Assignments
Assignment 1
Due: Friday Sept. 27, 2019
Assignment 2
Due: Friday Oct. 11, 2019
Assignment 3
Due: Friday Nov. 1, 2019
Assignment 4
Due: Friday Nov. 15, 2019
Assignment 5
Due: Monday Nov. 25, 2019
Assignment 6
Due: Friday Dec. 6, 2019