Black Box Testing Ocaml Programming Chapter 6 Video 16

Summary

Bisect is a tool for automated glass- "Bugs" are not the best term for thinking about errors in programs. "Faults" and "failures" are better. Textbook: ... Debugging is a dirty job, but you've gotta do it. Here are some tips. Textbook: cs3110.github.io/textbook. The goal of testing is to expose the existence of faults. Automated unit and Validation is about building confidence in the correct behavior of a QCheck is an automated tool for randomized property-based Abstraction functions are...abstract. So how could you implement them? Conversion to strings is an example. Textbook: ... The correctness of a data-abstraction operation can be understood using abstraction functions, representation invariants, and ... What information should documentation provide vs reveal? Good specifications abstract by hiding information about ... For full set of play lists see: users.ece.cmu.edu/~koopman/lectures/index.html. A notion of "behavioral equality" is at the heart of reasoning about the correctness of