Specification-based test generation and optimization using model checking

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07

Volumn , Issue , 2007, Pages 349-355

  Zeng, Hongwei ^a,b   Miao, Huaikou ^a   Liu, Jing ^c  

^a SHANGHAI UNIVERSITY   (China)

^b WUHAN UNIVERSITY   (China)

^c EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

Model checking; Optimization; Test generation; Test tree

Indexed keywords

ALGORITHMS; OPTIMIZATION; REDUNDANCY; SET THEORY; SPECIFICATIONS; TREES (MATHEMATICS);

AUTOMATED TEST GENERATION; TEST GENERATION; TEST SETS; TEST TREES;

MODEL CHECKING;

EID: 34548833869     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TASE.2007.46     Document Type: Conference Paper

References (20)

1. R. S. Pressman, Software Engineering: A Practitioner's Approach, McGraw-Hill Companies, 2001, pp. 437-476
2. V. Rusu, L. du Bousquet, and T. Jeron, "An approach to symbolic test generation", In International Conference on Integrating Formal Methods, Lecture Notes in Computer Science(LNCS) 1945, Springer-Verlag, Dagstuhl, Germany, 2000, pp. 338-357
3. A.J. Offutt, S. Liu, A. Abdurazik, and P. Ammann, "Generating test data from state-based specifications", Software Testing, Verification & Reliability, 13(1), 2003, pp. 25-53.
4. J. Offutt, and S. Liu, "Generating test data from SOFL specifications", Journal of Systems and Software, 49(1), 1999, pp. 49-62.
5. J. Derrick and E.A. Boiten, "Testing Refinements of State-based Formal Specifications", Software Testing, Verification & Reliability 9(1), 1999, pp. 27-50.
6. Grumberg and D. E. Long, "Model checking and modular verification", ACM Transactions on Programming Languages and Systems, 16(3), May 1994, pp. 843- 871.
7. M. Huth and M. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press, 2004.
8. M.P.E. Heimdahl, S. Rayadurgam, W. Visser, G. Devaraj, and J. Gao, "Auto-generating Test Sequences Using Model Checkers: A Case Study", Third International Workshop on Formal Approaches to Testing of Software (FATES 2003), Spinger, Montreal, Quebec, Canada, October, 2003, pp. 42-59.
9. Gargantini, C. L. Heitmeyer, "Using Model Checking to Generate Tests from Requirements Specifications", Proceedings of Joint 7th European Software Engineering Conference and 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE99), Toulouse, France: ACM Press, September 1999, pp. 146-162.
10. 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 (ICSE 2004, Edinburgh,), IEEE Computer Society Press, Los Alamitos (CA), May, 2004, pp. 326-335.
11. H. S. Hong, I. Lee, O. Sokolsky, and S.D. Cha, "Automatic Test Generation from Statecharts Using Model Checking", Proceedings of the 1st International Workshop on Formal Approaches to Testing of Software (FATES '01), Aalborg, Denmark, Aug. 2001, pp. 15-30.
12. H. S. Hong, S. D. Cha, I. Lee, O. Sokolsky, and H. Ural, "Data flow testing as model checking" Proceedings of 25th International Conference on Software Engineering, IEEE Computer Society, Portland, OR, May 2003, pp. 232-242.
13. G. Hamon, L. Moura, and J. Rushby, "Generating efficient test sets with a model checker", Proceedings of the Second International Conference on Software Engineering and Formal Methods (SEFM), IEEE Computer Society Press, Beijing, China, 2004, pp. 261-270.
14. J. Callahan, F. Schneider, and S. Easterbrook, "Automated Software Testing Using ModelChecking", Proceedings of the 1996 SPIN Workshop, Rutgers, NJ, August 1996, pp. 118-127.
15. P. E. Black and S. Ranville, "Winnowing tests: Getting quality coverage from a model checker without quantity". Proceedings of 20th AIAA/IEEE Digital Avionics Systems Conference, Daytona Beach, FL, October 2001, Available from http://hissa.nist.gov/black/Papers/dasc2001.html.
16. K. L. McMillan, "The SMV System for SMV version 2.5.4", http://www.cs.cmu.edu/~modelcheck/smv/smvmanual.ps.
17. G. J. Holzmann, "The Model Checker SPIN", IEEE Transactions on Software Engineering, 23(5), May 1997, pp. 279-295.
18. T. J'eron and P. Morel, "Test generation derived from model-checking", Computer Aided Verification (CAV), Lecture Notes in Computer Science(LNCS) 1633, Springer-Verlag, 1999.
19. P. E. Ammann, P. E. Black, and W. Majurski, "Using Model Checking to Generate Tests from Specifications:, Proceedings of the 2nd IEEE International Conference on Formal Engineering Methods, 1998, pp. 46-54.
20. L. Liu, H.K. Miao, "A Framework for Specification-Based Class Testing", Proceedings of the Eighth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2002), USA, Greenbelt, December, 2002, pp. 153-162.