Principles of Automatic Detection of Malfunctions in Digital Computers

摘要

In practice, the computer is subdivided into several units (storage, arithmetic unit, control unit, input-output), and each unit is checked separately. Program search for faults is based on a 'step by step expanding regions' principle. The checking of each element of a digital computer is conducted in the same sequence in which the computer input is normally processed. (Author)