Dependence testing: extending data flow testing with control dependence

Authors:
Hyoung Seok Hong;Hasan Ural
Affiliations:
Concordia Institute for Information Systems Engineering, Concordia University;School of Information Technology and Engineering, University of Ottawa
Venue:
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Year:
2005

Citing 26
Cited 0

Selecting Software Test Data Using Data Flow Information

IEEE Transactions on Software Engineering
Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
Test Data Selection and Quality Estimation Based on the Concept of Essential Branches for Path Testing

IEEE Transactions on Software Engineering
A Formal Evaluation of Data Flow Path Selection Criteria

IEEE Transactions on Software Engineering
A Formal Model of Program Dependences and its Implications for Software Testing, Debugging, and Maintenance

IEEE Transactions on Software Engineering
Unconstrained edges and their application to branch analysis and testing of programs

Journal of Systems and Software
Dominators, super blocks, and program coverage

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs

IEEE Transactions on Software Engineering
Dataflow oriented test selection for LOTOS

Computer Networks and ISDN Systems
Unconstrained duals and their use in achieving all-uses coverage

ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Reducing and estimating the cost of test coverage criteria

Proceedings of the 18th international conference on Software engineering
How many paths are needed for branch testing?

Journal of Systems and Software - Special issue on software reliability issues
The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Software unit test coverage and adequacy

ACM Computing Surveys (CSUR)
Test development for communication protocols: towards automation

Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on advanced topics on SDL and MSC
Using model checking to generate tests from requirements specifications

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Model checking

Model checking
A Formal Analysis of the Fault-Detecting Ability of Testing Methods

IEEE Transactions on Software Engineering
Test Generation for Intelligent Networks Using Model Checking

TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
A Temporal Logic Based Theory of Test Coverage and Generation

TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Data flow testing as model checking

Proceedings of the 25th International Conference on Software Engineering
Using Model Checking to Generate Tests from Specifications

ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Generating Tests from Counterexamples

Proceedings of the 26th International Conference on Software Engineering
A Data Flow Oriented Program Testing Strategy

IEEE Transactions on Software Engineering
Using model checking for reducing the cost of test generation

FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Test generation based on control and data dependencies within system specifications in SDL

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a new approach to structural testing, called dependence testing. First we propose dependence oriented coverage criteria that extend conventional data flow oriented coverage criteria with control dependence. This allows one to capture the full dependence information of a program or specification systematically. We then describe a model checking-based approach to test generation for dependence testing. It is shown that dependence oriented coverage criteria can be characterized in the temporal logics LTL and CTL. This enables one to use any LTL and CTL model checkers as test generators. Finally, we show that the temporal logic-based characterization can also be used for reducing the cost of dependence testing.