Test case generation based on program invariant and adaptive random algorithm

Communications in Computer and Information Science

Volumn 201 CCIS, Issue PART 1, 2011, Pages 274-282

  Yuan, Yuan ^a   Fanping, Zeng ^a,b   Guanmiao, Zhu ^a   Chaoqiang, Deng ^a   Neng, Xiong ^a  

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

^b Anhui Province Key Laboratory of Software in Computing and Communication   (China)

Author keywords

Adaptive random algorithm; Program invariant; Random testing; Test case generation

Indexed keywords

ADAPTIVE RANDOM TESTING; CRITICAL ACTIVITIES; FASTER CONVERGENCE; FEED BACK INFORMATION; PROGRAM INVARIANTS; RANDOM ALGORITHMS; RANDOM TESTING; SOFTWARE ERRORS; TEST CASE; TEST CASE GENERATION;

ADAPTIVE ALGORITHMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; EDUCATION COMPUTING; INFORMATION TECHNOLOGY; RANDOM ERRORS;

SOFTWARE TESTING;

EID: 79960399345     PISSN: 18650929     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-22418-8_38     Document Type: Conference Paper

References (13)

1. Hamlet, R.: Random Testing. In: Encyclopedia of Software Engineering, pp. 970-978 (1994)
2. Chen, T.Y., Leung, H., Mak, I.K.: Adaptive Random Testing. In: Maher, M.J. (ed.) Proceedings of the 9th Asian Computing (2004)
3. Liu, H., Xie, X.D., Yang, J., Lu, Y.S., Chen, T.Y.: Adaptive Random Testing by Exclusion through Test Profile (2010)
4. Ammann, P.E., Knight, J.C.: Data Diversity: An Approach to Software Fault Tolerance. IEEE Transactions on Computers 37(4), 418-425 (1988)
5. DAIKON version 4.6.2., http://groups.csail.mit.edu/pag/DAIKON/
6. Michael, D. E.: Dynamically Discovering Likely Program Invariants, PhD thesis, Dept. of Computer Science and Eng., Univ. of Washington, Seattle, Wash. (August 2010)
7. Michael, D.E., Jeff, H.P., Philip, J.G., McCamant, S., Pacheco, C., Matthew, S.T., Chen, X.: The DAIKON System for Dynamic Detection of Likely Invariants. Science of Computer Programming 69(1-3), 35-45 (2007)
8. Harder, M., Mellen, J., Ernst, M.D.: Improving Test Suites via Operational Abstraction. In: ICSE 2003, Proceedings of the 25th International Conference on Software Engineering, Portland, Oregon, May 6-8, pp. 60-71 (2003)
9. Pacheco, C., Shuvendu, K.L., Ball, T.: Finding Errors in .NET with Feedback-directed Random Testing. In: ISSTA 2008: International Symposium on Software Testing and Analysis, Seattle, Washington, July 20-24 (2008)
10. Pacheco, C., Lahiri, S.K., Ernst, M.D., Ball, T.: Feedback-directed Random Test Generation. In: ICSE 2007: Proceedings of the 29th International Conference on Software Engineering, Minneapolis, MN, USA (2007)
11. Zeng, F.P., Cao, Q., Mao, L.L., Chen, Z.D.: Test Case Generation Based on Invariant Extraction. In: WiCom 2009: 5th International Conference on Wireless Communications, Networking and Mobile Computing, pp. 1-4 (2009)
12. Pacheco, C., Michael, D.E.: Eclat: Automatic Generation and Classification of test inputs. In: Gao, X.-X. (ed.) ECOOP 2005. LNCS, vol. 3586, pp. 504-527. Springer, Heidelberg (2005)
13. Chan, F.T., Chen, T.Y., Mak, I.K., Yu, Y.T.: Proportional Sampling Strategy: Guidelines for Software Testing Practitioners. Information and Software Technology 38, 775-782 (1996)