Ordering coverage goals in model checker based testing

2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08

Volumn , Issue , 2008, Pages 31-40

  Fraser, Gordon ^a   Wotawa, Franz ^a  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

CHLORINE COMPOUNDS; COMPUTER SOFTWARE SELECTION AND EVALUATION; MODEL CHECKING; OPTIMIZATION; SOFTWARE TESTING; VERIFICATION;

COVERAGE CRITERIA; INTERNATIONAL CONFERENCES; MODEL CHECKERS; MODEL-BASED TESTING; TEST CASES; TEST GENERATIONS; TEST SUITES; TEST-CASE GENERATION; VERIFICATION AND VALIDATION;

TESTING;

EID: 52249115658     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTW.2008.31     Document Type: Conference Paper

References (20)

1. P. Ammann and P. E. Black. A Specification-Based Coverage Metric to Evaluate Test Sets. In HASE '99: The 4th IEEE International Symposium on High-Assurance Systems Engineering, pages 239-248, Washington, DC, USA, 1999. IEEE Comp. Soc.
2. P. Ammann, W. Ding, and D. Xu. Using a Model Checker to Test Safety Properties. In Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), pages 212-221, Skovde, Sweden, 2001. IEEE.
3. 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.
4. R. Bharadwaj and C. L. Heitmeyer. Model Checking Complete Requirements Specifications Using Abstraction. Automated Software Engineering, 6(1):37-68, 1999.
5. P. E. Black and S. Ranville. Winnowing tests: Getting quality coverage from a model checker without quantity. In Digital Avionics Systems, 2001. DASC. The 20th Conference, volume 2, pages 9B6/1-9B6/4 vol.2, 2001.
6. 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.
7. 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.
8. K. Derderian. Automated test sequence generation for Finite State Machines using Genetic Algorithms. PhD thesis, Brunei University, UK, 2006.
9. S. Edelkamp, A. L. Lafuente, and S. Leue. Directed explicit model checking with HSF-SPIN. In SPIN '01: Proceedings of the 8th international SPIN workshop on Model checking of software, pages 57-79. Springer-Verlag, 2001.
10. G. Fraser and F. Wotawa. Mutant Minimization for Model-Checker Based Test-Case Generation. In Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007, pages 161-168. IEEE Computer Society, 2007.
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. 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, September 1999.
13. 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.
14. M. P. E. Heimdahl, S. Rayadurgam, and W. Visser. Specification Centered Testing. In Proceedings of the Second International Workshop on Automates Program Analysis, Testing and Verification (ICSE 2000), 2000.
15. H. S. Hong and I. Lee. Automatic Test Generation from Specifications for Control-Flow and Data-Flow Coverage Criteria. In Proceedings of the International Conference on Software Engineering (ICSE), 2003.
16. H. S. Hong and H. Ural. Using model checking for reducing the cost of test generation. In Formal Approaches to Software Testing, volume 3395 of Lecture Notes in Computer Science, pages 110-124. Springer Verlag Gmbh, 2005.
17. 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.
18. A. Pnueli. The temporal logic of programs. In 18th Annual Symposium on Foundations of Computer Science, 31 October-2 November, Providence, Rhode Island, USA, pages 46-57. IEEE, 1977.
19. L. Tan, O. Sokolsky, and I. Lee. Specification-based testing with linear temporal logic. In Proceedings of IEEE International Conference on Information Reuse and. Integration (IRI'04), pages 493-498, 2004.
20. D. Wijesekera, L. Sun, P. Ammann, and G. Fraser. Relating counterexamples to test cases in CTL model checking specifications. In A-MOST '07: Proceedings of the 3rd international workshop on Advances in model-based testing, pages 75-84, New York, NY, USA, 2007. ACM Press.