Test case reduction based on program invariant and genetic algorithm

2010 6th International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM 2010

Volumn , Issue , 2010, Pages

  Pan, Nenggang ^a   Zeng, FanPing ^a   Huang, Yu Han ^a  

^a UNIVERSITY OF SCIENCE AND TECHNOLOGY OF CHINA   (China)

Author keywords

[No Author keywords available]

Indexed keywords

DATA COVERAGE; HIGHER EFFICIENCY; PROGRAM INVARIANTS; RANDOM TESTING; TEST CASE; TEST CASE REDUCTION;

COMPUTER SOFTWARE SELECTION AND EVALUATION; GENETIC ALGORITHMS; MOBILE COMPUTING; SOFTWARE TESTING; WIRELESS NETWORKS; WIRELESS TELECOMMUNICATION SYSTEMS;

TESTING;

EID: 78549281069     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WICOM.2010.5601284     Document Type: Conference Paper

References (10)

1. Richard Hamlet. Random testing. In Encyclopedia of Software Engineering, pages 970-978. John Wiley and Sons, 1994.
2. Daikon version 4.6.2. http://groups.csail.mit.edu/pag/Daikon/
3. Michael D. Ernst, Dynamically Discovering Likely Program Invariants, PhD thesis, Dept. of Computer Science and Eng., Univ. of Washington, Seattle, Wash., Aug. 20000.
4. Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, and Chen Xiao. The Daikon system for dynamic detection of likely invariants. Science of Computer Programming, vol. 69, no. 1-3, Dec. 2007, pp. 35-45.
5. R. Krishnamoorthi and S.A. Sahaaya ArulMary Regression Test Suite Prioritization using Genetic Algorithms in International Journal of Hybrid Information Technology. Vol.2, No.3, July, 2009.
6. M. Harder, J. Mellen, and M. D. Ernst. Improving test suites via operational abstraction. In ICSE'03, Proceedings of the 25th International Conference on Software Engineering, pages 60-71, Portland, Oregon, May 6-8, 2003.
7. T. Xie and D. Notkin. Tool-assisted unit test selection based on operational violations. In ASE 2003: Proceedings of the 18th Annual International Conference on Automated Software Engineering, pages 40-48, Montreal, Canada, Oct. 8-10, 2003.
8. The foundation of software testing. Mathur, Aditya P. Machinery Industry Press, 2008.
9. Carlos Pacheco, Michael D. Ernst. Eclat: Automatic generation and classification of test inputs. In ECOOP 2005: Object-Oriented Programming, 19th European Conference, (Glasgow, Scotland), July 27-29, 2005, pp. 504-527.
10. Fanping Zeng, Qing Cao, Liangliang Mao, Zhide Chen. Test Case Generation Based on Invariant Extraction. Wireless Communications, Networking and Mobile Computing, 2009. WiCom '09. 5th International Conference on. 24-26 Sept. 2009 Page(s):1-4.