会议专题

Test Data Generation for C Programs with String-handling Functions

There are many test generation methods, but few of them consider the character strings. This paper proposes a method to generate test data for C programs with character strings and character string function calls, which is based on path oriented testing. Each character variable is viewed as an integer variable with the restriction that the value should be between 0 and 255. A character string is viewed as an array of characters with a predefined fixed length. Many commonly used character library functions are modeled by formulae in predicate logic with assignment statements. The model is then used to replace the function call in the program path, which will be solved by a path analysis tool to generate the test data. A prototype tool called StrGen is developed to illustrate the feasibility of this method. The results of some examples also show that this method is feasible and very efficient.

Hui Ruan Jian Zhang Jun Yan

State Key Laboratory of Computer Science Institute of Software, Chinese Academy of Sciences Graduate State Key Laboratory of Computer Science Institute of Software, Chinese Academy of Sciences

国际会议

第二届IFIP/IEEE软件工程理论基础国际研讨会(TASE 2008)(Second IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering)

南京

英文

219-226

2008-06-17(万方平台首次上网日期,不代表论文的发表时间)