Completed
contract checking at scale
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Function Contracts in Practice Using C++
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 Definitions
- 3 Contracts in software
- 4 Disclaimer
- 5 Elements of Function Contracts
- 6 Reasons for preconditions
- 7 Feasibility
- 8 Efficiency
- 9 Reliability
- 10 Maintainability
- 11 Extensibility
- 12 Order of Operations
- 13 Minimal Contract
- 14 Narrow Contract
- 15 Wide Contract Facilities
- 16 When a Contract is Violated
- 17 What can we do
- 18 Lets remind ourselves
- 19 assert
- 20 undefined behavior
- 21 contract checking
- 22 contract checking for control flow
- 23 contract checking vs input validation
- 24 contract checking vs unit testing
- 25 summary
- 26 documentation
- 27 style
- 28 example
- 29 return
- 30 combine
- 31 essential behavior
- 32 unless benefits
- 33 consistent order
- 34 additional notes
- 35 why we chose a style
- 36 example function
- 37 juice framework example
- 38 document your conference
- 39 contract checking at scale
- 40 offtheshelf handlers
- 41 prevent continuation
- 42 violation Handler
- 43 invoke Handler
- 44 Relative Work
- 45 Classification
- 46 Audit level checks
