【摘 要】
：
现有的基于中心极限定理和参数假设检验的方法被认为是一种高效的缺陷定位技术.然而,实验结果表明,在某些实验数据集上,测试用例的总数过小而不宜运用中心极限定理.实验结果
论文部分内容阅读
现有的基于中心极限定理和参数假设检验的方法被认为是一种高效的缺陷定位技术.然而,实验结果表明,在某些实验数据集上,测试用例的总数过小而不宜运用中心极限定理.实验结果同时表明,谓词的实际分布背离了基于参数假设检验的方法所假设的正态分布.基于以上发现,提出了一种基于Kolmogorov-Smirnov检验的缺陷定位方法.在西门子测试集和大型程序上的实验结果表明:该方法在小样本和非正态分布的样本集上具有较好的适用性.若谓词在某个测试用例执行时未被执行,已有的方法将该执行中此谓词的评估偏差值设为0.5.在西门子程序集上调查了该设置的有效性,实验结果表明:对于基于Kolmogorov-Smirnov检验的缺陷定位方法,该设置可以提高缺陷定位的效率.
其他文献
高端产业是一个新兴的在含有较高利润率、较高技术含量、较高附加值同时资源消耗较低的产业,它处于产业链条中、国民经济产业体系中或各次产业中的控制或优势地位。从产业高
作为集生产与科研任务于一体的试验单位,光华农场曾肩负了营养伤病员、哺育婴幼儿以及保健军民的光荣使命。尽管抗战前期(1937～1940年)陕甘宁边区的畜牧业发展很快,但牛羊大多
近年来中欧科技合作发展迅猛,在我国重要战略机遇期,认真分析中欧科技合作现状,总结科技合作实践经验,积极挖掘合作潜力,对我国制定科学的科技合作政策,全面提升国家创新科技
分析了关于推进创新方法工作的几个问题,指出:创新方法工作旨在从源头上提升企业创新能力,国家技术创新工程引导与创新方法推进是建设中国特色国家创新体系、实现创新型国家
为了研究在相应通风道结构下某变频调速隐极同步电动机冷却空气流场的特点,建立了包括定子和转子风道的电机1/8结构的三维流场物理模型,基于有限体积法,对三维湍流流动控制方
自有语言以来就存在的委婉词语,在日常生活中仍为人们所津津乐道。本文分析了委婉词语的作用。
The euphemisms that existed since the language was spoken are still tal
个性化自主学习是以学生的个性差异为依据,以自主、自治为基本策略的学习。为适应这种新型模式,大学英语教师要转变观念,全面了解英语自主学习学生的需求,对自己在该模式下应
本文引入了互动式英语口语教学法.此教学法倡导学生之间,学生和老师之间进行积极的互动,英语教师应改变他们在教学中的角色,牢记学生是中心和教学目的,教师的主要任务是创造
作为高职院校英语专业的教师,我认为将电视英语教材运用到课堂教学中,有利于锻炼学生的听说能力,从而培养学生运用英语直接思维的能力.
标记理论是当今语言学中用以分析语言系统的一条重要原则,目的是通过分析语言各子系统中的标记现象来建立语言的标记模式。Eckman提出的标记差异假设把学习的困难程度和领域