Axiomatizing software test data adequacy

EJ Weyuker - IEEE transactions on software engineering, 1986 - ieeexplore.ieee.org
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 …

Analysis and refinement of software test data adequacy properties

A Parrish, SH Zweben - IEEE Transactions on Software …, 1991 - search.proquest.com
An important objective of research in software testing is to develop criteria or standards for
use in deciding when enough testing has been performed. Previous research in software …

The evaluation of program-based software test data adequacy criteria

EJ Weyuker - Communications of the ACM, 1988 - dl.acm.org
In earlier work, a preliminary set of axioms for software test data adequacy was introduced in
order to formalize properties which should be satisfied by any good program-based …

A formal analysis of the subsume relation between software test adequacy criteria

H Zhu - IEEE Transactions on Software Engineering, 1996 - ieeexplore.ieee.org
Software test adequacy criteria are rules to determine whether a software system has been
adequately tested. A central question in the study of test adequacy criteria is how they relate …

Test data adequacy measurement

H Zhu, PAV Hall - Software Engineering Journal, 1993 - IET
Criteria for test data adequacy are rules for deciding when enough testing has been
performed. Development of these criteria is an important objective of research in software …

An empirical comparison of data flow and mutation‐based test adequacy criteria

AP Mathur, WE Wong - Software Testing, Verification and …, 1994 - Wiley Online Library
Abstract Evaluation of the adequacy of a test set consisting of one or more test cases is a
problem oftes encountered in software testing environments. Two test adequacy criiteria are …

The cost of data flow testing: An empirical study

EJ Weyuker - IEEE Transactions on Software Engineering, 1990 - ieeexplore.ieee.org
A family of test data adequacy criteria employing data-flow information was previously
proposed, and a theoretical complexity analysis was performed. The author describes an …

[图书][B] A measure of test case completeness (software, engineering)

PJ Walsh - 1985 - search.proquest.com
A MEASURE OF TEST CASE COMPLETENESS (SOFTWARE, ENGINEERING) A
MEASURE OF TEST CASE COMPLETENESS (SOFTWARE, ENGINEERING) Abstract …

Toward a theory of test data selection

JB Goodenough, SL Gerhart - Proceedings of the international …, 1975 - dl.acm.org
This paper examines the theoretical and practical role of testing in software development.
We prove a fundamental theorem showing that properly structured tests are capable of …

Software unit test coverage and adequacy

H Zhu, PAV Hall, JHR May - Acm computing surveys (csur), 1997 - dl.acm.org
Objective measurement of test quality is one of the key issues in software testing. It has been
a major research focus for the last two decades. Many test criteria have been proposed and …