Testing And Validation Ocaml Programming Chapter 6 Video 12

Summary

"Bugs" are not the best term for thinking about errors in programs. "Faults" and "failures" are better. Textbook: ... A template for function specifications Textbook: cs3110.github.io/textbook. Drilling down into the parts of a function specification: preconditions, postconditions, examples. Textbook: ... Specifying a data abstraction's interface — the client's perspective Textbook: cs3110.github.io/textbook. A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ... Bisect is a tool for automated glass-box Natural numbers can be represented as an Proof by induction of the correctness of an efficient, iterative version of the factorial function. An interesting facet is that the proof ... Abstraction functions are...abstract. So how could you implement them? Conversion to strings is an example. Textbook: ...