TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Reducing the number of unit tests with design by contract

Tutkimustuotosvertaisarvioitu

Standard

Reducing the number of unit tests with design by contract. / Hakonen, Harri; Hyrynsalmi, Sami; Järvi, Antero.

Computer Systems and Technologies - 12th International Conference, CompSysTech'11 - Proceedings. Vuosikerta 578 2011. s. 161-166.

Tutkimustuotosvertaisarvioitu

Harvard

Hakonen, H, Hyrynsalmi, S & Järvi, A 2011, Reducing the number of unit tests with design by contract. julkaisussa Computer Systems and Technologies - 12th International Conference, CompSysTech'11 - Proceedings. Vuosikerta. 578, Sivut 161-166, Vienna, Itävalta, 16/06/11. https://doi.org/10.1145/2023607.2023635

APA

Hakonen, H., Hyrynsalmi, S., & Järvi, A. (2011). Reducing the number of unit tests with design by contract. teoksessa Computer Systems and Technologies - 12th International Conference, CompSysTech'11 - Proceedings (Vuosikerta 578, Sivut 161-166) https://doi.org/10.1145/2023607.2023635

Vancouver

Hakonen H, Hyrynsalmi S, Järvi A. Reducing the number of unit tests with design by contract. julkaisussa Computer Systems and Technologies - 12th International Conference, CompSysTech'11 - Proceedings. Vuosikerta 578. 2011. s. 161-166 https://doi.org/10.1145/2023607.2023635

Author

Hakonen, Harri ; Hyrynsalmi, Sami ; Järvi, Antero. / Reducing the number of unit tests with design by contract. Computer Systems and Technologies - 12th International Conference, CompSysTech'11 - Proceedings. Vuosikerta 578 2011. Sivut 161-166

Bibtex - Lataa

@inproceedings{d678ce858a244724bb25002c1dcff435,
title = "Reducing the number of unit tests with design by contract",
abstract = "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.",
keywords = "contract cohesion graph, design by contract, unit testing",
author = "Harri Hakonen and Sami Hyrynsalmi and Antero J{\"a}rvi",
year = "2011",
doi = "10.1145/2023607.2023635",
language = "English",
isbn = "9781450309172",
volume = "578",
pages = "161--166",
booktitle = "Computer Systems and Technologies - 12th International Conference, CompSysTech'11 - Proceedings",

}

RIS (suitable for import to EndNote) - Lataa

TY - GEN

T1 - Reducing the number of unit tests with design by contract

AU - Hakonen, Harri

AU - Hyrynsalmi, Sami

AU - Järvi, Antero

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

KW - contract cohesion graph

KW - design by contract

KW - unit testing

U2 - 10.1145/2023607.2023635

DO - 10.1145/2023607.2023635

M3 - Conference contribution

SN - 9781450309172

VL - 578

SP - 161

EP - 166

BT - Computer Systems and Technologies - 12th International Conference, CompSysTech'11 - Proceedings

ER -