The ACM Computing Classification System (1991 B.7.3 Reliability and Testing Built-in tests Error-checking Redundant design Test generation Testability