Vis enkel innførsel

dc.contributor.authorBagge, Anya Heleneeng
dc.contributor.authorDavid, Valentineng
dc.contributor.authorHaveraaen, Magneeng
dc.date.accessioned2013-05-03T09:23:19Z
dc.date.available2013-05-03T09:23:19Z
dc.date.issued2008-10eng
dc.identifier.issn0333-3590en_US
dc.identifier.urihttps://hdl.handle.net/1956/6555
dc.description.abstractModern development practices 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.en_US
dc.language.isoengeng
dc.publisherUniversity of Bergen, Department of Informaticsen_US
dc.relation.ispartofseriesReports in Informatics: 368eng
dc.titleTesting with Concepts and Axioms in C++en_US
dc.typeResearch report
dc.description.versionpublishedVersionen_US


Tilhørende fil(er)

Thumbnail

Denne innførselen finnes i følgende samling(er)

Vis enkel innførsel