Dependence testing: Extending data flow testing with control dependence

Lecture Notes in Computer Science

Volumn 3502, Issue , 2005, Pages 23-39

  Hong, Hyoung Seok ^a   Ural, Hasan ^b  

^a Concordia University ^*  (Canada)

^b UNIVERSITY OF OTTAWA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COSTS; DATA REDUCTION; FORMAL LOGIC; INFORMATION RETRIEVAL; MATHEMATICAL MODELS; PROGRAM ASSEMBLERS; SPECIFICATIONS; DATA FLOW ANALYSIS; DATA TRANSFER; MODEL CHECKING; SOFTWARE TESTING;

CHECKING-BASED APPROACH; DEPENDENCE TESTING; TEMPORAL LOGICS; TEST GENERATION; COVERAGE CRITERIA; CTL MODEL; DATA FLOW; DATA-FLOW TESTING; NEW APPROACHES; STRUCTURAL TESTING; TEST GENERATIONS;

DATA FLOW ANALYSIS; TEMPORAL LOGIC;

EID: 24944461053     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11430230_3     Document Type: Conference Paper

References (34)

1. H. Agrawal, "Dominators, Super Blocks, and Program Coverage," Proceedings of the 21st ACM Symposium on Principles of Programming Languages, pp. 25-34, 1994.
2. A.V. Aho, R. Sethi, and J.D. Ullman, Compilers, Principles, Techniques, and Tools, Addision-Wesley, 1986.
3. P. Ammann, P. Black, and W. Majurski, "Using Model Checking to Generate Tests from Specifications," in Proceedings of the 2nd IEEE International Conference on Formal Engineering Methods, pp. 46-54, 1998.
4. A. Bertolino, "Unconstrained Edges and Their Application to Branch Analysis and Testing of Programs," The Journal of Systems and Software, 20(2):125-133, Feb. 1993.
5. A. Bertolino and M. Marré, "Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs," IEEE Transactions on Software Engineering, 20(12):885-899, Dec. 1994.
6. A. Bertolino and M. Marré, "How Many Paths are Needed for Branch Testing?" The Journal of Systems and Software, 35(2):95-106, Nov. 1996.
7. D. Beyer, A.J. Chlipala, T.A. Henzinger, R. Jhala, and R. Majumdar, "Generating Tests from Counterexamples," Proceedings of the 26th International Conference on Software Engineering, pp. 326-335, 2004.
8. T. Chusho, "Test Data Selection and Quality Estimation Based on the Concept of Essential Branches for Path Testing," IEEE Transactions on Software Engineering, 13(5):509-517, May 1987.
9. E.M. Clarke, O. Grumberg, and D.A. Peled, Model Checking, The MIT Press, 1999.
10. L.A. Clarke, A. Podgurski, D.J. Richardson, and S.J. Zeil, "A Formal Evaluation of Data Flow Path Selection Criteria," IEEE Transactions on Software Engineering, 15(11):1318-1332, Nov. 1989.
11. R. Dssouli, K. Saleh, E. Aboulhamid, A. En-Nouaary, and C. Bourhfir, "Test Development for Communication Protocols: towards Automation," Computer Networks, 31(7):1835-1872, June 1999.
12. A. Engels, L. Feijs, and S. Mauw, "Test Generation for Intelligent Networks Using Model Checking," in TACAS '97, Vol. 1217 of LNCS, pp. 384-398, Springer-Verlag, 1997.
13. P.G. Frankl and E.J. Weyuker, "A Formal Analysis of the Fault-Detecting Ability of Testing Methods," IEEE Transactions on Software Engineering, 19(3):202-213, Mar. 1993.
14. A. Gargantini and C. Heitmeyer, "Using Model Checking to Generate Tests from Requirements Specifications," in Proceedings of ESEC/FSE '99pp. 146-162, 1999.
15. R. Gupta and M.L. Soffa, "Employing Static Information in the Generation of Test Cases," Software Testing, Verification and Reliability, 3(1):29-48, 1993.
16. M.P. Heimdahl, S. Rayadurgam, W. Visser, G. Devaraj, and J. Gao, "Auto-Generating Test Sequences Using Model Checkers: A Case Study," Proceedings of the 3th International Workshop on Formal Approaches to Testing of Software, Vol. 2931 of LNCS, pp. 44-62, Springer, 2003.
17. P.M. Herman, "A Data Flow Approach to Program Testing," Australian Computer Journal, 8(3):92-96, Nov. 1976.
18. G.J. Holzmann, "The Model Checker SPIN," IEEE Transactions on Software Engineering, Vol. 23, No. 5, pp. 279-295, May 1997.
19. H.S. Hong, Y.G. Kim, S.D. Cha, D.H. Bae, and H. Ural, "A Test Sequence Selection Method for Statecharts," Journal of Software Testing, Verification, and Reliability, 10(4):203-227, Dec. 2000.
20. H.S. Hong, I. Lee, O. Sokolsky, and H. Ural, "A Temporal Logic Based Theory of Test Coverage and Generation," TACAS '02, Vol. 2280 of LNCS, pp. 327-341, Springer, 2002.
21. H.S. Hong, S.D. Cha, I. Lee, O. Sokolsky, and H. Ural, "Data Flow Testing as Model Checking," Proceedings of the 25th International Conference on Software Engineering, pp. 232-242, 2003.
22. H.S. Hong and H. Ural, "Using Model Checking for Reducing the Cost of Test Generation," Proceedings of the 4th International Workshop on Formal Approaches to Testing of Software, LNCS, Springer, 2004.
23. J.W. Laski and B. Korel, "A Data Flow Oriented Program Testing Strategy," IEEE Transactions on Software Engineering, 9(5):347-354, May 1983.
24. M. Marré and A. Bertolino, "Unconstrained Duas and Their Use in Achieving All-uses Coverage," Proceedings of the International Symposium on Software Testing and Analysis, pp. 147-157, 1996.
25. M. Marré and A. Bertolino, "Reducing and Estimating the Cost of Test Coverage Criteria," Proceedings of the 18th International Conference on Software Engineering, pp. 486-494, 1996.
26. K.L. McMillan, Symbolic Model Checking -an Approach to the State Explosion Problem, Kluwer Academic Publishers, 1993.
27. S.C. Ntafos, "On Required Element Testing," IEEE Transactions on Software Engineering, 10(11):795-803, Nov. 1984.
28. S. Rapps and E.J. Weyuker, "Selecting Software Test Data Using Data Flow Information," IEEE Transactions on Software Engineering, 11(4):367-375, Apr. 1985.
29. S. Rayadurgam and M.P. Heimdahl, "Coverage Based Test Generation Using Model Checkers," Proceedings of the 8th Annual IEEE International Conference on the Engineering of Computer Based Systems, pp. 83-91, 2001.
30. A. Podgurski and L.A. Clarke, "A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance," IEEE Transactions on Software Engineering, 16(9):965-979, Sept. 1990.
31. H. van der Schoot and H. Ural, "Data Flow Oriented Test selection for LOTOS," Computer Networks, 27(7):1111-1136, 1995.
32. H. Ural and B. Yang, "A Test Sequence Generation Method for Protocol Testing," IEEE Transactions on Communications, 39(4):514-523, Apr. 1991.
33. H. Ural, K. Saleh, and A. Williams, "Test Generation Based on Control and Data Dependencies within System Specifications in SDL," Computer Communications, 23(7):609-627, Mar. 2000.
34. H. Zhu, P.A. Hall, and J.H.R. May, "Software Unit Test Coverage and Adequacy," ACM Computing Surveys, 29(4):366-427, Dec. 1997.