KIT | KIT-Bibliothek | Impressum | Datenschutz

A detailed description of two controlled experiments concerning the usefulness of assertions as a means for programming

Mueller, Matthias M.; Typke, Rainer; Hagner, Oliver


Assertions or more generally "Programming by contract"
have gained widespread acceptance in the computer science
community as a means for correct program development. However,
the literature lacks an empirically evaluation of the benefits a
programmer gains by using assertions in his software
development. This paper reports about two controlled experiments
to close this gap. Both experiments compared "Programming by
contract" to the traditional programming style without
assertions. The evaluation suggests that assertions tend to
decrease the programming effort and that assertions lead to more
reliable programs compared to those programs written without
using them.

Open Access Logo

Volltext §
DOI: 10.5445/IR/832002
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buch
Publikationsjahr 2002
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA8320027
KITopen-ID: 832002
Erscheinungsvermerk Karlsruhe 2002. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 2002,2.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page