Coverage-directed test generation with model checkers: Challenges and opportunities

Proceedings - International Computer Software and Applications Conference

Volumn 1, Issue , 2005, Pages 455-462

  Devaraj, George ^a   Heimdahl, Mats P E ^a   Liang, Donglin ^a  

^a UNIVERSITY OF MINNESOTA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATIONS; MODEL-BASED TESTING; TEST-SUITE GENERATION;

AUTOMATION; COMPUTER CONTROL; FAULT TOLERANCE; FORMAL LANGUAGES; MATHEMATICAL MODELS; SPECIFICATION LANGUAGES;

SOFTWARE TESTING;

EID: 34248519472     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2005.66     Document Type: Conference Paper

References (18)

1. Paul E. Ammann and Paul E. Black. A specification-based coverage metric to evaluate test sets. In Proceedings of the Fourth IEEE International Symposium on High-Assurance Systems Engineering. IEEE Computer Society, November 1999.
2. Paul E. Ammann, Paul E. Black, and William Majurski. Using model checking to generate tests from specifications. In Proceedings of the Second IEEE International Conference on Formal Engineering Methods (ICFEM'98), pages 46-54. IEEE Computer Society, November 1998.
3. J. J. Chilenski and S. P. Miller. Applicability of modified condition/decision coverage to software testing. Software Engineering Journal, pages 193-200, September 1994.
4. John Chilenski. An investigation of three forms of the modified condition decision coverage (mcdc) criterion. Technical Report DOT/FAA/AR-01/18, Office of Aviation Research, Washington, D.C., April 2001.
5. Edmund M. Clarke, Orna Grumberg, and Doron Peled. Model Checking. MIT Press, 1999.
6. Angelo Gargantini and Constance Heitmeyer. Using model checking to generate tests from requirements specifications. Software Engineering Notes, 24(6): 146-162, November 1999.
7. O. Grumberg and D.E.Long. Model checking and modular verification. ACM Transactions on Programming Languages and Systems, 16(3): 843-871, May 1994.
8. K.J. Hayhurst, D.S. Veerhusen, and L.K. Rierson. A practical tutorial on modified condition/decision coverage. Technical Report TM-2001-210876, NASA, 2001.
9. Mats P.E. Heimdahl and George Devaraj. Test-suite reduction for model based tests: Effects on test quality and implications for testing. In Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE), Linz, Austria, September 2004.
10. Mats P.E. Heimdahl, George Devaraj, and Robert J. Weber. Specification test coverage adequacy criteria = specification test generation inadequacy criteria? In Proceedings of the Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE), Tampa, Florida, March 2004.
11. Mats P.E Heimdahl, S. Rayadurgam, Willem Visser, George Devaraj, and Jimin Gao. Auto-generating test sequences using model checkers: A case study. In 3rd International Worshop on Formal Approaches to Testing of Software (FATES 2003), 2003.
12. Mats P.E. Heimdahl, Michael W. Whalen, and Jeffrey M. Thompson. Nimbus: A tool for specification centered development. In Proceedings of the 11th IEEE International Requirements Engineering Conference, September 2003.
13. C. L. Heitmeyer, B. L. Labaw, and D. Kiskis. Consistency checking of SCR-style requirements specifications. In Proceedings of the Second IEEE International Symposium on Requirements Engineering, pages 56-65, March 1995.
14. Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, and Hasan Ural. Data flow testing as model checking. In Proceedings of the International Conference on Software Engineering, Portland, Oregon, May 2003.
15. Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, and Hasan Ural. A temporal logic based theory of test coverage and generation. In Proceedings of the International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS '02), Grenoble, France, April 2002.
16. Sanjai Rayadurgam and Mats P.E. Heimdahl. Coverage based test-case generation using model checkers. In Proceedings of the 8th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2001), pages 83-91. IEEE Computer Society, April 2001.
17. RTCA. Software Considerations In Airborne Systems and Equipment Certification. RTCA, 1992.
18. Jeffrey M. Thompson, Mats P.E. Heimdahl, and Steven P. Miller. Specification based prototyping for embedded systems. In Seventh ACM SIGSOFT Symposium on the Foundations on Software Engineering, number 1687 in LNCS, pages 163-179, September 1999.