Ranking programs using black box testing
Paper i 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.

Författare

Koen Lindström Claessen

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

John Hughes

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Michal Palka

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Nicholas Smallbone

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Hans Svensson

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Proceedings - International Conference on Software Engineering

02705257 (ISSN)

103-110

Ämneskategorier

Data- och informationsvetenskap

DOI

10.1145/1808266.1808282

ISBN

978-160558970-1