Anya’s Homepage

Axiom-based testing for C++

Anya Helene Bagge, Valentin David and Magne Haveraaen

(Extended Abstract)

Citation:

Anya Helene Bagge, Valentin David and Magne Haveraaen. Axiom-based testing for C++. In OOPSLA Companion '08: Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, pages 721–722. ACM, 2008.

Superseded By:

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

Conference:

OOPSLA Demonstrations 2008, Nashville, TN, USA, 2008, proceedings pp.721–722

Paper Links:

[doi] [pdf]

Abstract:

Axioms, known from program specification, allow program functionality to be described as rules or equations. The draft C++0x standard introduces axioms as part of the new concept feature. We will demonstrate a tool that uses these features for automated unit testing.

Related Project:

Axiom Testing

BibTeX:

@InProceedings{bagge-david-haveraaen-oopslademo08-axioms,
  supercededby = {bagge-david-haveraaen-jot11-testing},
  title = {Axiom-based testing for {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 = {721--722},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {10.1145/1449814.1449829},
  isbn = {978-1-60558-220-7},
  location = {Nashville, TN, USA},
  url = {http://www.ii.uib.no/~anya/papers/bagge-david-haveraaen-oopslademo08-axioms.html},
  pdf = {http://www.ii.uib.no/~anya/papers/bagge-david-haveraaen-oopslademo08-axioms.pdf},
}