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: The goal of testing is to expose the existence of faults. Automated unit and regression testing are especially important. Textbook: ...
Bugs Ocaml Programming Chapter 6 - 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: The goal of testing is to expose the existence of faults. Automated unit and regression testing are especially important. Textbook: ... QCheck is an automated tool for randomized property-based testing of Black-box testing methodologies: examples, typical inputs, boundary/corner cases, and paths through the specification. Textbook: ... Validation is about building confidence in the correct behavior of a
Structural induction can be used to prove the correctness of functions on lists Textbook: What information should documentation provide vs reveal? Good specifications abstract by hiding information about ... 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 ... A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ... Black-box testing means having access only to the interface. Glass-box testing means additional access to the implementation.
Glass-box testing methodologies: statement, condition, and path coverage Textbook: The abstraction function is the key piece of documentation an implementer needs to write; it relates the implementer's view of the ... Bringing module definitions into scope with `open` Textbook: A proof by structural induction that length distributes over append Textbook:
