计算机与数字工程Issue(9)：2327-2331,5.DOI:10.3969/j.issn.1672-9722.2019.09.043
一种基于符号执行的测试用例生成方法
A Test Case Generation Method Based on Symbolic Execution
郑华利 1刘钊远 1田野1
作者信息
- 1. 西安邮电大学计算机学院 西安 710061
- 折叠
摘要
Abstract
Aiming at the problem of path explosion existing in the execution of symbols,a redundant path deletion method is proposed,which uses the postconditions in the Hoare logic to guide symbol execution to generate effective test cases. The weakened preconditions are first used to calculate the explored paths and then the postconditions are used to guide the execution of the symbols to identify multiple shared path suffixes in the program and eliminate them as test cases are generated. Finally,by testing a number of benchmark programs,the results show that this method can reduce the number of program exploration and execution time to a cer?tain extent,and weaken the path explosion in symbol execution.关键词
符号执行/路径爆炸/后置条件/最弱前置条件Key words
symbolic execution/path explosion/postconditions/weakest preconditions分类
信息技术与安全科学引用本文复制引用
郑华利,刘钊远,田野..一种基于符号执行的测试用例生成方法[J].计算机与数字工程,2019,(9):2327-2331,5.
