Text
Functional program testing and analysis
Preface:
Chapter 1 Introduction
Chapter 2 Functions
Chapter 3 States and types
Chapter 4 Theoretical Foundations
Chapter 5 Functional program testing
Chapter 6 Functional analysis
Chapter 7 Management and planning
Book Review:
This book contains many of the classic ideas in software testing.
The point of view is taken that testing is applied to program "functions" which range from low level implementation functions to higher level functions. Alternatively, analysis is applied to the interfaces between functions.
The testing material ranges from the usual informal methods such as coverage and symbolic evaluation to formal statistical testing. In the latter, hypothesis testing is used to estimate confidence in a failure density. The book appears to be the initial description of this method.
Theoretical material includes discussions of issues such as the minimal traces that are needed to conclude correctness.
One of the issues that was discussed in early testing was the conditions under which a test would prove (qualified) correctness. This is discussed at some length and may be the definitive source for this kind of material.
The book is definitely dated, but in the intervening years there have been no other "theory of" testing books, making this a bookshelf classic. A possible exception is the recent book by J.C.Huang, which also takes a more formal approach than the trade books.
160416/1 | 005.302 87 HOW f | My Library | Available |
160416/2 | 005.302 87 HOW f | My Library | Available |
No other version available