Reducing the number of unit tests with design by contract
Tutkimustuotos › › vertaisarvioitu
Yksityiskohdat
Alkuperäiskieli | Englanti |
---|---|
Otsikko | Computer Systems and Technologies - 12th International Conference, CompSysTech'11 - Proceedings |
Sivut | 161-166 |
Sivumäärä | 6 |
Vuosikerta | 578 |
DOI - pysyväislinkit | |
Tila | Julkaistu - 2011 |
OKM-julkaisutyyppi | A4 Artikkeli konferenssijulkaisussa |
Tapahtuma | 12th International Conference on Computer Systems and Technologies, CompSysTech'11 - Vienna, Itävalta Kesto: 16 kesäkuuta 2011 → 17 kesäkuuta 2011 |
Conference
Conference | 12th International Conference on Computer Systems and Technologies, CompSysTech'11 |
---|---|
Maa | Itävalta |
Kaupunki | Vienna |
Ajanjakso | 16/06/11 → 17/06/11 |
Tiivistelmä
Design by Contract (DbC) and unit testing (UT) are complementary approaches to improve the belief of correctness and the quality of the software. The interplay between the two techniques has been studied previously, e.g., in the use of test oracles and test automation. However, we propose that DbC should drive the UT to become more cost-effective. The paper demonstrates some means for this approach by showing how to test a mapping data structure entirely with just one unit test script.