| Statistical Measures of Software Reliability |
OCT 1980 |
|
| Authors:
Richard A. DeMillo; Frederick G. Sayward; GEORGIA INST OF TECH ATLANTA SCHOOL OF INFORMATION AND COMPUTER SCIENCE
|
 | Estimating program reliability presents many of the same problems as measuring software performance and cost: the central technical issue concerns the existence of an independent objective scale upon which may be based a qualitative judgement of the ability of a given program to function as intended in a specified environment over a specified time interval. Several scales have already been proposed. While these concepts may have independent interest, they fail ... |
|
| Draft Software Metrics Panels Final Report. Papers Presented at the 30 June 1980 Meeting on Software Metrics, Washington DC. |
JUN 1980 |
|
| Authors:
Alan J. Perlis; Frederick G. Sayward; Mary Shaw; YALE UNIV NEW HAVEN CT DEPT OF COMPUTER SCIENCE
|
| Software metrics is a new area of computer science aimed at assigning quantitative indices of merit to software. Here software means more than simple source code; 'software' as a generic for all the stages of tailoring a computer system to solve a problem is used here. All software passes through the following seven stages in its life cycle: (1) requirements analysis, (2) specification, (3) design, (4) implementation, (5) testing and ... |
|
| Theoretical and Empirical Studies on Using Program Mutation to Test the Functional Correctness of Programs. |
FEB 1980 |
|
| Authors:
Timothy A. Budd; Richard A. DeMillo; Richard J. Lipton; Frederick G. Sayward; GEORGIA INST OF TECH ATLANTA SCHOOL OF INFORMATION AND COMPUTER SCIENCE
|
| A framework for studying the program mutation testing method from both theoretical and empirical viewpoints is presented. (Author) |
|
| Mutation Analysis. |
SEP 1979 |
|
| Authors:
Allen T. Acree ; Timothy A. Budd ; Richard A. DeMillo ; Richard J. Lipton ; Frederick G. Sayward; GEORGIA INST OF TECH ATLANTA SCHOOL OF INFORMATION AND COMPUTER SCIENCE
|
| A new Type of software test, called mutation analysis, is introduced. A method of applying mutation analysis is described, and the design of several existing automated systems for applying mutation analysis to Fortran and Cobol programs is sketched. These systems have been the means for preliminary studies of the efficiency of mutation analysis and of the relationship between mutation and other systematic testing techniques. The results of several experiments to ... |
|
| Mutation Analysis. |
APR 1979 |
|
| Authors:
Timothy A. Budd; Richard J. Lipton; Richard A. DeMillo; Frederick G. Sayward; YALE UNIV NEW HAVEN CONN DEPT OF COMPUTER SCIENCE
|
| A new type of software test is introduced, called mutation analysis. A method for applying mutation analysis is described, and the results of several experiments to determine its effectiveness are given. Finally it is shown how mutation analysis can subsume or augment many of the more traditional program testing techniques. (Author) |
|
| Papers on Program Testing |
1979 |
|
| Authors:
Richard A. DeMillo; Richard J. Lipton; Frederick G. Sayward; GEORGIA INST OF TECH ATLANTA SCHOOL OF INFORMATION AND COMPUTER SCIENCE
|
| Since late 1976, we have been involved in what we believe is a new approach to computer program testing, an approach called mutation analysis (and we shall forever be indebted to Jerome Feldman for suggesting the term). The main novelties of the mutation approach to program testing are its simplicity, its empirical basis, its ease of mechanical implementation, and its tractability for scientific analysis. Although much remains to be learned ... |
|
| Increasing Confidence in Software through Program Perturbations. |
NOV 1976 |
|
| Authors:
David Hanson; Richard J. Lipton; Frederick G. Sayward; YALE UNIV NEW HAVEN CONN DEPT OF COMPUTER SCIENCE
|
| A new method for increasing confidence in software based on the premise that competent programmers write correct or 'nearly' correct software is presented. The envisioned system takes as input a program and a set of test data. It produces and executes a set of perturbation programs, and generates a list indicating which perturbation programs are indistinguishable from the original program (with the given data). A non-empty list indicates that the ... |
|
| The Definition Mechanism for Standard PL/I. |
SEP 1976 |
|
| Authors:
Michael Marcotty; Frederick G. Sayward; YALE UNIV NEW HAVEN CONN DEPT OF COMPUTER SCIENCE
|
| The mechanism used to define the programming language PL/I in the recently adopted American National Standard is presented. This method provides a rigorous though semi-formal specification of the language. It uses the model of translation of programs into an abstract form to define the context-free and context-sensitive syntax. The semantics are defined by the interpretation of the abstract form of the program on a hypothetical machine. The method and metalanguage ... |
|
Reports by Author
