skip to content
Software reliability via run-time result-checking Preview this item
ClosePreview this item
Checking...

Software reliability via run-time result-checking

Author: Manuel Blum; Hal Wasserman
Publisher: Berkeley, Calif. : International Computer Science Institute, [1994]
Series: Technical report (International Computer Science Institute), TR-94-053.
Edition/Format:   book_printbook : EnglishView all editions and formats
Database:WorldCat
Summary:
Abstract: "We review the field of result-checking, discussing simple checkers and self-correctors. We argue that such checkers could profitably be incorporated in software as an aid to efficient debugging and reliable functionality. We consider how to modify traditional checking methodologies to make them more appropriate for use in real-time, real- number computer systems. In particular, we suggest that checkers  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: Manuel Blum; Hal Wasserman
OCLC Number: 36291429
Notes: "A preliminary version of this paper appears as: 'Program result- checking: a theory of testing meets a test of theory, ' Proc. 35th IEEE FOCS, 1994."
"October 1994."
Description: 14 pages ; 28 cm.
Series Title: Technical report (International Computer Science Institute), TR-94-053.
Responsibility: Manuel Blum, Hal Wasserman.

Abstract:

Abstract: "We review the field of result-checking, discussing simple checkers and self-correctors. We argue that such checkers could profitably be incorporated in software as an aid to efficient debugging and reliable functionality. We consider how to modify traditional checking methodologies to make them more appropriate for use in real-time, real- number computer systems. In particular, we suggest that checkers should be allowed to use stored randomness: i.e., that they should be allowed to generate, pre-process, and store random bits prior to run-time, and then to use this information repeatedly in a series of run-time checks. In a case study of checking a general real-number linear transformation (for example, a Fourier Transform), we present a simple checker which uses stored randomness, and a self-corrector which is particularly efficient if stored randomness is allowed."

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/36291429> # Software reliability via run-time result-checking
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "36291429" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/45580338#Place/berkeley_calif> ; # Berkeley, Calif.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
    schema:about <http://id.loc.gov/authorities/subjects/sh2008117728> ; # Computer software--Reliability
    schema:about <http://id.worldcat.org/fast/915036> ; # Error-correcting codes (Information theory)
    schema:about <http://id.worldcat.org/fast/872585> ; # Computer software--Reliability
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/45580338#Person/wasserman_hal> ; # Hal Wasserman
    schema:creator <http://viaf.org/viaf/196550860> ; # Manuel Blum
    schema:datePublished "1994" ;
    schema:description "Abstract: "We review the field of result-checking, discussing simple checkers and self-correctors. We argue that such checkers could profitably be incorporated in software as an aid to efficient debugging and reliable functionality. We consider how to modify traditional checking methodologies to make them more appropriate for use in real-time, real- number computer systems. In particular, we suggest that checkers should be allowed to use stored randomness: i.e., that they should be allowed to generate, pre-process, and store random bits prior to run-time, and then to use this information repeatedly in a series of run-time checks. In a case study of checking a general real-number linear transformation (for example, a Fourier Transform), we present a simple checker which uses stored randomness, and a self-corrector which is particularly efficient if stored randomness is allowed.""@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/45580338> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/45580338#Series/tr_94_053> ; # TR-94-053
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/45580338#Series/technical_report_international_computer_science_institute> ; # Technical report (International Computer Science Institute) ;
    schema:name "Software reliability via run-time result-checking"@en ;
    schema:productID "36291429" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/36291429#PublicationEvent/berkeley_calif_international_computer_science_institute_1994> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/45580338#Agent/international_computer_science_institute> ; # International Computer Science Institute
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/36291429> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/45580338#Agent/international_computer_science_institute> # International Computer Science Institute
    a bgn:Agent ;
    schema:name "International Computer Science Institute" ;
    .

<http://experiment.worldcat.org/entity/work/data/45580338#Person/wasserman_hal> # Hal Wasserman
    a schema:Person ;
    schema:familyName "Wasserman" ;
    schema:givenName "Hal" ;
    schema:name "Hal Wasserman" ;
    .

<http://experiment.worldcat.org/entity/work/data/45580338#Place/berkeley_calif> # Berkeley, Calif.
    a schema:Place ;
    schema:name "Berkeley, Calif." ;
    .

<http://experiment.worldcat.org/entity/work/data/45580338#Series/technical_report_international_computer_science_institute> # Technical report (International Computer Science Institute) ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/36291429> ; # Software reliability via run-time result-checking
    schema:name "Technical report (International Computer Science Institute) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/45580338#Series/tr_94_053> # TR-94-053
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/36291429> ; # Software reliability via run-time result-checking
    schema:name "TR-94-053" ;
    .

<http://id.loc.gov/authorities/subjects/sh2008117728> # Computer software--Reliability
    a schema:Intangible ;
    schema:name "Computer software--Reliability"@en ;
    .

<http://id.worldcat.org/fast/872585> # Computer software--Reliability
    a schema:Intangible ;
    schema:name "Computer software--Reliability"@en ;
    .

<http://id.worldcat.org/fast/915036> # Error-correcting codes (Information theory)
    a schema:Intangible ;
    schema:name "Error-correcting codes (Information theory)"@en ;
    .

<http://viaf.org/viaf/196550860> # Manuel Blum
    a schema:Person ;
    schema:familyName "Blum" ;
    schema:givenName "Manuel" ;
    schema:name "Manuel Blum" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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