Media Summary: Bisect is a tool for automated glass-box testing and statement coverage of Debugging is a dirty job, but you've gotta do it. Here are some tips. Textbook: A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ...
Formal Verification Ocaml Programming Chapter 6 Video 21 - Detailed Analysis & Overview
Bisect is a tool for automated glass-box testing and statement coverage of Debugging is a dirty job, but you've gotta do it. Here are some tips. Textbook: A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ... Proof by induction of correctness of a function that computes the summation of an integer sequence Textbook: ... A template for function specifications Textbook: Validation is about building confidence in the correct behavior of a
Drilling down into the parts of a function specification: preconditions, postconditions, examples. Textbook: ... "Bugs" are not the best term for thinking about errors in programs. "Faults" and "failures" are better. Textbook: ... Representation invariants can be implemented and used to QCheck is an automated tool for randomized property-based testing of This is an extremely basic introduction to getting up and running with 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 ...
