An Empirical Framework for Comparing Effectiveness of Testing and Property-Based Formal Analysis

by Jeremy S. Bradbury, James R. Cordy, Juergen Dingel

Abstract

Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tools. We are interested in exploring the complementary relationship as well as tradeoffs between testing and formal analysis with respect to debugging and more specifically bug detection. In this paper we present an approach to the assessment of testing and formal analysis tools using metrics to measure the quantity and efficiency of each technique at ¯nding bugs. We also present an assessment framework that has been constructed to allow for symmetrical comparison and evaluation of tests versus properties. We are currently beginning to conduct experiments and this paper presents a discussion of possible outcomes of our proposed empirical study.

Bibliographic Information [Bibtex format]

@inproceedings{BCD05,
Author = {Jeremy S. Bradbury AND James R. Cordy AND Juergen Dingel},
Booktitle = {Proc. of the 6th Int. ACM SIGPLAN-SIGSOFT Work. on Program Analysis for Software Tools and Engineering (PASTE 2005)},
Month = {Sept.},
Pages = {2--5},
Title = {An Empirical Framework for Comparing Effectiveness of Testing and Property-Based Formal Analysis},
Year = {2005}}

Paper: [PDF]   Presentation: [PDF]

Share: