Contract driven development= test driven development-writing test cases

Andreas Leitner; Ilinca Ciupa; Manuel Oriol; Bertrand Meyer; A. Fiva

doi:10.1145/1287624.1287685

Contract driven development= test driven development-writing test cases

Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer, A. Fiva

Computer Science

Research output: Contribution to conference › Paper › peer-review

Abstract

Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUnit which automate part of the process, unit testing remains a time-consuming, resource-intensive, and not particularly appealing activity.This paper introduces a new development method, called Contract Driven Development. This development method is based on a novel mechanism that extracts test cases from failure-producing runs that the programmers trigger. It exploits actions that developers perform anyway as part of their normal process of writing code. Thus, it takes the task of writing unit tests off the developers' shoulders, while still taking advantage of their knowledge of the intended semantics and structure of the code. The approach is based on the presence of contracts in code, which act as the oracle of the test cases. The test cases are extracted completely automatically, are run in the background, and can easily be maintained over versions. The tool implementing this methodology is called Cdd and is available both in binary and in source form.

Original language	Undefined/Unknown
Pages	434
DOIs	https://doi.org/10.1145/1287624.1287685
Publication status	Published - 2007

Access to Document

10.1145/1287624.1287685

http://portal.acm.org/citation.cfm?id=1287685

Cite this

@conference{c3e164a769134c78be2d25a3cb3238c7,

title = "Contract driven development= test driven development-writing test cases",

abstract = "Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUnit which automate part of the process, unit testing remains a time-consuming, resource-intensive, and not particularly appealing activity.This paper introduces a new development method, called Contract Driven Development. This development method is based on a novel mechanism that extracts test cases from failure-producing runs that the programmers trigger. It exploits actions that developers perform anyway as part of their normal process of writing code. Thus, it takes the task of writing unit tests off the developers' shoulders, while still taking advantage of their knowledge of the intended semantics and structure of the code. The approach is based on the presence of contracts in code, which act as the oracle of the test cases. The test cases are extracted completely automatically, are run in the background, and can easily be maintained over versions. The tool implementing this methodology is called Cdd and is available both in binary and in source form.",

author = "Andreas Leitner and Ilinca Ciupa and Manuel Oriol and Bertrand Meyer and A. Fiva",

year = "2007",

doi = "10.1145/1287624.1287685",

language = "Undefined/Unknown",

pages = "434",

}

TY - CONF

T1 - Contract driven development= test driven development-writing test cases

AU - Leitner, Andreas

AU - Ciupa, Ilinca

AU - Oriol, Manuel

AU - Meyer, Bertrand

AU - Fiva, A.

PY - 2007

Y1 - 2007

N2 - Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUnit which automate part of the process, unit testing remains a time-consuming, resource-intensive, and not particularly appealing activity.This paper introduces a new development method, called Contract Driven Development. This development method is based on a novel mechanism that extracts test cases from failure-producing runs that the programmers trigger. It exploits actions that developers perform anyway as part of their normal process of writing code. Thus, it takes the task of writing unit tests off the developers' shoulders, while still taking advantage of their knowledge of the intended semantics and structure of the code. The approach is based on the presence of contracts in code, which act as the oracle of the test cases. The test cases are extracted completely automatically, are run in the background, and can easily be maintained over versions. The tool implementing this methodology is called Cdd and is available both in binary and in source form.

AB - Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUnit which automate part of the process, unit testing remains a time-consuming, resource-intensive, and not particularly appealing activity.This paper introduces a new development method, called Contract Driven Development. This development method is based on a novel mechanism that extracts test cases from failure-producing runs that the programmers trigger. It exploits actions that developers perform anyway as part of their normal process of writing code. Thus, it takes the task of writing unit tests off the developers' shoulders, while still taking advantage of their knowledge of the intended semantics and structure of the code. The approach is based on the presence of contracts in code, which act as the oracle of the test cases. The test cases are extracted completely automatically, are run in the background, and can easily be maintained over versions. The tool implementing this methodology is called Cdd and is available both in binary and in source form.

U2 - 10.1145/1287624.1287685

DO - 10.1145/1287624.1287685

M3 - Paper

SP - 434

ER -