Axiom-based testing for C++
(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–722Paper 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 TestingBibTeX:
@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}, }