CS 458
Software
Verification and Validation
Instructor:
Dr. Bedir Tekinerdogan
bedir@cs.bilkent.edu.tr
Schedule*
| Week | Mon | Tue | Wed | Thu | Fri | Topics | Tasks |
| Week 1 Feb. | 4 | 7 | Course Organization | ||||
|
Week 2. Feb |
11 | 14 | Motivation for Software Verification and Validation | Chapter 1,2,3,4 | |||
| Week 3 Feb. |
18 | 21 |
Software Quality Models Software Reliability |
"" | |||
| Week 4 Feb. |
25 | 28 |
Software Testing Concepts Software Testing Principles |
Quiz 1 | |||
| Week 5 Mar. |
4 | 7 | Software Testing Levels | ||||
| Week 6 Mar. |
11 | 14 |
Test Automation Framework (JUnit) Test Case Selection and Adequacy |
Chapter 9 | |||
| Week 7 Mar. |
18 | 21 | Functional Testing | Chapter 10, 11 | |||
| Week 8 Mar. |
25 | 28 | Combinatorial Testing | Chapter 10, 11 | |||
| Week 9 Apr. |
1 | 4 | Finite Models |
Chapter 5, 6 |
|||
| Week 10 Apr. |
8 | 11 | No Lectures | Mid-term exam, April 8, 10:30-12:30 | |||
| Week 11 Apr. |
15 | 18 |
Dependence and dataflow models Structural Testing - Coverage Metrics Structural Testing - Dataflow Testing |
Chapter 12, 13, 14 | |||
| Week 12 Apr. |
22 | 25 |
Process Test-Driven Development |
Quiz 2 | |||
| Week 13 May. |
29 | 2 | Model Checking | Chapter 8 | |||
| Week 14 Dec. 2012 |
6 | 9 | Model Checking | ||||
| Week 15 Jan. |
13 | 16 | Summary | ||||
| Week 16 | Final Exam |