Blar i Department of Informatics på dokumenttype "Research report"
Viser treff 1-1 av 1
-
Testing with Concepts and Axioms in C++
(Reports in Informatics: 368, Research report, 2008-10)Modern development practices encourage extensive testing of code while it is still under development, using unit tests to check individual code units in isolation. Such tests are typically case-based, checking a likely ...