TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Reducing the number of unit tests with design by contract

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoComputer Systems and Technologies - 12th International Conference, CompSysTech'11 - Proceedings
Sivut161-166
Sivumäärä6
Vuosikerta578
DOI - pysyväislinkit
TilaJulkaistu - 2011
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa
Tapahtuma12th International Conference on Computer Systems and Technologies, CompSysTech'11 - Vienna, Itävalta
Kesto: 16 kesäkuuta 201117 kesäkuuta 2011

Conference

Conference12th International Conference on Computer Systems and Technologies, CompSysTech'11
MaaItävalta
KaupunkiVienna
Ajanjakso16/06/1117/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.