Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
A program data flow analysis procedure
Communications of the ACM
Completeness criteria for testing elementary program functions
ICSE '81 Proceedings of the 5th international conference on Software engineering
Data flow analysis techniques for test data selection
ICSE '82 Proceedings of the 6th international conference on Software engineering
An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Experimental results from an automatic test case generator
ACM Transactions on Software Engineering and Methodology (TOSEM)
Improved serial algorithms for mutation analysis
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Corrigendum for 'Constraint-Based Automatic Test Data Generation' by R.A. DeMillo and A.J. Offutt
IEEE Transactions on Software Engineering
An Empirical Evaluation of Weak Mutation
IEEE Transactions on Software Engineering
A fault model and mutation testing of access control policies
Proceedings of the 16th international conference on World Wide Web
| Hi-index | 0.00 |
The idea of weak mutation testing is to construct test data which would force program components such as expressions and variable references to produce a wrong 'result' if they were to contain certain types of error, for example, off-by-a-constant or wrong-variable. The idea of data flow driven testing is to construct test data which forces the execution of different interactions between variable definitions and references in a program.This paper describes a tool for FORTRAN 77 programs which has been developed to help a user apply the weak mutation and data flow testing techniques. The tool instruments a given source program and collects a program execution history. It is then able to report on the completeness of the test data with respect to weak mutation and a family of data flow path selection criteria. Some preliminary experiments with use of the tool are described.