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

Martin D. Davis

Couverture souple

ISBN 10 : 1332089178 ISBN 13 : 9781332089178

Editeur : Forgotten Books, 2018

Synopsis

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.

Détails de l'édition

• Éditeur: Forgotten Books
• Date d'édition: 2018
• Langue: anglais
• ISBN 10: 1332089178
• ISBN 13: 9781332089178
• Reliure: Broché
• Nombre de pages: 51
• Coordonnées du fabricant: Copytech (UK) Ltd, Trading as Printondemand-worldwide.com; gpsr@podww.com; ; 9 Culley Court; Orton Southgate; Peterborough; Cambridgeshire; PE2 6WA; Royaume-Uni
• Personne responsable: Easy Access System Europe Oü, 16879218; +358405003575; gpsr.requests@easproject.com; ; Mustamäe tee 50; Tallinn; 10621; Estonie