Bisect Ocaml Programming Chapter 6 Video 18

Summary

"Bugs" are not the best term for thinking about errors in programs. "Faults" and "failures" are better. Textbook: ... Abstraction functions are...abstract. So how could you implement them? Conversion to strings is an example. Textbook: ... Glass-box testing methodologies: statement, condition, and path coverage Textbook: cs3110.github.io/textbook. The correctness of a data-abstraction operation can be understood using abstraction functions, representation invariants, and ... The goal of testing is to expose the existence of faults. Automated unit and regression testing are especially important. Textbook: ... A dive into the standard library's Map module as an example of a functor Textbook: cs3110.github.io/textbook. Validation is about building confidence in the correct behavior of a QCheck is an automated tool for randomized property-based testing of Debugging is a dirty job, but you've gotta do it. Here are some tips. Textbook: cs3110.github.io/textbook. Equational reasoning provides a basic proof format for correctness proofs about functional programs Textbook: ... Proof by induction of the correctness of an efficient, iterative version of the factorial function. An interesting facet is that the proof ... Developing an implementation of a data abstraction, as an ongoing example of the documentation that implementers need ...