Anya’s Homepage

Testing with concepts and axioms in C++

Anya Helene Bagge, Valentin David and Magne Haveraaen

(Extended Abstract)

Citation:

Anya Helene Bagge, Valentin David and Magne Haveraaen. Testing with concepts and axioms in C++. In OOPSLA Companion '08: Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, pages 773–774. ACM, 2008.

Superseded By:

Please read/cite the newer paper rather than this one.

Conference:

OOPSLA Posters 2008, Nashville, TN, USA, 2008, proceedings pp.773–774

Paper Links:

[doi] [pdf]

Abstract:

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.

Related Project:

Axiom Testing

BibTeX:

@InProceedings{bagge-david-haveraaen-oopslaposter08-axioms,
  supercededby = {bagge-david-haveraaen-jot11-testing},
  title = {Testing with concepts and axioms in {C++}},
  author = {Anya Helene Bagge and Valentin David and Magne Haveraaen},
  year = {2008},
  booktitle = {OOPSLA Companion '08: Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications},
  pages = {773--774},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {10.1145/1449814.1449855},
  isbn = {978-1-60558-220-7},
  location = {Nashville, TN, USA},
  url = {http://www.ii.uib.no/~anya/papers/bagge-david-haveraaen-oopslaposter08-axioms.html},
  pdf = {http://www.ii.uib.no/~anya/papers/bagge-david-haveraaen-oopslaposter08-axioms.pdf},
}