Axiom-based testing for C++

Authors:
Anya Helene Bagge;Valentin David;Magne Haveraaen
Affiliations:
University of Bergen, Bergen, Norway;University of Bergen, Bergen, Norway;University of Bergen, Bergen, Norway
Venue:
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Year:
2008

Citing 7
Cited 2

Partition Testing Does Not Inspire Confidence (Program Testing)

IEEE Transactions on Software Engineering
QuickCheck: a lightweight tool for random testing of Haskell programs

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Case study on algebraic software methodologies for scientific computing

Scientific Programming
Theory-infected: or how i learned to stop worrying and love universal quantification

Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Preparing for C++0x

Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Testing with concepts and axioms in C++

Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Concept-based optimization

LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design

The axioms strike back: testing with concepts and axioms in C++

GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Testing polymorphic properties

ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

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.