Systematic design of algebraic specifications
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
Case studies on testing object-oriented programs
TAV4 Proceedings of the symposium on Testing, analysis, and verification
An approach to testing object-oriented programs
An approach to testing object-oriented programs
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Daistish: systematic algebraic testing for OO programs in the presence of side-effects
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
In black and white: an integrated approach to class-level testing of object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Partition Testing vs. Random Testing: The Influence of Uncertainty
IEEE Transactions on Software Engineering
Automatically Checking an Implementation against Its Formal Specification
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
Data Abstraction, Implementation, Specification, and Testing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstract data types and software validation
Communications of the ACM
TACCLE: a methodology for object-oriented software testing at the class and cluster levels
ACM Transactions on Software Engineering and Methodology (TOSEM)
Test Driven Development: By Example
Test Driven Development: By Example
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
The Matrix Template Library: A Unifying Framework for Numerical Linear Algebra
ECOOP '98 Workshop ion on Object-Oriented Technology
An Informal Formal Method for Systematic JUnit Test Case Generation
Proceedings of the Second XP Universe and First Agile Universe Conference on Extreme Programming and Agile Methods - XP/Agile Universe 2002
Specification techniques for data abstractions
Proceedings of the international conference on Reliable software
A Note on Test Oracles and Semantics of Algebraic Specifications
QSIC '03 Proceedings of the Third International Conference on Quality Software
Stratego/XT 0.16: components for transformation systems
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Concepts: linguistic support for generic programming in C++
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
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
Notes on Type Abstraction (Version 2)
IEEE Transactions on Software Engineering
Effective random testing of concurrent programs
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Testing Java Components based on Algebraic Specifications
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
JAxT and JDI: the simplicity of junit applied to axioms and data invariants
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
Axiom-Based Transformations: Optimisation and Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Testing data types implementations from algebraic specifications
Formal methods and testing
Design of concept libraries for c++
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Hi-index | 0.00 |
Modern development practises encourage extensive testing of code while it is still under development, using unit tests to check individual code units 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, and focusing on individual tests can distract from creating tests that cover the full functionality. Axioms, known from program specification, allow for an alternative way of generating test cases, where the intended functionality is described as rules or equations that can be checked automatically. Axioms are proposed as part of the concept feature of the upcoming C++0x standard. In this paper, we describe how tests may be generated automatically from axioms in C++ concepts, and supplied with appropriate test data to form effective automated unit tests.