WorldCat Identities

Sayward, Frederick

Overview
Works: 16 works in 41 publications in 1 language and 380 library holdings
Roles: Author, Editor
Classifications: QA76.6, 001.6425
Publication Timeline
.
Most widely held works by Frederick Sayward
Software metrics : an analysis and evaluation by Alan D Perlis( Book )

7 editions published in 1981 in English and held by 339 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 )

1 edition published in 1980 in English and held by 5 WorldCat member libraries worldwide

Heuristics for determining equivalence of program mutations by Douglas Baldwin( Book )

3 editions published in 1979 in English and held by 5 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 )

4 editions published in 1976 in English and Undetermined and held by 4 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)
Correctness influenced design of parallel programming languages by Frederick G Sayward( Book )

4 editions published between 1976 and 1982 in English and held by 4 WorldCat member libraries worldwide

Increasing Confidence in Software through Program Perturbations by David R Hanson( Book )

2 editions published between 1976 and 1977 in English and held by 3 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)
Mutation analysis by Timothy Budd( Book )

3 editions published in 1979 in English and held by 3 WorldCat member libraries worldwide

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)
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
Testing Bradley's greatest common divisor program on EXPER by Robert L Hess( Book )

2 editions published in 1979 in Undetermined and English and held by 2 WorldCat member libraries worldwide

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)
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
Response time of parallel programs by Richard J Lipton( Book )

2 editions published between 1977 and 1978 in English and held by 2 WorldCat member libraries worldwide

Steps toward efficiently implementing program mutation systems. the high level design of a distributed mutation system by Frederick G Sayward( Book )

3 editions published in 1981 in English and Undetermined 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
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

Draft Software Metrics Panels Final Report. Papers Presented at the 30 June 1980 Meeting on Software Metrics, Washington DC( Book )

1 edition published in 1980 in English and held by 1 WorldCat member library 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
Steps towards efficiently implementing program mutation systems : the high level design of a distributed mautation system [microvorm] by Richard J Lipton( Book )

1 edition published in 1981 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.58 (from 0.55 for Software m ... to 0.99 for Draft Soft ...)

Software metrics : an analysis and evaluation
Languages
English (38)

Covers