Characterizations of Reducible Flow Graphs
Journal of the ACM (JACM)
Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
Communications of the ACM
A program data flow analysis procedure
Communications of the ACM
A hierarchical approach to program testing
ACM SIGPLAN Notices
A Data Flow Oriented Program Testing Strategy
IEEE Transactions on Software Engineering
Experimental results from an automatic test case generator
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Comparison of Some Structural Testing Strategies
IEEE Transactions on Software Engineering
A program complexity metric based on data flow information in control graphs
ICSE '84 Proceedings of the 7th international conference on Software engineering
Automatically testing interacting software components
Proceedings of the 2006 international workshop on Automation of software test
Test generation based on control and data dependencies within system specifications in SDL
Computer Communications
| Hi-index | 0.01 |
A structural approach to testing employing properties of data flow in a program is proposed. The basic notion introduced is that of data context of a program block. It represents the set of all tuples of definitions of the block arguments that are simultaneously live when the control reaches the block. Two testing strategies have been proposed: block testing, exercising every block for all its elementary contexts and d-tree testing exercising the definition tree rooted at an elementary context of the stop/exit instruction.