【摘 要】
：
现有的测试用例约简方法不能有效提高错误定位精度,现有的软件错误定位方法不能充分分析元素间的依赖关系。针对以上问题,提出结合测试用例约简和联合依赖概率建模的软件错误
【机 构】
：
哈尔滨工业大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金(61173021,61202092);教育部博士点基金(20112302120052)
论文部分内容阅读
现有的测试用例约简方法不能有效提高错误定位精度,现有的软件错误定位方法不能充分分析元素间的依赖关系。针对以上问题,提出结合测试用例约简和联合依赖概率建模的软件错误自动定位方法,将测试用例约简与软件错误定位统一为一个整体。不同于一般的测试用例约简方法,所提出的测试用例约简方法在程序执行路径的基础上充分考虑了错误测试用例对错误定位的影响,能够为错误定位提供有效的测试用例,为快速、准确地定位软件错误奠定基础。定义了一种新的统计模型--联合依赖概率模型,充分分析了程序元素间的控制依赖、数据依赖以及语句执行状态,并
其他文献
选用1日龄肉用雏鸡300只,随机分为4组:Ⅰ组为健康对照;Ⅱ,Ⅲ组饲喂100mg·kg<sup>-1</sup>锗-132（Ge-132）;Ⅲ,Ⅳ组人工感染马立克氏病毒（MDV）。经60d临床观察并每隔10d采用免
新闻语篇中存在着大量的隐性评价资源，间接含蓄地体现着媒体的观点和态度。新闻媒体通过运用大量貌似中性但却昭示态度的隐性评价资源，来表达立场，联盟读者。通过对新闻报刊Chin
【目的】探究中华蜜蜂Apis cerana cerana信号识别颗粒9(signal recognition particle 9,SRP9)基因的序列,获得纯化的重组蛋白,为探究其蛋白功能奠定基础。【方法】利用RT-PC
绒山羊毛囊发育过程具有时空特异性,在发育的不同时期,受到多种因子的调控作用。课题组前期对不同时期绒山羊皮肤组织的RNA-seq测序分析发现,Dsg4基因在不同时期差异表达,而
作者综述了线粒体损伤、钙超载与肉鸡腹水综合征的关系，钙超载可能是肉鸡腹水综合征发生和发展中，心、肺及其血管损伤和功能紊乱的机制，而线粒体损伤可以导致细胞内钙超载，同时钙
根据力调电费计收办法,以某长输管道三座电驱压气站为例,分析各站力调电费实际缴纳情况及产生原因;基于关口计量点实际抄表数据,分析不同负载情况下的功率因数。借鉴相关项目
本文从认知语言学构式语法理论和转喻语法理论出发,对中动构式的生成机制进行转喻阐释。文章探讨了中动构式意义实质是＂表达状态意义＂又隐含＂动作意义＂,并用转喻迁移对其中的语义
根据护理礼仪与护患沟通课程的特点，笔者结合实际教学条件和学生基本情况开展项目化教学，并与传统的礼仪教学法的教学效果进行对比分析，以更好地为教学服务，培养更多更优秀的专业
在玉米生长期中，作了１１次野外地物反射光谱的测试，测量了玉米植冠的叶面积指数。引用玉米植冠叶面积指数和它截取光合有效辐射系数（ＡＰＡＲ）之间的理论公式和经验公式，用实测的玉米植冠的叶
学生在信息技术学习中展现出来的观察想象能力、规划创造能力、动手操作能力、合作探究能力、分析解决能力、抽象逻辑能力、形象审美能力、信息鉴别能力等，无不体现着学生的信息素养。在网络时代的今天，学生应用信息技术知识进行实践的效果如何取决于学生信息素养的高低。因此，在小学信息技术教学中，培养学生的信息素养成了信息技术教学的核心目标。要培养学生的信息素养，应从以下几个方面入手： 一、淡化学科性，加强综合性