【摘 要】
：
软件测试是保障软件质量的常用方法,如何获得高覆盖率是测试中十分重要且具有挑战性的研究问题.模糊测试与符号执行作为两大主流测试技术已被广泛研究并应用到学术界与工业界
【机 构】
：
天津市先进网络重点实验室（天津大学）,南通大学计算机科学与技术学院,信息安全国家重点研究室（中国科学院信息工程研究所）,SchoolofComputerScienceandEngineering
【基金项目】
：
国家自然科学基金(61572349,61272106)~~
论文部分内容阅读
软件测试是保障软件质量的常用方法,如何获得高覆盖率是测试中十分重要且具有挑战性的研究问题.模糊测试与符号执行作为两大主流测试技术已被广泛研究并应用到学术界与工业界中,这两种技术都具有一定的优缺点:模糊测试随机变异生成测试用例并动态执行程序,可以执行并覆盖到较深的分支,但其很难通过变异的方法生成覆盖到复杂条件分支的测试用例.而符号执行依赖约束求解器,可以生成覆盖复杂条件分支的测试用例,但在符号化执行过程中往往会出现状态爆炸问题,因此很难覆盖到较深的分支.有工作已经证明,将符号执行与模糊测试相结合可以获得比单
其他文献
海洋立管作为深水油气资源开采中关键且薄弱的构件,在开采系统中通常以管群形式存在。相邻管体之间的相互影响、干扰会对其后的尾流旋涡脱落形态及结构动力响应产生很大影响,
通过钻井、测井、地震及分析化验等资料,结合区域构造背景,以层序地层学、沉积学等理论为指导,对准噶尔盆地玛东斜坡主探目的层二叠系乌尔禾组P2w4进行层序地层学分析及沉积
目的为麸炒枳壳标准汤剂的质量控制提供可靠方法。方法依照标准汤剂的制备要求,制备13批麸炒枳壳标准汤剂,采用HPLC法测定标准汤剂中柚皮苷和新橙皮苷含量,计算其转移率,测定
叶挺(1896-1946),中国人民解放军的创始人和新四军重要领导人之一。他军事生涯中所显示出的卓越军事思想及军事指挥艺术为世人所尊崇,对于党的人民军队建设和毛泽东军事思想
根据崇左至靖西高速公路龙那1#隧道工程,结合本工程自然地质情况,采用光面爆破施工工艺对隧道Ⅲ级围岩和Ⅳ级围岩钻爆参数进行设计,包括周边眼间距、最小抵抗线、周边眼每米
一、模仿在作文教学中的作用及理论依据模仿是学生写作入门的捷径,学生习作时能做到成功的模仿可为今后作文的自我创新奠定基础。通过模仿,教师可有效实现对学生观察、思维、
全球化的浪潮已经席卷了中国社会的各个角落，借着全球化的契机，中国在实现经济快速发展的同时也面临着文化复兴的重任。在此背景下，儒学开始复兴，新儒家的学者们希望通过儒学来建
<正>一史海茫茫待确证石门东晋吴隐之题咏"贪泉",向来是华夏清廉美德的重要标志。然而"贪泉"真迹久已湮没,今人所认仅据东岸晚明一碑,不乏质疑。2006年因建武广高铁,消失多年
拥有“香港室内设计之父”称号的高文安在香港是鼎鼎大名的室内设计师,在30年的设计工作中,设计过上千件的作品,其中有住宅、办公室、精品店、展示场、百货公司、Disco 舞厅
采用75g糖耐量检查是确诊妊娠合并糖尿病的主要方法，传统的采血方法是空腹及口服配制75g葡萄糖水后，分别于服糖前、服糖后1小时、2小时、3小时共进行4次静脉穿刺采血，这种采血办