The axioms strike back

Bagge, Anya Helene; David, Valentin; Haveraaen, Magne

doi:10.1145/1621607.1621612

Cited by 5 publications

(4 citation statements)

References 38 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Concepts were designed to solve the problem of incomprehensible error messages from deep inside C++ template code, providing a sort of bounded polymorphism to the otherwise duck typed (at compile time) template system, similar to how type classes work in Haskell [HHPW96]. The proposal also allowed for axioms in concepts, opening the way to axiom-based optimisation [TJ07,BH09] and testing [BDH09]. However, concepts were dropped [Str09] from the draft standard [B + 11b] before finalisation.…”

Section: Concepts In C++ 2011mentioning

confidence: 99%

“…However, concepts were dropped [Str09] from the draft standard [B + 11b] before finalisation. Since the proposed C++ standard no longer provides for concepts and axioms, our approach has changed since our original implementation of axiom-based testing for C++ [BDH09]. We now provide a library, Catsfoot, which adds alternative concept support to C++11 as well as support for generating axiom tests, all using template meta-programming.…”

Section: Concepts In C++ 2011mentioning

confidence: 99%

“…Our previous axiom-based testing scheme [BDH09] would generate test drivers by parsing the concepts with external tools. However, C++11 provides a way to make drivers using pure template meta-programming, with no external tool.…”

Section: Testing Axiomsmentioning

confidence: 99%

“…Thanks to the GPCE'09 reviewers and attendees for valuable feedback on the previous version of this paper [BDH09].…”

Section: About the Authorsmentioning

confidence: 99%

See 3 more Smart Citations

Testing with Axioms in C++ 2011.

Bagge¹,

David²,

Haveraaen³

2011

JOT

Self Cite

View full text Add to dashboard Cite

Unit testing is an important part of modern software development, where individual code units are tested in isolation. Such tests are typically case-based, checking a likely error scenario or an error that has previously been identified and fixed. Coming up with good test cases is challenging, particularly when testing generic code, and focusing on individual tests can distract from creating tests that cover the full functionality.Concepts provide a generic way of describing code interfaces for generic code. Together with axioms, program behaviour can be specified algebraically in a formal or semi-formal way.In this paper we show how concepts and axioms can be expressed in standard C++ 2011, and explore how to generate generic unit tests, by treating the axioms as code to be evaluated with test data. We also show a generic way to generate test data for axiom-based testing in C++ 2011.

show abstract