Model of the Ariane 5 launcher, photo taken by Wikimedia user Herman

Course Schedule

Week 1 To Do:
Lecture 1:
  • Discuss course expectations and main goals
Lecture 2:
Lecture 3:
Week 2 To Do:
Lecture 1:
  • No class
Lecture 2:
Lecture 3:
Week 3 To Do:
Lecture 1:
Lecture 2:
  • The Single Fault Assumption
Lecture 3:
  • Boundary Value Analysis
Week 4 To Do:
Lecture 1:
  • Quiz 01
Lecture 2:
Lecture 3:
  • No class
Week 5 To Do:
Lecture 1:
Lecture 2:
Lecture 3:
  • More on Structural Coverage Analysis
Week 6 To Do:
Lecture 1:
Lecture 2:
Lecture 3:
Week 7 To Do:
Lecture 1:
Lecture 2:
  • Quiz 02
Lecture 3:
Week 8 To Do:
Lecture 1:
Lecture 2:
  • More on Mocking
Lecture 3:
  • Introduction to Vagrant and Docker
Week 9 To Do:
Lecture 1:
  • Docker Overview
Lecture 2:
  • Vagrant Overview
Lecture 3:
  • Explanation for Exploration 01
Week 10 To Do:
Lecture 1:
Lecture 2:
  • Checking Code Conventions: PyLint
Lecture 3:
Week 11 To Do:
  • -
Lecture 1:
Lecture 2:
  • Continuing White-Box Test Review
Lecture 3:
  • Quiz 03
Week 12 To Do:
  • Read Chapters 4 and 5 in “Building High Integrity Applications with SPARK”
  • Exploration 02
Lecture 1:
Lecture 2:
  • -
Lecture 3:
  • -
Week 13 To Do:
  • Read Chapter 6 in “Building High Integrity Applications with SPARK”
  • Exploration 03
Lecture 1:
  • -
Lecture 2:
  • -
Lecture 3:
  • -
Week 14 To Do:
Lecture 1:
  • Introduction to TLA+
Lecture 2:
  • Snow day!
Lecture 3:
  • Counting Beans with TLA+
Week 15 To Do:
Lecture 1:
  • -
Lecture 2:
Lecture 3:
  • Review

Resources