Testing with concepts and axioms in C++
Anya Helene Bagge, Valentin David, Magne Haveraaen · 2008
Unit testing is a popular way of increasing software reliability. Axioms, known from program specification, allow functionality to be described as rules or equations. We show a method and prototype tool for using the proposed concept and axiom features of the upcoming C++0x standard for automated unit testing.