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 …

In previous decades, researchers have explored the formal foundations of program testing.
By exploring the foundations of testing largely separate from any specific method of testing …

The author sheds some light on why testing today's software products is so challenging, and
he identifies several solid approaches that all testers should be able to thoughtfully apply …

There are two main goals in testing software:(1) to achieve adequate quality (debug testing),
where the objective is to probe the software for defects so that these can be removed, and …

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 …

While everyone knows the theoretical limitations of software testing, in practice we devote
considerable effort to this task and would consider it foolish or downright dangerous to skip …

A problem facing those conducting maintenance testing is to identify proper test classes. The
notion of regression testability is introduced as a way to measure the ease of retesting. Both …

This paper presents a formulation of a novel methodology for evaluation of testing in support
of operational reliability assessment and prediction. The methodology features an …

A set of test data T for a program P is reliable if it reveals that P contains an error whenever P
is incorrect. If a set of tests T is reliable and P produces the correct output for each element of …

The complete guide to software testing | Guide books ACM Digital Library home ACM home
Google, Inc. (search) Advanced Search Browse About Sign in Register Advanced Search …