关键词：符号执行 参数约束 测试用例 软件测试 

摘要：软件质量检测常用的方法是软件测试,符号执行作为主流的测试技术已被广泛应用于学术界与工业界中。但是随着程序规模的增大和函数调用的增加,因某些路径约束条件的特殊性,而难以生成正确的测试用例,从而导致符号执行不能对所有路径做到全覆盖。为了提高符号执行在特殊约束条件对路径的覆盖率等问题,本文提出了基于参数约束的符号执行优化算法。首先,该算法通过搜索收集程序代码中函数的特殊参数,然后利用这些特殊参数作为约束条件,最后将约束条件添加到路径的约束集中。该算法使符号执行生成的测试用例更加精确,从而实现覆盖特殊约束条件下的路径分支,以提高符号执行的精确性和路径覆盖率。在开源符号执行平台CREST中实验并验证上述优化算法,验证及测试结果表明本文提出的算法能够提高符号执行在特殊约束条件下对路径的覆盖率。

信息技术与网络安全杂志要求:

{1}来稿所涉及的课题如属于基金资助项目，应于文题页左下方加以注释，并附基金证书复印件。

{2}本刊编辑将在三个月内就来稿采用与否或修改意见答复作者。文章如经本刊采用，不可再投他刊。

{3}图片要求影像清晰、色彩真实、画面整洁。图片若非本人原创（或拍摄），须获得原作者（或原拍摄者）的许可，不得侵犯他人权益。

{4}论文所引文献的注释必须规范，准确标明作者、文献名称、出版社或出版物的名称、出版或发表的时间、页码等。注释一律采用脚注方式，注释序号使用1、2、3……标示，每页单独排序。

{5}正文章节标题或小标题独占一行，且一律用阿拉伯数字（从1 开始）表示，形式为：1 1.1 1.2 …… 2 2.1 2.2 ……

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社