Applicability of Software Validation Techniques to Scientific Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A software reliability assessment based on a structural and behavioral analysis of programs
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Functional testing and design abstractions
Journal of Systems and Software
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
An integrated system for program testing using weak mutation and data flow analysis
ICSE '85 Proceedings of the 8th international conference on Software engineering
Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
Program testing metrics are based on criteria for measuring the completeness of a set of program tests. Branch testing measures the percentage of program branches that are traversed during a set of tests. Mutation testing measures the ability of a set of tests to distinguish a program from similar programs. A criterion for test completeness is introduced in this paper which measures the ability of a set of tests to distinguish between functions which are implemented by parts of programs. The criterion is applied to functions which are implemented by different kinds of programming language statements. It is more effective than branch testing and incorporates some of the advantages of mutation testing. Its effectiveness can be discussed formally and it can be described as part of an integrated approach to testing. A tool can be used to implement the method.