Browse Prior Art Database

Software Testing and Test Documentation

IP.com Disclosure Number: IPCOM000131382D
Original Publication Date: 1979-Mar-01
Included in the Prior Art Database: 2005-Nov-10
Document File: 19 page(s) / 67K

Publishing Venue

Software Patent Institute

Related People

Edward Miller: AUTHOR [+3]

Abstract

The technology of software testing has lagged behind that of other sub-disciplines in software engineering, possibly for lack of interest and possibly because software testing problems tend to be subtler and (some say) harder than is thought at first glance. This workshop, the first of its kind, brought together some 60 technical experts from all over the world at the Bahia Mar Hotel in Fort Lauderdale, Florida, for an intensive two-anda-half-day series of meetings and discussions.

This text was extracted from a PDF file.
This is the abbreviated version, containing approximately 5% of the total text.

Page 1 of 19

THIS DOCUMENT IS AN APPROXIMATE REPRESENTATION OF THE ORIGINAL.

This record contains textual material that is copyright ©; 1979 by the Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Contact the IEEE Computer Society http://www.computer.org/ (714-821-8380) for copies of the complete work that was the source of this textual material and for all use beyond that as a record from the SPI Database.

Software Testing and Test Documentation

(Image Omitted: The workshop's general and session chairmen offer their summaries of the challenges to the software testing community identified at the December meeting.)

(Image Omitted: The workshop's general and session chairmen offer their summaries of the challenges to the software testing community identified at the December meeting.)

Program chairman's overview

Edward Miller

Software Research Associates

The technology of software testing has lagged behind that of other sub-disciplines in software engineering, possibly for lack of interest and possibly because software testing problems tend to be subtler and (some say) harder than is thought at first glance. This workshop, the first of its kind, brought together some 60 technical experts from all over the world at the Bahia Mar Hotel in Fort Lauderdale, Florida, for an intensive two-anda-half-day series of meetings and discussions.

One of the workshop's goals was to identify, if possible, some research and development objectives for the next decade of work on software test technology. Whether that was accomplished is unclear, but there is little doubt that some interesting questions were raised regarding testing, its relation to other sub-disciplines in software engineering, and its application in general. This report attempts to outline some of the directions the technical presentations took. The articles

following this overview take a more detailed look at the individual papers presented.

Theoretical aspects.

This session, chaired by Susan Gerhart of the Information Sciences Institute, addressed the underlying foundations of testing. What is the relationship between testing and other methods of quality assurance, most importantly program proving? Under what conditions can a test of a program guarantee correctness, and what are the limits of software testing? The session centered around such questions and the series of discussions they elicited.

Not surprisingly, the session papers focused on Goodenough and Gerhart's excellent technical contribution,' which has acted to establish the tone and framework for investigating testing technology over the last few years. Papers by Hamlet, Richardson, and Ostrand and Weyuker addressed these and other issues.

Empirical studies of effectiveness.

IEEE Computer Society, Mar 01, 1979 Page 1 IEEE Computer Volume 12 Number 3, Pages 98-107

Page 2 of 19

Software Testing and Test Documentation

While software teeing theory represents one approach to developing a firm basis for the techn...