【摘 要】
：
基于程序频谱的动态缺陷定位是软件自动化调试研究中的一个热点问题,通过搜集测试用例的程序频谱和执行结果,基于特定模型以定位缺陷语句在被测程序内的可能位置.对近些年来
【机 构】
：
南通大学计算机科学与技术学院,计算机软件新技术国家重点实验室（南京大学）
【基金项目】
：
国家自然科学基金(61202006,61373012);江苏省高校自然科学研究项目(12KJB520014);江苏省研究生培养创新工程(CXZZ120935);南通市应用研究计划(BK2014055,BK2014056);南京大学计算机软件新技术国家重点实验室开放课题(KFKT2012B29);大学生创新训练计划(201310304087X,2014075)
论文部分内容阅读
基于程序频谱的动态缺陷定位是软件自动化调试研究中的一个热点问题,通过搜集测试用例的程序频谱和执行结果,基于特定模型以定位缺陷语句在被测程序内的可能位置.对近些年来国内外学者在该研究领域取得的成果进行系统总结:首先,给出预备知识和基本假设;随后,提出缺陷定位研究框架并识别出框架内一系列可影响缺陷定位效果的内在影响因素,包括程序频谱构造方式、测试套件构成和维护、内在缺陷数量、测试用例预言设置、用户反馈和缺陷修复开销等;接着,对实证研究中采用的评测指标和评测程序进行总结和分析;然后,对缺陷定位方法在一些特定测试领域中的应用进行总结;最后,对该领域未来值得关注的研究方向进行了展望.
其他文献
在OCR图像扫描输入的过程中 ,扫描图像经常会出现某种程度的倾斜 ,这种倾斜会给下一个字符的切割造成困难 ,影响字符识别的精度。正是出于检测倾斜文本图像角度的目的 ,提出
目的:探讨个案追踪法在急诊科护理安全管理中的应用效果。方法:运用追踪方法学的个体追踪方法,对急诊患者所接受的诊疗护理服务经历进行追踪检查,全面分析提供治疗、护理、服
国家的刑法对军事相关的行为做出了法律规制,并因此而产生了军事刑法。军事刑法在法律价值的选择、法律观念的选择、法律制度的构建和法律原则的选择等方面具有一定的特殊性,
<正>在中国这个没有咖啡历史,亦无喝咖啡刚需的国度,咖啡馆形态不断演变,新的商业模式层出不穷,拼的绝不仅是咖啡品质的好坏。自1902年法国教父田德能将第一棵咖啡树搬入中国
为研究城市群区域客运出行规律,对长株潭城市群客运交通出行进行了抽样调查。根据调查结果对城市群区域城内与城际出行者在社会经济特性、出行目的、出行方式选择以及出行时
半实物仿真导引头光学系统性能的好坏是影响仿真实验效果的关键。介绍了激光半主动导引头及其光学系统的结构、特点。详细分析了光学系统的能量接收灵敏阈值、瞬时视场、动态
红外焦平面探测器像元响应存在非均匀性，工程应用中需采用相应的非均匀性校正技术。虽然基于场景的非均匀性校正算法很多，但两点校正算法仍是最为成熟和最容易实现的算法之一。
利用基因组原位杂交 (GISH)技术 ,以标记的白菜型油菜 (AA ,2n =2 0 )的基因组总DNA为探针 ,分别同芥菜型油菜 (AABB ,2n =36 )和甘蓝型油菜 (AACC ,2n =38)的中期染色体和间
相对资源承载力是指通过选定资源承载力的理想状态作为参照区,以该参照区人均资源拥有量为标准,将研究区与参照区的资源存量进行对比,从而确定研究区内资源相对可承载的适度
<正>科研为本创造健康生活江苏恒瑞医药股份有限公司始建于1970年,2000年在上海证券交易所上市,股票代码600276。公司总部位于江苏连云港,在美国、上海、成都和连云港建有四