Generating Software Tests
Morgan Kaufmann (Publisher)
Will be published approx. on 1. November 2029
Book
Paperback/Softback
400 pages
978-0-12-398546-0 (ISBN)
Description
Generating Software Tests describes the latest techniques to automatically generate test cases, first presenting simple examples to illustrate testing basics, then extending to full-fledged frameworks that generate tests for real code.
The text offers a comprehensive overview of test case generation, demonstrating an automated approach to testing that includes their potential strengths, weaknesses, and tradeoffs.
Authors Zeller and Fraser share their state-of-the-art research with working developers, following the successful model of Zeller's award-winning previous book, Why Programs Fail: A Systematic Guide to Debugging, grounding each topic in fundamentals and immediately applying them to working program and system examples
The text offers a comprehensive overview of test case generation, demonstrating an automated approach to testing that includes their potential strengths, weaknesses, and tradeoffs.
Authors Zeller and Fraser share their state-of-the-art research with working developers, following the successful model of Zeller's award-winning previous book, Why Programs Fail: A Systematic Guide to Debugging, grounding each topic in fundamentals and immediately applying them to working program and system examples
More details
Language
English
Place of publication
San Francisco
United States
Publishing group
Elsevier Science & Technology
Target group
College/higher education
Dimensions
Height: 234 mm
Width: 191 mm
ISBN-13
978-0-12-398546-0 (9780123985460)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Persons
Andreas Zeller is a full professor for Software Engineering at Saarland University in Saarbruecken, Germany. His research concerns the analysis of large software systems and their development process; his students are funded by companies like Google, Microsoft, or SAP. In 2010, Zeller was inducted as Fellow of the ACM for his contributions to automated debugging and mining software archives. In 2011, he received an ERC Advanced Grant, Europe's highest and most prestigious individual research grant, for work on specification mining and test case generation. His book "Why programs fail", the "standard reference on debugging", obtained the 2006 Software Development Jolt Productivity Award. Gordon Fraser is a lecturer in Computer Science at the University of Sheffield, UK. His research concerns improving software quality through prevention, detection, and removal of defects in software. More specifically, he develops techniques to generate test cases automatically, and to guide the tester in validating the output of tests by producing test oracles and specifications. He is involved in the majority of academic software testing events; he has been programme chair of several conferences and workshops, member of many programme committees, and editor of several special journal issues related to software testing.
Author
Saarland University, Saarbruecken, Germany
University of Sheffield, UK
Content
TABLE OF CONTENTS (SHORT):
Testing Basics
Assessing Test Quality
Testing Levels
Checking Test Results
Random Execution Generation
Exhaustive Execution Generation
Constrain-based Execution Generation
Search-based Execution Generation
Generation Oracles
Maintaining Tests
From Testing to Proving
Testing Basics
Assessing Test Quality
Testing Levels
Checking Test Results
Random Execution Generation
Exhaustive Execution Generation
Constrain-based Execution Generation
Search-based Execution Generation
Generation Oracles
Maintaining Tests
From Testing to Proving