Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Testing techniques based on symbolic evaluation
Proceedings of Centre for Software Reliability Workshop on Software: requirements, specification and testing
Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Foundations for the Arcadia environment architecture
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
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
Language constructs for managing change in process-centered environments
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
APPL/A: a language for software process programming
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |
Integration of multiple testing techniques is required to demonstrate high quality of software. Technique integration has four basic goals: reduced development costs, incremental testing capabilities, extensive error detection, and cost-effective application. We are experimenting with the use of process programming as a mechanism for integrating testing techniques. Having set out to develop a process that provides adequate coverage and comprehensive fault detection, we proposed synergistic use of DATA FLOW testing and RELAY to achieve all four goals. We developed a testing process program much as we would develop a software product from requirements through design to implementation and evaluation. We found process programming to be effective for explicitly integrating the techniques and achieving the desired synergism. Used in this way, process programming also mitigates many of the other problems that plague testing in the software development process.