Ranking programs using black box testing
Paper in proceeding, 2010
We present an unbiased method for measuring the relative quality of different solutions to a programming problem. Our method is based on identifying possible bugs from program behaviour through black-box testing. The main motivation for such a method is its use in experimental evaluation of software development methods. We report on the use of our method in a small-scale such experiment, which was aimed at evaluating the effectiveness of property-based testing vs. unit testing in software development. Copyright 2010 ACM.
Author
Koen Lindström Claessen
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
John Hughes
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Michal Palka
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Nicholas Smallbone
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Hans Svensson
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Proceedings - International Conference on Software Engineering
02705257 (ISSN)
103-110978-160558970-1 (ISBN)
Subject Categories
Computer and Information Science
DOI
10.1145/1808266.1808282
ISBN
978-160558970-1