Elements of Software Science (Operating and programming systems series)
Elements of Software Science (Operating and programming systems series)
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Sufficient test sets for path analysis testing strategies
ICSE '81 Proceedings of the 5th international conference on Software engineering
A partition analysis method to increase program reliability
ICSE '81 Proceedings of the 5th international conference on Software engineering
Pseudo-oracles for non-testable programs
ACM '81 Proceedings of the ACM '81 conference
Selecting sufficient sets of test paths for program testing
Selecting sufficient sets of test paths for program testing
Theory of testing computer programs
Theory of testing computer programs
Hi-index | 0.00 |
For the past several years a research approach has been developed in the area of program testing; this automated testing approach is called the Domain Testing Strategy. This paper examines broader implications of that research, together with several new testing research approaches which have been motivated by this work. For example, recently some new results which characterize a set of paths which are sufficient for path-oriented testing have been obtained, motivated to a great extent by domain testing. This approach, in turn, has led to some positive and exciting results in the area of reliable module integration testing. A number of researchers are examining the issue of specification testing, combining information from the program specification with a structural testing approach which utilizes only program information; they have found domain testing to be helpful in this regard. Combining all these aspects of the testing problem indicates the evolution of an integrated testing environment.