基于代码结构的故障检测分析与研究

来源 :北京邮电大学 | 被引量 : 0次 | 上传用户:eagle_19810
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
变异测试是基于故障检测的软件测试技术,一方面可以用来衡量测试用例集的检错能力,另一方面可以帮助构造完备的测试用例集。研究表明,变异测试中生成的变异体,能够很好地代表真实程序中的故障,但是变异测试中会产生大量的冗余变异体,它们极大地增加了测试成本。变异体被检测到的难易程度可用实用性表示,难测的变异体会具有更高的实用性。因此,如何生成尽可能少并且实用性高的变异体,对变异测试至关重要。本文对如何提高变异体的生成质量展开研究,主要包括以下两方面的工作:(1)分析变异体实用性在语句蕴含图中的分布特征。分析发现,在语句蕴含图根节点或者靠近根节点包含的语句中生成的变异体,更容易具有高的实用性。由此得出,若变异行被更少的测试用例覆盖,那么变异体相对更难被检测出;(2)分析蕴含变异体在算子中的分布特征。蕴含变异体都是实用性高的变异体。首先筛选出生成蕴含变异体比例高的算子,然后对这些算子进行具体分析。分析表明,算子在某些特定的变异模式下,生成的变异体更难被检测到。同时本文对分析结论进行了验证实验。实验结果说明:与随机选择的变异体集相比,根据分析特征选择的变异体集,具有数量少、实用性高的特点,且能得到很好的变异得分。
其他文献
本论文选用稀土离子、铜离子、锌离子和镉离子为中心金属,1,3-金刚烷二羧酸(1,3-H2adc)和3,5-二(3,4-二羧基苯氧基)苯甲酸(H5L)为主配体,2,2’-联吡啶(2,2’-bpy)、4,4’-联吡啶(4,4’
随着经济和客户服务的发展,智能问答系统出现在大众视野,该系统的主要功能是接收和处理用户的问题然后快速精确地匹配问题答案并返回给用户。其中,文本匹配是智能问答系统的关键技术,传统的匹配方法需要大量的人工手段来匹配文本,匹配的准确率有待提高。随着深度学习技术的发展,其在自然语言处理领域取得了很大成就,同时也面临很多挑战。针对目前深度学习方法在文本向量表示时较单一,并且对现有交互型和表示型模型没有充分融
随着科技的进步,人们对人工智能、大数据、云计算和物联网等新兴学科的关注度越来越高。这些学科的发展都是通过对于大量目标数据进行采集存储,再通过相关算法对这些数据进行
塔里木河干流是南疆生态环境的生命线,是塔克拉玛干沙漠的一块生态屏障,但由于气候变化、自然资源的不合理利用等因素使其生态服务功能大大减弱。为了分析研究塔里木河干流水土资源变化及其生态恢复,本文以塔里木河干流沿岸的土壤、植被为研究对象,采用统计学的方法对塔里木河干流不同胡杨下土壤水盐的特征进行了分析;从胡杨的径级结构、静态生命表、分布格局3个方面分析了胡杨(Populus euphratica)种群的
油气管道运输作为我国五大运输产业之一,对我国国民经济的发展起到了非常重要的作用,被称为国家的“能源血脉”。随着我国经济的发展,对油气能源的需求量日益增大,输送管道的
本文以寒冷地区海洋环境下的混凝土桥梁为研究对象,基于已有混凝土结构遭受冻融损伤和钢筋锈蚀的退化模型及试验研究成果,针对寒冷地区海洋环境混凝土桥梁的抗震性能展开研究,主要内容如下:(1)通过已有混凝土结构遭受冻融损伤和钢筋锈蚀的退化模型及试验理论研究的归纳分析,确定适合于本文分析的混凝土结构遭受冻融损伤和钢筋锈蚀后的退化模型。(2)通过对混凝土桥梁抗震理论研究成果的归纳分析,确定适用于退化混凝土桥梁
荧光探针技术是一种通过改变荧光信号将分子识别信息的变化表示出来的检测方法。因其具有专一的选择性,良好的灵敏度,操作简便等超越其他传统检测技术的优势,成为备受科研工
合理优化资源配置提升公交运营效率是当前公共交通优化过程中迫切需要解决的理论与实践性问题。通过对于公交组合调度模式的探究,可以有效增强公交吸引力、提升乘客满意度和公交分担率,优先发展公共交通具有重要。本文深入分析我国公交运营模式、供需资源约束及现有调度模式存在的问题。依据国内外研究成果,分析公交客流需求特性,结合现有公交资源配置,对全程车和大站快车组合调度优化模式进行分析探究。针对现状问题提出相应的
在我国发展的新时代下,中国制造2025计划,是中国政府实施制造强国战略的第一个行动纲领,其十大重点工程之一就是机器人技术。而机器视觉控制系统则将成为现今高端制造装备的“大脑”。基于机器视觉技术,设计了适用于常规工业机器人的视觉识别定位及引导功能系统。其中着重对保留边缘的分灰度级平滑滤波技术、特征描述子的建立以及手眼的快速标定进行着重研究,并利用实验室六轴机器人平台,通过具体实验进行系统功能性测试。
随着生物信息技术的发展,高通量测序技术的出现极大地降低了测序的成本,提高了测序的性能,使得高效全面地测定同一样本不同层面的组学数据成为可能。目前已积累的海量多源异