Publisher's Synopsis
Excerpt from An Error-Based Testing Strategy
Testing is the most common way of gaining confidence in the correctness of software. Despite a long history of practical testing experience, it is only during the last five years that researchers have attempted to formulate a theoretical foundation for testing.
The initial steps in this direction were taken by Goodenough and Gerhart who formulated an ambitious theory which described conditions under which a program can be determined to be correct by testing. They defined a set of inputs T to be an ideal test for a program P, relative to specifications S, if the correct performance of P on T implies the program is correct on its entire input domain. A test selection criterion is a rule used to select sets of tests.
Their fundamental theorem of testing gives sufficient conditions for a criterion to select ideal tests. The theorem's conditions can be used as guidelines for developing test cases, but the conditions are so strong that they are essentially impossible to fulfill in practice. Stimulated by this work, subsequent research aimed at finding results of more limited scope, but with broader applicability.
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
