Premium
Three way branching self consistency checking of hardware and software
Author(s) -
Cantoni A.,
Kleeman L.
Publication year - 1986
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380161108
Subject(s) - branching (polymer chemistry) , computer science , debugging , consistency (knowledge bases) , software , simple (philosophy) , sequential consistency , programming language , algorithm , data consistency , reliability engineering , consistency model , operating system , artificial intelligence , engineering , philosophy , materials science , epistemology , composite material
A simple technique that improves a system's capability of error detection and correction, and enhances software debugging is described in this note. The technique relies on consistency checking of branching variables during branching decisions and the appropriate selection of codes for the permissible values of variables.