计算机应用与软件2016，Vol.33Issue(6)：23-26,31,5.DOI:10.3969/j.issn.1000-386x.2016.06.006
基于符号执行与混合约束求解的测试用例生成研究
ON TEST CASE GENERATION BASED ON SYMBOLIC EXECUTION AND HYBRID CONSTRAINT SOLVING
周海将 1吴军华1
作者信息
- 1. 南京工业大学计算机科学与技术系 江苏 南京210009
- 折叠
摘要
Abstract
Since current test case generation method based on symbolic execution is unable to provide effective support to the test case generation with regard to character string,therefore we present an automatic test case generation method,which is based on symbolic execution and hybrid constraint solving,and implement it as well.The method uses the model checking software to make symbolic execution on the source code of the software to be tested and generates a mixed constraint set correlated to string and numeral.Then it uses the string-numerical constraints solver to calculate the constraint set.Finally,according to the calculation result it generates the software test case and the infeasible path.Experimental result shows that this method well support the generation of test case in regard to string and has good efficiency and accuracy.关键词
测试用例生成/符号执行技术/混合约束求解/字符串Key words
Test cases generation/Symbolic execution technology/Hybrid constraint solving/String分类
信息技术与安全科学引用本文复制引用
周海将,吴军华..基于符号执行与混合约束求解的测试用例生成研究[J].计算机应用与软件,2016,33(6):23-26,31,5.
