【摘 要】
：
基于路径覆盖的测试方法是软件测试中比较重要的一种测试方法,但程序的路径数量往往呈指数增长,对程序的每一条路径都进行测试覆盖基本上是不可能的。从软件安全测试的观点看
【机 构】
：
北京邮电大学计算机学院,中国信息安全测评中心,北京林业大学信息学院
【基金项目】
：
国家自然科学基金(61170268,61070207)资助课题
论文部分内容阅读
基于路径覆盖的测试方法是软件测试中比较重要的一种测试方法,但程序的路径数量往往呈指数增长,对程序的每一条路径都进行测试覆盖基本上是不可能的。从软件安全测试的观点看,更关心程序中的关键代码区域（调用危险函数的语句、圈复杂度高的函数、循环写内存的代码片断）的执行情况。该文提出了覆盖关键代码区域的测试数据自动生成方法,该方法基于二进制程序,不依赖于源码。通过回溯路径获取所有可达关键代码区域的程序路径,并通过路径引导自动为获得的路径生成相应的测试数据。路径引导策略基于程序的符号执行与实际执行,逐步调整输入,使用约
其他文献
近年来,小学教育专业是我国各大师范类高校文科竞相开设的专业之一。就业期望是求职者对某种职业的需求和态度,集中表现为求职者对从事某职业的观念和信心,从根本上决定着求
建筑装饰施工设计与管理作为工程中的重要内容,其控制效果直接影响着工程的施工效益。随着装饰内容的不断完善,建筑装饰逐渐开始分为外部装饰及内部装饰两大部分,内容结构较
根据猪伪狂犬病病毒gE基因保守序列，设计合成引物和探针，优化反应条件，建立实时定量荧光PCR方法。实验结果表明，当50pmol／L的引物0．3μL和5pmol／L的探针0．5μL时，反应体系获得的CT值较
巴西的音乐文／陈自明巴西是拉丁美洲最大的国家，其土地面积几乎占南美洲的一半，是世界第五大国。人口一亿四千万。白人、黑人、印第安人、混血人组成了今日的巴西民族。巴西的音
随着互联网时代的到来,现代网络技术及电脑多媒体技术的迅速发展,大大改善了大学英语的教学环境,同时为提高大学英语教学水平提供了前所未有的机遇。该文将主要探讨如何充分
在充分考虑长兴岛自身优势资源和外在环境的前提下,给出了一套科学合理的招商项目评价指标与评价方法,该评价方法依据云理论实现了对招商项目的等级划分。以大连造船厂和大连
<正> 四魏晋文学的时代精神特征是“文的自觉”,而其根本则在于社会意识的“人的自觉”。即新的人文思想,改变了士人传统的人格价值的观念,使之从汉代专制的精神禁锢中解放出
有效的项目管理是项目成功的有力保障,CMMI标准模型中定义了各种过程域来帮助我们进行项目监控管理,但该模型中并没有提出问题管理过程域的概念,本文将针对这一问题提出问题
以 HP- INNOWAX(Crosslinked Polyethlene Glycol交链聚乙二醇 )毛细管柱为固定相 ,氢火焰离子化检测器 (FID) ,二阶程序升温 ,碳酸乙烯酯为内标气相色谱法分析工业三乙醇胺
十九大的胜利召开标志着我国已经步入新时代,我国的财政体制改革进程不断深入,通过部门预算、国库集中支付制、政府采购制等公共财政体系的构建,逐渐完善了我国的财政管理体