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:   Print 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


Primary Entity

<http://www.worldcat.org/oclc/227455468> # Increasing Confidence in Software through Program Perturbations.
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "227455468" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2542122477#Place/ft_belvoir> ; # Ft. Belvoir
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2542122477#Topic/coupling_interaction> ; # Coupling(interaction)
    schema:about <http://experiment.worldcat.org/entity/work/data/2542122477#Topic/computer_programming_and_software> ; # Computer Programming and Software
    schema:about <http://experiment.worldcat.org/entity/work/data/2542122477#Topic/information_processing> ; # Information processing
    schema:about <http://experiment.worldcat.org/entity/work/data/2542122477#Topic/input> ; # Input
    schema:about <http://experiment.worldcat.org/entity/work/data/2542122477#Topic/computer_program_verification> ; # Computer program verification
    schema:about <http://experiment.worldcat.org/entity/work/data/2542122477#Topic/perturbations> ; # Perturbations
    schema:about <http://experiment.worldcat.org/entity/work/data/2542122477#Topic/debugging_computers> ; # Debugging(computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/2542122477#Topic/computer_program_reliability> ; # Computer program reliability
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/94407333> ; # Frederick G. Sayward
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2542122477#Organization/yale_univ_new_haven_conn_dept_of_computer_science> ; # YALE UNIV NEW HAVEN CONN DEPT OF COMPUTER SCIENCE.
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2542122477#Person/hanson_david> ; # David Hanson
    schema:contributor <http://viaf.org/viaf/117513630> ; # Richard J. Lipton
    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/2542122477> ;
    schema:inLanguage "en" ;
    schema:name "Increasing Confidence in Software through Program Perturbations."@en ;
    schema:numberOfPages "18" ;
    schema:productID "227455468" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/227455468#PublicationEvent/ft_belvoirdefense_technical_information_centernov_1976> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2542122477#Agent/defense_technical_information_center> ; # Defense Technical Information Center
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/227455468> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2542122477#Agent/defense_technical_information_center> # Defense Technical Information Center
    a bgn:Agent ;
    schema:name "Defense Technical Information Center" ;
    .

<http://experiment.worldcat.org/entity/work/data/2542122477#Organization/yale_univ_new_haven_conn_dept_of_computer_science> # YALE UNIV NEW HAVEN CONN DEPT OF COMPUTER SCIENCE.
    a schema:Organization ;
    schema:name "YALE UNIV NEW HAVEN CONN DEPT OF COMPUTER SCIENCE." ;
    .

<http://experiment.worldcat.org/entity/work/data/2542122477#Person/hanson_david> # David Hanson
    a schema:Person ;
    schema:familyName "Hanson" ;
    schema:givenName "David" ;
    schema:name "David Hanson" ;
    .

<http://experiment.worldcat.org/entity/work/data/2542122477#Topic/computer_program_reliability> # Computer program reliability
    a schema:Intangible ;
    schema:name "Computer program reliability"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2542122477#Topic/computer_program_verification> # Computer program verification
    a schema:Intangible ;
    schema:name "Computer program verification"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2542122477#Topic/computer_programming_and_software> # Computer Programming and Software
    a schema:Intangible ;
    schema:name "Computer Programming and Software"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2542122477#Topic/coupling_interaction> # Coupling(interaction)
    a schema:Intangible ;
    schema:name "Coupling(interaction)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2542122477#Topic/debugging_computers> # Debugging(computers)
    a schema:Intangible ;
    schema:name "Debugging(computers)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2542122477#Topic/information_processing> # Information processing
    a schema:Intangible ;
    schema:name "Information processing"@en ;
    .

<http://viaf.org/viaf/117513630> # Richard J. Lipton
    a schema:Person ;
    schema:familyName "Lipton" ;
    schema:givenName "Richard J." ;
    schema:name "Richard J. Lipton" ;
    .

<http://viaf.org/viaf/94407333> # Frederick G. Sayward
    a schema:Person ;
    schema:familyName "Sayward" ;
    schema:givenName "Frederick G." ;
    schema:name "Frederick G. Sayward" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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