【摘 要】
：
软件质量检测常用的方法是软件测试,符号执行作为主流的测试技术已被广泛应用于学术界与工业界中。但是随着程序规模的增大和函数调用的增加,因某些路径约束条件的特殊性,而
【机 构】
：
哈尔滨师范大学计算机科学与信息工程学院,上海市信息安全综合管理技术研究重点实验室
【基金项目】
：
上海市信息安全管理技术研究重点实验室开放课题(AGK2015003)
论文部分内容阅读
软件质量检测常用的方法是软件测试,符号执行作为主流的测试技术已被广泛应用于学术界与工业界中。但是随着程序规模的增大和函数调用的增加,因某些路径约束条件的特殊性,而难以生成正确的测试用例,从而导致符号执行不能对所有路径做到全覆盖。为了提高符号执行在特殊约束条件对路径的覆盖率等问题,本文提出了基于参数约束的符号执行优化算法。首先,该算法通过搜索收集程序代码中函数的特殊参数,然后利用这些特殊参数作为约束条件,最后将约束条件添加到路径的约束集中。该算法使符号执行生成的测试用例更加精确,从而实现覆盖特殊约束条件下的
其他文献
近日在青岛水产品批发市场及多家农贸市场了解到，一只约350克重的梭蟹每500克批发价在30元左右，而开海前批发价每500克高达70元……开海后蟹子捕捞开禁，市场上梭子蟹价格也急转
目的:观察miR-101在肺癌细胞或组织中的表达变化情况,分析miR-101通过靶向调控环磷腺苷反应元件结合蛋白1(cyclic adenosine monophosphate responsive element binding prot
当前,我国正处于经济体制的转型时期,传统文化不仅是往日的陈迹,也是今天的影象,因此,从当代人的角度、用新的视角,新的观点、重新审视传统文化、正确认识和反思传统文化,在
针对已有发电厂继电保护整定系统运行时需要大量人工操作及难以灵活管理数据的问题,提出了基于一体化数据结构的整定系统.首先分析了发电厂继电保护整定计算过程业务功能所涉
为保护土鲶资源,开发高效养殖新品种,我们开展了鄱阳湖土鲶繁养殖关键技术研究,并于2012年4月首次进行了小规模人工繁殖和苗种培育试验,现报告如下：
几年来的工作实践,我深刻地体会到:建好农村基层党组织领导班子,特别是选好一把手,是抓好农村精神文明建设的关键。农村基层党组织一把手总揽着工作全局,是工作决策的核心,握
党的十五大以后,面对全国变化了的新形势和历史性的发展机遇。方正县从构筑县域经济新格局的需要出发,积极探索加强非公有制经济组织党建工作的有效途径,其作法是: 因企施策
近日在宁国路美食一条街看到,合肥市各家饭店的门前都已经摆上了红彤彤的小龙虾,让翘首以待了很久的市民大饱口福。据了解,合肥小龙虾的主产地是长丰、肥东和肥西,3月份这些
哈尔滨市工商局道里工商分局领导集体认真贯彻落实市工商局党组提出的"突出职能作用,积极改革开拓,加强队伍建没,争创一流工作"的要求;坚持"以促进地区经济发展为中心"和"做
松浦镜鲤是由国家大宗淡水鱼类产业技术体系黑龙江水产科学研究所培育的鲤鱼养殖新品种，作为适宜推广的选育种，吉林市水产技术推广站2010年开展了松浦镜鲤池塘培育鱼种技术的试