Approaches to specification-based testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
THIS PAPER DEFINES A FORMAL MODEL FOR ERROR DETECTION. THE MODEL PRO- POSES CONDITIONS ON A SET OF DATA ARE NECESSARY AND SUFFICIENT TO GUARANTEE THAT A FAULT ORIGINATES AN ERROR THAT IS TRANSFERRED THROUGH COMPUTATIONS AND DATA FLOW UNTIL IT IS REVEALED. THE MODEL IS APPLIED BY CHOOSING A FAULT CLASSIFICATION, INSTANTIATING THESE CONDITIONS FOR THE CLASSES OF FAULTS, AND APPLYING THEM TO THE PROGRAM BEING TESTED. SUCH AN APPLICATION GUARANTEES THE DETECTION OF ERRORS CAUSED BY ANY FAULT OF THE CHOSEN CLASSES. THE MODEL IS APPLIED HERE TO FIVE CLASSES OF FAULTS.