Loading [MathJax]/extensions/MathMenu.js
Axiomatizing software test data adequacy | IEEE Journals & Magazine | IEEE Xplore

Axiomatizing software test data adequacy


Abstract:

A test data adequacy criterion is a set of rules used to determine whether or not sufficient testing has been performed. A general axiomatic theory of test data adequacy ...Show More

Abstract:

A test data adequacy criterion is a set of rules used to determine whether or not sufficient testing has been performed. A general axiomatic theory of test data adequacy is developed, and five previously proposed adequacy criteria are examined to see which of the axioms are satisfied. It is shown that the axioms are consistent, but that only two of the criteria satisfy all of the axioms.
Published in: IEEE Transactions on Software Engineering ( Volume: SE-12, Issue: 12, December 1986)
Page(s): 1128 - 1138
Date of Publication: 26 September 2012

ISSN Information:


Contact IEEE to Subscribe