Functional checking is a method for enhancing the operational reliability of digital computers. For control computers, the reliability is the capability of the computer to solve problems with a specified accuracy and in a specified time any deviation from this performance is considered a failure. Two groups - program and hardware - of checkout methods have been known these groups are subdivided into individual methods. Of these, the operational active check, i.e., the automatic check during computer operation which precludes using incorrect solution, is the most important for control computers. Characteristics of computer checks and their influence on reliability are given.
Unedited rough draft trans. of Avtomaticheskoe Upravlenie i Vychislitelnaya Tekhnika (USSR) n7 p206-235 1967.