skip to content
Increasing Confidence in Software through Program Perturbations. Preview this item
ClosePreview this item
Checking...

Increasing Confidence in Software through Program Perturbations.

Author: David Hanson; Richard J Lipton; Frederick G Sayward; YALE UNIV NEW HAVEN CONN DEPT OF COMPUTER SCIENCE.
Publisher: Ft. Belvoir Defense Technical Information Center NOV 1976.
Edition/Format:   Book : English
Database:WorldCat
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: David Hanson; Richard J Lipton; Frederick G Sayward; YALE UNIV NEW HAVEN CONN DEPT OF COMPUTER SCIENCE.
OCLC Number: 227455468
Description: 18 p.

Abstract:

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).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/227455468>
library:oclcnum"227455468"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/227455468>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:datePublished"1976"
schema:datePublished"NOV 1976"
schema:description"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)."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/137180771>
schema:inLanguage"en"
schema:name"Increasing Confidence in Software through Program Perturbations."@en
schema:numberOfPages"18"
schema:publisher
schema:url

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.