【摘 要】
：
针对当前分布式模糊测试任务分配中,大量测试用例重复执行导致测试效率低的问题,提出基于状态聚类的分布式模糊测试任务分配策略。通过大量随机测试获得目标程序的初始状态空
【基金项目】
：
国家重点研发计划“网络空间安全”重点专项基金项目(2017YFB0802905)
论文部分内容阅读
针对当前分布式模糊测试任务分配中,大量测试用例重复执行导致测试效率低的问题,提出基于状态聚类的分布式模糊测试任务分配策略。通过大量随机测试获得目标程序的初始状态空间;根据路径前缀将初始状态空间划分为相互独立的状态子空间,将其对应的任务分发到各测试节点;利用路径约束控制变异的方向,保证各测试节点探测的状态空间相互独立。根据该方法,设计实现一个高效的分布式模糊测试系统。分别在libtiff库和CGC测试集上进行实验,实验结果表明,该系统能够有效减少测试用例的重复执行次数,提高模糊测试效率,有机会发现更多cra
其他文献
2014年2月,《衡器》期刊对上海耀华称重系统有限公司（以下简称＂上海耀华＂）执行总经理尧年华就上海耀华发展概况等方面进行了专访。尧年华执行总经理就我们提出的问题做出了一一解
9月15日晚,以＂接力荣光、共圆梦想＂为主题的中航电测公司建业50周年庆典晚会在铺镇厂区灯光球场举行,参加晚会的有来自中航电测公司总部、分（子）公司及事业部的在职员工以及公司
坚持全面、协调、可持续的发展现,是以胡锦涛同志为总书记的党中央以邓小平理论和"三个代表"重要思想为指导,从新世纪新阶段党和国家事业发展全局出发提出的重大战略思想.科
由于工作需要,领导者有可能调离现任岗位异地任职,对同事或下属的话别演讲,是领导者最后一次与大家面对面的交流,意义比较特殊,要开诚布公,以情感人,做到四个真,才能引起大家
随着改革开放和社会主义市场经济的发展,人们在物质生活不断丰富的同时思想上也发生了许多变化.作为社会的一部分,军队或多或少也受到了一些影响.如何在新形势下把兵带好,已
4月20日至22日,中国国际衡器展览会在魅力之都——上海如期举行,中航电测携手上海耀华以凸显“航空科技”为主题,用360平米的展位面积进行联合展示,成为本次展会上一道亮丽的
赛摩电气股份有限公司（股票代码：300466）于2015年5月在深圳A股成功上市!本次发行所募集资金将用于煤能源计量设备扩建项目、机械自动采样设备扩建项目、研发中心建设项目和其他
反思近年来部队发生的一些问题的原因和教训,都无一例外地与没有及时发现并做好重点人的工作有着直接的关系.所谓重点人,是指那些受主观因素影响,思想不稳定,有可能发生违法
<干部任用条例>等文件法规的出台,推进了公开选拔领导干部工作的科学化、民主化、制度化,但在实践中也存在一些不良倾向,如一些党员干部平时在本职岗位工作中表现平平,但却因
在实际工作中,我们常会遇到这样的现象:领导制定决策完全依赖于个人拍脑袋,缺乏充分的民主、相关咨询和有效监督,使决策存在潜在风险和不稳定性;执行决策过程中,发现偏差甚至