Selecting and using data for integration testing
- 1 March 1991
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 8 (2) , 58-65
- https://doi.org/10.1109/52.73750
Abstract
The extension of dataflow testing to interprocedural testing is described. This was done by developing both an analysis technique that computes the required interprocedural definition-use information, for both direct and indirect dependencies and a testing technique that uses this information in selecting and executing the subpaths across procedure boundaries. A testing tool that implements this technique is presented. For the interprocedural dataflow analysis, the technique summarizes the individual procedures' definition and use information at call sites and then propagates this information throughout the interacting procedures. By efficiently computing the interprocedural data dependencies before testing, the approach lets the testing tool use existing path-selection techniques based on dataflow for interprocedural testing. To track the execution path, the technique recognizes the calls to and returns from procedures and handles the association of various names with a definition as the execution path is being inspected. The technique handles recursive procedures and supports separate compilation of procedures.Keywords
This publication has 5 references indexed in Scilit:
- Computation of interprocedural definition and use dependenciesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An applicable family of data flow testing criteriaIEEE Transactions on Software Engineering, 1988
- Software errors and complexity: an empirical investigation0Communications of the ACM, 1984
- A Data Flow Oriented Program Testing StrategyIEEE Transactions on Software Engineering, 1983
- A precise inter-procedural data flow algorithmPublished by Association for Computing Machinery (ACM) ,1981