Software reliability via run-time result-checking.

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 enhanced reliability. We consider how to modify traditional checking methodologies to make them more a...

Ful tanımlama

Detaylı Bibliyografya

Yayımlandı:	Journal of the ACM 44, 6 (1997).
Yazar:	Wasserman, Hal
Materyal Türü:	Makale
Dil:	English
Konular:	Software. Software engineering. Theory of computation. Analysis of algorithms and problem complexity. Numerical algorithms and problems. Computation of transforms (e.g., fast Fourier transform). Logics and meanings of programs. Algorithms. Reliability. Verification.