A Formal Notion of Program-Based Test Data Adequacy (Classic Reprint): October, 1982: October, 1982 (Classic Reprint) - Tapa blanda
Sinopsis
A formal guide to understanding how test data proves a program’s correctness, with practical ideas for designing effective tests.
This nonfiction work introduces a rigorous way to measure how well a set of test data can distinguish a program’s behavior from other programs with the same input-output results. It explains concepts like size-adequacy, branch coverage, and mutation analysis, and it shows how these ideas relate to making testing more reliable. The text also defines a small programming language to illustrate these ideas and presents results about when test data can or cannot be adequate.
- Learn how different notions of adequacy compare, from distinguishing programs by size to ensuring coverage of program branches.
- See how critical points and boundary values influence what tests must include.
- Understand how mutation analysis helps test sets catch differences that matter in practice.
- Explore theorems and arguments that connect test data choices to program size and structure.
Ideal for readers of theoretical computer science and software testing who want a clear framework for evaluating and improving test data.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para A Formal Notion of Program-Based Test Data Adequacy...
Imagen del vendedor
A Formal Notion of Program-Based Test Data Adequacy: October, 1982
Impresión bajo demandaLibrería: Forgotten Books, London, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: New. Print on Demand. This book presents a new framework for conceptualizing program-based test data adequacy, an essential tool for ensuring software quality assurance. The author builds on existing research and extends it with novel ideas, providing a deeper understanding of the complexities of test data adequacy. The approach outlined in this book offers vital insights into how to develop efficient and effective testing strategies, ensuring that software meets its intended purpose and performs reliably. Its practical implications will be of great value to software engineers and researchers alike. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item. Nº de ref. del artículo: 9781332089178_0
Comprar nuevo
EUR 15,25
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
A Formal Notion of Program-Based Test Data Adequacy
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: LW-9781332089178
Comprar nuevo
EUR 21,54
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
A Formal Notion of Program-Based Test Data Adequacy
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: LW-9781332089178
Comprar nuevo
EUR 20,59
Envío por EUR 3,78
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
A Formal Notion of Program-Based Test Data Adequacy : October, 1982 (Classic Reprint)
Publicado por
Forgotten Books, 2015
ISBN 10: 1332089178
ISBN 13: 9781332089178
Antiguo o usado
Tapa blanda
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. Zustand: Sehr gut | Seiten: 52 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Nº de ref. del artículo: 26048672/2
Comprar usado
EUR 10,43
Envío por EUR 105,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles