Experiments on the test case length in specification based test case generation

Proceedings of the 2009 ICSE Workshop on Automation of Software Test, AST 2009

Volumn , Issue , 2009, Pages 18-26

  Fraser, Gordon ^a   Gargantini, Angelo ^b  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

^b UNIVERSITY OF BERGAMO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED TEST CASE GENERATION; COMPUTATIONAL COSTS; REACTIVE SYSTEM; SPECIFICATION BASED TESTING; TEST CASE; TEST CASE GENERATION;

AUTOMATION; COMPUTER SOFTWARE; SPECIFICATIONS;

TESTING;

EID: 70349657133     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IWAST.2009.5069037     Document Type: Conference Paper

References (23)

1. A. Abdurazik, P. Ammann, W. Ding, and J. Offutt. Evaluation of Three Specification-Based Coverage Testing Criteria. In Proceedings of the 6th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2000), pages 179-187, Tokyo, Japan, September 2000. IEEE Computer Society.
2. P. E. Ammann, P. E. Black, and W. 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, 1998.
3. J. Andrews, A. Groce, M. Weston, and R.-G. Xu. Random Test Run Length and Effectiveness. In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), pages 19-28, Sept. 2008.
4. R. Bharadwaj and C. L. Heitmeyer. Model Checking Complete Requirements Specifications Using Abstraction. Automated Software Engineering, 6(1):37-68, 1999.
5. A. Calvagna and A. Gargantini. A Logic-Based Approach to Combinatorial Testing with Constraints. In Tests and Proofs, volume 4966 of Lecture Notes in Computer Science, pages 66-83. Springer-Verlag, 2008.
6. J. Chilenski and L. A. Richey. Definition for a masking form of modified condition decision coverage (MCDC). Technical report, Boeing, 1997.
7. V. Chvatal. A Greedy Heuristic for the Set-Covering Problem. Mathematics of Operations Research, 4(3), 1979.
8. A. Cimatti, E. M. Clarke, F. Giunchiglia, and M. Roveri. NUSMV: A New Symbolic Model Verifier. In CAV '99: Proceedings of the 11th International Conference on Computer Aided Verification, pages 495-499, London, UK, 1999. Springer-Verlag.
9. E. M. Clarke, O. Grumberg, K. L. McMillan, and X. Zhao. Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking. In Proceedings of the 32st Conference on Design Automation (DAC), pages 427-432. ACM Press, 1995.
10. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, Cambridge, MA., 1 edition, 2001. 3rd printing.
11. G. Fraser and F. Wotawa. Using LTL Rewriting to Improve the Performance of Model-Checker Based Test-Case Generation. In A-MOST '07: Proceedings of the 3rd International Workshop on Advances in Model-based Testing, pages 64-74, New York, NY, USA, 2007. ACM Press.
12. G. Fraser and F. Wotawa. Ordering Coverage Goals in Model Checker Based Testing. In A-MOST'08: Proceedings of the 4th International Workshop on Advances in Modelbased Testing, pages 31-40, April 2008.
13. G. Fraser, F. Wotawa, and P. E. Ammann. Testing with model checkers: a survey. Software Testing, Verification and Reliability, 2009. To appear.
14. M. R. Garey and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman & Co., New York, NY, USA, 1979.
15. A. Gargantini. Using Model Checking to Generate Fault Detecting Tests. In Proceedings of the International Conference on Tests And Proofs (TAP), volume 4454 of Lecture Notes in Computer Science, pages 189-206, Zurich, Switzerland, 2007.
16. A. Gargantini and C. Heitmeyer. Using Model Checking to Generate Tests From Requirements Specifications. In ESEC/FSE'99: 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, volume 1687, pages 146-162. Springer, 1999.
17. G. Hamon, L. de Moura, and J. Rushby. Generating Efficient Test Sets with a Model Checker. In Proceedings of the Second International Conference on Software Engineering and Formal Methods (SEFM'04), pages 261-270, 2004.
18. M. J. Harrold, R. Gupta, and M. L. Soffa. A Methodology for Controlling the Size of a Test Suite. ACM Trans. Softw. Eng. Methodol., 2(3):270-285, 1993.
19. J. Kirby. Example NRL/SCR Software Requirements for an Automobile Cruise Control and Monitoring System. Technical Report TR-87-07, Wang Institute of Graduate Studies, 1987.
20. D. Lee and M. Yannakakis. Principles and methods of testing finite state machines - A survey. In Proceedings of the IEEE, volume 84, pages 1090-1126, 1996.
21. S. Rayadurgam and M. 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, Washington, DC, April 2001. IEEE Computer Society.
22. G. Rothermel, S. Elbaum, A. Malishevsky, P. Kallakuri, and B. Davia. The impact of test suite granularity on the costeffectiveness of regression testing. In ICSE '02: Proceedings of the 24th International Conference on Software Engineering, pages 130-140, New York, NY, USA, 2002. ACM.
23. Q. Xie and A. M. Memon. Studying the Characteristics of a "Good" GUI Test Suite. In ISSRE '06: Proceedings of the 17th International Symposium on Software Reliability Engineering, pages 159-168, Washington, DC, USA, 2006. IEEE Computer Society.