By Topic

An experimental evaluation of programming by contract

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
M. Blom ; Dept. of Comput. Sci., Karlstad Univ., Sweden ; E. J. Nordby ; A. Brunstrom

This paper presents an experiment designed to compare a contract-based programming method with a reference programming method based on exceptions. The purpose was to evaluate whether contracts would shorten the development time, improve work satisfaction and increase the quality of the resulting software program. The experiment was carried out in a project work course for students in the computer science program at Karlstad University. The students were to solve an assignment in groups of four within a period of ten weeks. Half of the groups used the contract-based method and the other half the exception based method. For statistical analysis we gathered data on time consumption and work satisfaction on daily report forms. The results show that there was a gain in the time spent on implementation of the assignment when the contract-based method is used, but show no significant difference in total time consumption. The results give a weak indication that work satisfaction was slightly higher in the groups using the contract-based method. The resulting programs were analyzed for a range of quality metrics, but no significant differences were found that were directly related to the methods

Published in:

Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the

Date of Conference: