Software Reliability via Run-Time Result-Checking

TitleSoftware Reliability via Run-Time Result-Checking
Publication TypeTechnical Report
Year of Publication1994
AuthorsBlum, M. E., & Wasserman H.
Other Numbers923
Keywordsinstance checking, result checking, testing, verification

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.

Bibliographic Notes

ICSI Technical Report TR-94-053

Abbreviated Authors

M. Blum and H. Wasserman

ICSI Publication Type

Technical Report