【摘 要】
：
软件质量检测常用的方法是软件测试,符号执行作为主流的测试技术已被广泛应用于学术界与工业界中。但是随着程序规模的增大和函数调用的增加,因某些路径约束条件的特殊性,而
【机 构】
：
哈尔滨师范大学计算机科学与信息工程学院,上海市信息安全综合管理技术研究重点实验室
【基金项目】
：
上海市信息安全管理技术研究重点实验室开放课题(AGK2015003)
论文部分内容阅读
软件质量检测常用的方法是软件测试,符号执行作为主流的测试技术已被广泛应用于学术界与工业界中。但是随着程序规模的增大和函数调用的增加,因某些路径约束条件的特殊性,而难以生成正确的测试用例,从而导致符号执行不能对所有路径做到全覆盖。为了提高符号执行在特殊约束条件对路径的覆盖率等问题,本文提出了基于参数约束的符号执行优化算法。首先,该算法通过搜索收集程序代码中函数的特殊参数,然后利用这些特殊参数作为约束条件,最后将约束条件添加到路径的约束集中。该算法使符号执行生成的测试用例更加精确,从而实现覆盖特殊约束条件下的
其他文献
目的:观察miR-101在肺癌细胞或组织中的表达变化情况,分析miR-101通过靶向调控环磷腺苷反应元件结合蛋白1(cyclic adenosine monophosphate responsive element binding prot
针对已有发电厂继电保护整定系统运行时需要大量人工操作及难以灵活管理数据的问题,提出了基于一体化数据结构的整定系统.首先分析了发电厂继电保护整定计算过程业务功能所涉
为保护土鲶资源,开发高效养殖新品种,我们开展了鄱阳湖土鲶繁养殖关键技术研究,并于2012年4月首次进行了小规模人工繁殖和苗种培育试验,现报告如下：