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.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for A Formal Notion of Program-Based Test Data Adequacy:...
Stock Image
A Formal Notion of Program-Based Test Data Adequacy: October, 1982 (Classic Reprint)
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LX-9780656021161
Stock Image
A Formal Notion of Program-Based Test Data Adequacy: October, 1982 (Classic Reprint)
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LX-9780656021161
Buy New
US$ 31.18
US$ 5.65 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 15 available