3 ms·
Is this the early days of unit-testing? I love the way he talks about the tests. A pleasant reminder that a well-formed test suite is akin to mathematical pro
by jaytaylor 11y ago
Is this the early days of unit-testing? I love the way he talks about the tests. A pleasant reminder that a well-formed test suite is akin to mathematical proof of functionality, as long as you've covered all the "appropriate" cases.
- nickpsecurity 11y agoI know the Burroughs (1961) and Apollo teams did tests thorough enough to be compared to unit tests. Probably started there. Concept has been independently invented many times. The smarter one, though, was Cleanroom methodology's usage-centered testing designed to find all the bugs users would encounter in practice. Idea is they'd appreciate 30 bugs they never experienced more than even 1 that they did. That plus inspections/verification led to very low-defect software. Cleanroom Software Engineering http://groups.engin.umd.umich.edu/CIS/course.des/cis376/ppt/lec21.ppt http://groups.engin.umd.umich.edu/CIS/course.des/cis376/ppt/... Empirical evaluation of Cleanroom methodology https://www.cs.umd.edu/~basili/publications/journals/J33.pdf https://www.cs.umd.edu/~basili/publications/journals/J33.pdf Agile is like a watered-down version of things like Cleanroom with unproven fads added. Check out Cleanroom to see what software engineering looks like. One of few. One or two people even wisely combined it with Python given its readability and low-defect level. Worked very well. :) Ada or Ocaml would be the ideal, next project for Cleanroom or another engineering methodology (eg Praxis Correct by Construction).