Media Summary: Debugging is a dirty job, but you've gotta do it. Here are some tips. Textbook: QCheck is an automated tool for randomized property-based testing of "Bugs" are not the best term for thinking about errors in programs. "Faults" and "failures" are better. Textbook: ...
Bisect Ocaml Programming Chapter 6 Video 18 - Detailed Analysis & Overview
Debugging is a dirty job, but you've gotta do it. Here are some tips. Textbook: QCheck is an automated tool for randomized property-based testing of "Bugs" are not the best term for thinking about errors in programs. "Faults" and "failures" are better. Textbook: ... A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ... The goal of testing is to expose the existence of faults. Automated unit and regression testing are especially important. Textbook: ... Representation invariants can be implemented and used to
Glass-box testing methodologies: statement, condition, and path coverage Textbook: Validation is about building confidence in the correct behavior of a Equational reasoning provides a basic proof format for correctness proofs about functional programs Textbook: ... 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 ... Hi Comrades! I have created this ICCAP Tutorial
