Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
Dependence analysis in reduction of requirement based test suites
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Requirement-Based Automated Black-Box Test Generation
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Test generation based on control and data dependencies within system specifications in SDL
Computer Communications
A practice-driven systematic review of dependency analysis solutions
Empirical Software Engineering
Achieving scalable model-based testing through test case diversity
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |
A test suite, constructed either manually or automatically using a coverage criterion, can be reduced without significantly reducing its fault-detection capability by eliminating all but one of the equivalent test cases from each class of equivalent test cases of the test suite. In this paper, we use the analysis of control and data dependencies in an EFSM model of the system requirements to identify patterns of interaction among the elements of the EFSM that affect a requirement under test. These patterns are used to identify equivalent test cases w.r.t. the requirement under test; only one test case per equivalence class is kept, and equivalence classes that are not covered by any test cases are flagged. A software tool – Test Suite Reduction (TSR) based on above concept- is introduced. This tool is implemented in C++ and Java languages and runs on Sun workstations under Solaris Sparc 5.8. Additionally, the results of the application of TSR to several examples are also presented.