The ACM Computing Classification System (1991)

B.1.3 Control Structure Reliability, Testing, and Fault-Tolerance

• Diagnostics
• Error-checking
• Redundant checking
• Test generation