Axiom-based testing for C++

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Axiom-based testing for C++

Full text

Pdf (124 KB)

Source

Conference on Object Oriented Programming Systems Languages and Applications archive
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications table of contents

Nashville, TN, USA

DEMONSTRATION SESSION: Demonstrations table of contents

Pages 721-722

Year of Publication: 2008

ISBN:978-1-60558-220-7

Authors

Anya Helene Bagge	University of Bergen, Bergen, Norway
Valentin David	University of Bergen, Bergen, Norway
Magne Haveraaen	University of Bergen, Bergen, Norway

Sponsors

ACM: Association for Computing Machinery
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 9, Downloads (12 Months): 84, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1449814.1449829 What is a DOI?

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Robert Anisko, Valentin David, and Clément Vasseur. Transformers: A C++ program transformation framework. Technical Report 0310, EPITA/LRDE, 2003.
	2	Anya Helene Bagge , Valentin David , Magne Haveraaen, Testing with concepts and axioms in C++, Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications, October 19-23, 2008, Nashville, TN, USA [doi>10.1145/1449814.1449855]
	3	Anya Helene Bagge and Magne Haveraaen. Axiombased transformations: Optimisation and testing. In Jurgen Vinju and Adrian Johnstone, editors, Eighth Workshop on Language Descriptions, Tools and Applications (LDTA 2008), Electronic Notes in Theoretical Computer Science, Budapest, Hungary, 2008. Elsevier.
	4	Koen Claessen , John Hughes, QuickCheck: a lightweight tool for random testing of Haskell programs, Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, p.268-279, September 2000
	5	Valentin David, Preparing for C++0x, Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications, October 19-23, 2008, Nashville, TN, USA [doi>10.1145/1449814.1449853]
	6	Douglas Gregor, Bjarne Stroustrup, Jeremy Siek, and James Widman. Proposed wording for concepts (revision 4). Technical Report N2501=08-0011, JTC1/SC22/WG21 -- The C++ Standards Committee, February 2008.
	7	Dick Hamlet , Ross Taylor, Partition Testing Does Not Inspire Confidence (Program Testing), IEEE Transactions on Software Engineering, v.16 n.12, p.1402-1411, December 1990 [doi>10.1109/32.62448]
	8	Magne Haveraaen, Case study on algebraic software methodologies for scientific computing, Scientific Programming, v.8 n.4, p.261-273, December 2000
	9	David Saff, 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, October 21-25, 2007, Montreal, Quebec, Canada [doi>10.1145/1297846.1297919]
	10	Xiaolong Tang and Jaakko Järvi. Concept-based optimization. In Proceedings of the ACM SIGPLAN Symposium on Library-Centric Software Design (LCSD'07), New York, NY, USA, 2007. ACM.