Using model checking for reducing the cost of test generation

Lecture Notes in Computer Science

Volumn 3395, Issue , 2005, Pages 110-124

  Hong, Hyoung Seok ^a   Ural, Hasan ^b  

^a Concordia University ^*  (Canada)

^b UNIVERSITY OF OTTAWA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEM ANALYSIS; COST EFFECTIVENESS; DATA ACQUISITION; MATHEMATICAL MODELS;

DATA FLOW; MODEL CHECKING PROBLEM; SUBSUMPTION RELATIONS; TEST GENERATION;

COMPUTER AIDED ANALYSIS;

EID: 24144476612     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31848-4_8     Document Type: Conference Paper

References (20)

1. H. Agrawal, "Dominators, Super Blocks, and Program Coverage," Proc. 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. 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.
4. 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.
5. 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.
6. 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.
7. 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.
8. 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.
9. 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-Verlag, 2002.
10. H.S. Hong, S.D. Cha, I. Lee, O. Sokolsky, and H. Ural, "Data Flow Testing as Model Checking," Proc. of the 25th International Conference on Software Engineering, pp. 232-242, 2003.
11. J.W. Laski and B. Korel, "A Data Flow Oriented Program Testing Strategy," IEEE Transactions on Software Engineering, 9(5):347-354, May 1983.
12. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification, Springer-Verlag, 1992.
13. M. Marré and A. Bertolino, "Unconstrained Duas and Their Use in Achieving All-uses Coverage," Proc. of the International Symposium on Software Testing and Analysis, pp. 147-157, 1996.
14. M. Marré and A. Bertolino, "Reducing and Estimating the Cost of Test Coverage Criteria," Proc. of the 18th International Conference on Software Engineering, pp. 486-494, 1996.
15. S.C. Ntafos, "On Required Element Testing," IEEE Transactions on Software Engineering, 10(11):795-803, Nov. 1984.
16. 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.
17. S. Tasiran and K. Keutzer, "Coverage Metrics for Functional Validation of Hardware Designs," IEEE Design and Test of Computers, 18(4):36-45, July/Aug. 2001.
18. H. Ural and B. Yang, "A Test Sequence Generation Method for Protocol Testing," IEEE Transactions on Communications, 39(4):514-523, Apr. 1991.
19. 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.
20. 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.