Paper Info
Title
Testing C++ generic libraries
Abstract
We describe a novel methodology for systematic and rigorous testing of C++ generic libraries: separate testing. The approach is based on separate testing of generic (template) algorithms and data structures and of user-defined types that will be used with the library. Templates are tested against specifications using representative types called prototypes that contain metadata which is used to query otherwise unobservable properties of the input types and values. User-defined types are tested against the concepts required by the generic components of the library. Testing separately minimizes the required effort while fully exercising all components involved. The methodology is supported by the Origin Testing library, which is, in turn, being used to test the remainder of the Origin C++ 11 libraries.
Year
DOI
Venue
2012
10.1109/ICSM.2012.6405251
Software Maintenance
Keywords
Field
DocType
C++ language,data structures,formal specification,meta data,program testing,software libraries,C++ generic libraries,Origin C++ 11 libraries,Origin Testing library,data structure,generic algorithm,metadata,of user-defined type,prototype,representative type,rigorous testing,specification,systematic testing,template algorithm
Data structure,Metadata,Programming language,Algorithm design,Computer science,Remainder,Theoretical computer science,Formal specification,Template,Unobservable,Semantics
Conference
ISSN
ISBN
Citations 
1063-6773
978-1-4673-2313-0
0
PageRank 
References 
Authors
0.34
7
2
Name
Order
Citations
PageRank
Andrew Sutton1206.82
Marcin Zalewski2334.45