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


<http://www.worldcat.org/oclc/36291429>
library:oclcnum"36291429"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:about
schema:about
<http://id.worldcat.org/fast/915036>
rdf:typeschema:Intangible
schema:name"Error-correcting codes (Information theory)"@en
schema:about
schema:contributor
schema:creator
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
schema:name"Software reliability via run-time result-checking"@en
schema:publication
schema:publisher
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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