Function Specifications Ocaml Programming Chapter 6 Video 2

Summary

Drilling down into the parts of a How `let` expressions create scope and shadowing. Textbook: cs3110.github.io/textbook. Developing a second implementation of a data abstraction, as an ongoing example of the documentation that implementers need ... What information should documentation provide vs reveal? Good Validation is about building confidence in the correct behavior of a How to design the equations in an algebraic The correctness of a data-abstraction operation can be understood using abstraction Specifying a data abstraction's interface — the client's perspective Textbook: cs3110.github.io/textbook. Black-box testing methodologies: examples, typical inputs, boundary/corner cases, and paths through the Bisect is a tool for automated glass-box testing and statement coverage of The goal of testing is to expose the existence of faults. Automated unit and regression testing are especially important. Textbook: ...