WorldCat Identities

Sayward, Frederick

Overview
Works: 16 works in 32 publications in 1 language and 381 library holdings
Roles: Editor
Classifications: QA76.6, 001.6425
Publication Timeline
Key
Publications about  Frederick Sayward Publications about Frederick Sayward
Publications by  Frederick Sayward Publications by Frederick Sayward
Most widely held works by Frederick Sayward
Software metrics : an analysis and evaluation by Alan D Perlis ( Book )
6 editions published in 1981 in English and held by 348 WorldCat member libraries worldwide
The role of metrics in software and software development. Summary of panel findings. Software metrics: a research initiative. Toward a scientific basis for software evaluation. Design of software experiments. Experimental evaluation of software characteristics. Software project forecasting. Controlling software development through the life cycle model. Resource models. High level language metrics. Data collection, validation and analysis. A scientific approach to statistical software. Performance evaluation: a software metrics success story. Statistical measures of software reliability. The measurement of software quality and complexity. Complexity of large systems. Software maintenance tools and statistics. When is good enough? Evaluation and selecting software metrics. Annotated bibliography on software metrics. Index
Draft Software Metrics Panel final report : papers presented at the 30 June 1980 meeting on software metrics, Washington, DC ( Book )
2 editions published in 1980 in English and held by 7 WorldCat member libraries worldwide
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 integration, (6) maintenance and enhancement, and (7) replacement or retirement. Since software specification is always imprecise and since the demands on software change with time, backtrack cycles to earlier stages often take place. It is not uncommon for several stages to co-exist and influence each others progress
Heuristics for determining equivalence of program mutations by Douglas Baldwin ( Book )
2 editions published in 1979 in English and held by 4 WorldCat member libraries worldwide
A mutant M of a program P is a program derived from P by making some well defined simple change in P. Some initial investigations on automatically detecting equivalent mutants of a program are presented. The idea is based on the observation that compiler optimization can be considered a process of altering a program to an equivalent but more efficient mutant of the program. Thus the inverse of compiler optimization techniques can be seen as, in essence, equivalent mutant detection. (Author)
The Definition Mechanism for Standard PL/I by Michael Marcotty ( Book )
3 editions published in 1976 in English and held by 3 WorldCat member libraries worldwide
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 are presented along with several small examples to illustrate the definition technique's features. The complete definition process is shown by the definition of a small example language. (Author)
Mutation Analysis by Allen Troy Acree ( Book )
3 editions published in 1979 in English and held by 3 WorldCat member libraries worldwide
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 determine the effectiveness of mutation analysis are described, and examples are presented to illustrate the way in which the technique can be used to detect a wide class of errors, including many previously defined and studied in the literature. Finally, a number of empirical studies are suggested, the results of which may add confidence to the outcome of the mutation analysis of a program. (Author)
Theoretical and Empirical Studies on Using Program Mutation to Test the Functional Correctness of Programs by Timothy Budd ( Book )
2 editions published in 1980 in English and held by 2 WorldCat member libraries worldwide
A framework for studying the program mutation testing method from both theoretical and empirical viewpoints is presented. (Author)
Error programs and test data for life-cycle experiments by Timothy Budd ( Book )
1 edition published in 1980 in English and held by 2 WorldCat member libraries worldwide
Papers on Program Testing by Richard A DeMillo ( Book )
3 editions published in 1979 in English and held by 2 WorldCat member libraries worldwide
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 about mutation as a testing tool, there is a considerable body of written material which describes our initial experience with the technique. Much of this material has appeared only in workshops or as memoranda, so we have been urged to collect it together for wider dissemination. The current collection is the result. The reader should note that the selections do not appear in chronological order; rather, they are organized so that a sufficiently patient reader may proceed from the conceptual basis of mutation analysis through implementation, application, and theoretical issues
Statistical Measures of Software Reliability by Richard A DeMillo ( Book )
2 editions published in 1980 in English and held by 2 WorldCat member libraries worldwide
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 to capture the most significant aspect of reliability estimation as it applies to software: most software is unreliable by these standards, but the degree of unreliability is not quantified. A useful program which has not been proved correct is unreliable, but so is, say, the null program (unless by some perversity of specification the null program satisfies the designer); an operationally meaningful scale of reliability should distinguish these extremes. In the sequel, we will sketch the outlines of the traditional theory that is most relevant to software reliability estimation, give a brief critical analysis of the use of the traditional theory in measuring reliability, and describe another use of the R(t) measure which we believe more closely fits the intuitive requirements of the scale we asked for above
Increasing Confidence in Software through Program Perturbations ( Book )
1 edition published in 1976 in English and held by 2 WorldCat member libraries worldwide
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 data is not adequate, that there exist equivalent programs in the list, or that the original program is incorrect. An empty list indicates that the original program is either correct or 'far' from correct. While the set of perturbation programs should be large enough to include many commonly made errors, it appears that there is a coupling effect suggesting that errors not present in the set of perturbation programs are still checked by this method. Two examples of the use of this method are given. (Author)
Steps Towards Efficiently Implementing Program Mutation Systems. The High Level Design of a Distributed Mutation System by Richard J Lipton ( Book )
2 editions published in 1981 in English and held by 2 WorldCat member libraries worldwide
Program mutation is a promising method for testing the functional correctness of programs. Its major criticism has been a lack of an efficient implementation method. This report presents four methods which have the potential to dramatically improve the time needed to perform program mutation: distributed computation, automatically detecting equivalent mutants, partial mutant execution, and a 'weak' version of program mutation. The presentation of the four potential speed-up methods is given in terms of a high-level design of a prototype distributed program mutation system. One goal of this system will be to analyze how the parallelism inherent in program mutation can be exploited on emerging distributed computer systems consisting of many processors. Another goal is to perform experiments to measure the gain in efficiency realizable by a distributed program mutation system and to compare the relative strength of weak program mutation against program mutation. In the report we also indicate areas which should receive special attention in the detailed design of a prototype distributed mutation system if these goals are to be met
The Definition Mechanism for Standard PL ( Book )
1 edition published in 1976 in Undetermined and held by 1 WorldCat member library worldwide
Response time of parallel programs by Richard J Lipton ( Book )
1 edition published in 1978 in English and held by 1 WorldCat member library worldwide
Correctness influenced design of parallel programming languages by Frederick G Sayward ( Book )
1 edition published in 1976 in English and held by 1 WorldCat member library worldwide
Testing Bradley's greatest common divisor program on EXPER by Robert L Hess ( Book )
1 edition published in 1979 in Undetermined and held by 1 WorldCat member library worldwide
Correctness influenced design of parallel processing languages by Frederick G Sayward ( Book )
1 edition published in 1982 in English and held by 0 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.78 (from 0.00 for The Defini ... to 1.00 for Mutation A ...)
Languages
English (30)
Covers