Home → Magazine Archive → April 1982 (Vol. 25, No. 4) → A technique for testing command and control software → Abstract

A technique for testing command and control software

By Marvin L. Watkins

Communications of the ACM, Vol. 25 No. 4, Pages 228-232

A technique for testing embedded-microprocessor command and control programs is described. The continuity inherent in functions computed by programs which monitor natural phenomena is exploited by a simple difference equation-based algorithm to predict a program's next output from its preceding ones. The predicted output is compared with the actual output while indexing through the program's domain. Outputs which cannot be predicted are flagged as potential errors. Data are presented which show that this technique can be a sensitive measure of a program's correctness.

The full text of this article is premium content


No entries found