Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!brutus.cs.uiuc.edu!apple!well!jjacobs
From: jjacobs@well.sf.ca.us (Jeffrey Jacobs)
Newsgroups: comp.software-eng
Subject: Re: Books on Software Testing (was Specification Tools and Code Testing)
Message-ID: <19629@well.sf.ca.us>
Date: 20 Aug 90 19:31:39 GMT
References: <1990Aug13.140347.9441@nixtdc.uucp> <19578@well.sf.ca.us> <1235@cs.nps.navy.mil>
Distribution: usa
Organization: Whole Earth 'Lectronic Link, Sausalito, CA
Lines: 54


Following is a brief bibliography of articles and books on testing and
configuration management:

A Standard for Testing Application Software, W.E. Perry, Auerbach,
ISBN 0-7913-0517-1.  A must have for any serious tester.

Expert System Testing, J.M. Jacobs, C. Chee, bd Systems Inc, Torrance,
CA.  (Although oriented toward testing E.S., contains a good introduction
to testing tools and life-cycle; the rest of this list is the bibliography
for this piece).

Test Data Selection and Quality Estimates Based on the Concept of Essential
Branches for  Path Testing - T. Chusho, IEEE Trans. on S.E., May 1987

A Test Design Methodology for Protocol Testing - B. Sarikaya, G. Bochman,
E. Cerny, IEEE Trans. on S.E. May 1987

Advance in Software Inspection - Michael E. Fagan, IEEE Trans. on S.E.,
July 1986

Comparing the Effectiveness of Software Testing Strategies - V.R. Basili,
R.W. Selby, IEEE Trans. on S.E., Dec. 1987

A Functional Approach to Program Testing and Analysis - W.E. Howden,
IEEE Trans. on S.E., Oct. 1986

Functional Program Testing - W.E. Howden, IEEE Trans. on S.E., March 1980

Quality Measures and Assurance for AI Software, John Rushby, SRI,
SRI-CLS-88-7R, Sept, 1988, Project 4616 (A great read for AI/ES people).

Knowledge Base Verification - T. Nguyen, W. Perkins, T.J. Laffey, D. Pecora,
AI Magazine, SUmmber 1987

An Evaluation of the Effectiveness of Symbolic Testing - W.E. Howden,
Software-Practice and Experience, J. Wiley & Sons, Ltd. 1978

Validating Expert System Performance - R. O'Keefe, O. Balci, E. Smith,
IEEE Expert, Winter 1987

Verification and Validation for Expert Systems - James Geissman,
Proceedings of 4th Annual AI & Adv. Computer Technology Conference, 1988

Software Configuration Management - E.H. Bersoff, V.D. Henderson, S.G. Siegel,
Prentice Hall, ISBN 0-13-821769-6, 1980

TDRSS FIX Processor User's Guide - J.M. Jacobs, TRW, FSCM No. 11982,
No. 29000-500-026, Dec. 1982  (Contact me if you are interested).

Jeffrey M. Jacobs
ConsArt Systems Inc, Technology & Management Consulting
P.O. Box 3016, Manhattan Beach, CA 90266
voice: (213)376-3802, E-Mail: 76702.456@COMPUSERVE.COM