TEAM: a support environment for testing, evaluation, and analysis
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A Formal Evaluation of Data Flow Path Selection Criteria
IEEE Transactions on Software Engineering
Developing and integrating ProDAG in the Arcadia environment
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
IN A RELATED PAPER (RICH 86B], WE DEVELOP A MODEL FOR ERROR DETECTION BASED ON CONDITIONS THAT ARE NECESSARY AND SUFFICIENT TO GUARANTEE THAT A FAULT ORIGINATES AN ERROR THAT TRANSFERS TO SOME POINT AT WHICH IT IS RE- VEALED. THIS MODEL OF ERROR DETECTION ALSO PROVIDES A FRAMEWORK WITHIN WHICH THE CAPABILITIES OF OTHER TESTING CRITERIA CAN BE EVALUATED. IN THIS PAPER, WE ANALYZE THREE TEST DATA SELECTION CRITERIA THAT ATTEMPT TO DETECT FAULTS IN THE FIVE CLASSES TO WHICH THE MODEL IS APPLIED IN [RICH86B]. THE CRITERIA ANALYZED ARE THOSE FORMALLY REPRESENTED IN [RICH86A]. THIS ANALY- SIS SHOWS THAT NONE OF THESE CRITERIA IS COMPLETELY EFFECTIVE AT GUARANTEE- ING ERROR DETECTION FOR THESE FAULT CLASSES.