Testing with concepts and axioms in C++

  • Bagge A
  • David V
  • Haveraaen M
  • 15


    Mendeley users who have this article in their library.
  • 2


    Citations of this article.


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.

Author-supplied keywords

  • Axioms
  • C++
  • C++0x
  • Concepts
  • Generative programming
  • Mouldable programming
  • Program transformation
  • Specifications
  • Test generation
  • Unit testing

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Anya Helene Bagge

  • Valentin David

  • Magne Haveraaen

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free