A Formal Notion of Program-Based Test Data Adequacy: October, 1982 (Classic Reprint) - Softcover

Davis, Martin D.

Softcover

ISBN 10: 1332089178 ISBN 13: 9781332089178

Verlag: Forgotten Books, 2018

Inhaltsangabe

Excerpt from A Formal Notion of Program-Based Test Data Adequacy: October, 1982

We now define our programming language. Although most of the results of the paper are not really dependent on the particular details of this language, it is necessary to have an explicit syntax.

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.

Über diesen Titel

Reseña del editor

Excerpt from A Formal Notion of Program-Based Test Data Adequacy: October, 1982

Introduction

We propose a definition of the notion of adequacy of test data and discuss justification, difficulties, and properties of the notion. It is not the purpose of this paper to suggest a definite practically applicable criterion of test data adequacy. Rather we present a theoretical analysis which, it is believed, gives insight into such questions as:

a) For a given program, what points must belong to a test set in order that it may be deemed adequate?

b)For a given program, how many points must belong to an adequate test set?

c)What kind of approximation to "correctness" can be provided by the knowledge that a program has been "adequately" tested?

We believe, in general, that an adequacy criterion should be invoked only after the test data fails to expose errors. Clearly, as long as there is an element of the test set on which the program does not agree with the specification, we know that the test data is still doing its job and that testing (and subsequent debugging) must continue. (In this paper, we ignore the question of whether and how we can tell whether a program agrees with a specification at a particular point. However, see [15], [3].)Once the program does agree with the specification on all elements of a set of test data, we must decide whether the testing phase can end, and hence we will need to invoke some kind of adequacy criterion.

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.

Details zur Ausgabe

• Verlag: Forgotten Books
• Erscheinungsdatum: 2018
• Sprache: Englisch
• ISBN 10: 1332089178
• ISBN 13: 9781332089178
• Einband: Tapa blanda
• Anzahl der Seiten: 52
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Nicht verfügbar