Image of Functional program testing and analysis

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.

Availability
160416/1005.302 87 HOW fMy LibraryAvailable
160416/2005.302 87 HOW fMy LibraryAvailable
Detail Information
Series Title
Software engineering series
Call Number
005.302 87 HOW f
Publisher
McGraw-Hill : New York.,
Collation
xii, 175 hlm.; 22 cm
Language
English
ISBN/ISSN
0-07-100475-0
Classification
005.302 87
Content Type
-
Media Type
-
Carrier Type
-
Edition
Cet. 1
Subject(s)
COMPUTER PROGRAMS -- TESTING
Specific Detail Info
-
Statement of Responsibility
Other version/related

No other version available

File Attachment
Comments
You must be logged in to post a comment