【摘 要】
：
软件测试过程通常期望以最小的成本检测尽可能多的缺陷.为了降低建模复杂度,多数文献通常假设缺陷之间相互独立.但在实际测试中,缺陷之间往往存在关联,并且每个缺陷引发软件
【机 构】
：
浙江理工大学信息电子学院,中国科学院软件研究所并行软件实验室,DistrinetLaboratory
【基金项目】
：
国家自然科学基金(61202050,61379036);浙江省自然科学基金(LY12F02041,Y13F020175);浙江省钱江人才计划(2013R10015);浙江理工大学521人才培养计划;浙江省新苗计划(2012R406071)
论文部分内容阅读
软件测试过程通常期望以最小的成本检测尽可能多的缺陷.为了降低建模复杂度,多数文献通常假设缺陷之间相互独立.但在实际测试中,缺陷之间往往存在关联,并且每个缺陷引发软件失效的严重程度也不相同.充分利用缺陷之间的关联信息,有助于增加相关缺陷的可检测率,提高软件测试效率.因此,提出一种新的思路:利用软件缺陷之间的关联构造缺陷相关系数,引入回扣机制,量化不同严重等级的缺陷所被检测到的价值,综合考虑缺陷相关系数、检测率、回扣三者的权值,以构造基于缺陷关联的最优测试策略.同时,提出复合的优化算法来构造相应的最小生成树,将测试剖面转换成带权的路径问题,以有效地寻找具有最大权值的最优测试路径.另外,改进了已有的剔除策略,以更有效地删除关联缺陷.通过实验仿真,并与其他测试策略相比较,证明了该方法的有效性.
其他文献
本文将从中职学生、古典诗歌、多媒体网络三者的切合点入手,并以《山居秋暝》为例谈谈如何利用现代多媒体技术激活中职古典诗歌教学。
文章介绍了桥梁防撞墙式护栏施工中存在的通病以及产生原因,通过实践总结出预防通病产生的方法。
基于对财务管理与会计的关系及正确处理方法的分析研究,首先要明确企业中财务管理与会计的实际关系,然后与其相结合,对如何正确处理财务管理与会计关系进行分析。得出企业需
哮喘的发病率越来越高,而且主要发生在小儿时期,在很大程度上影响了患儿的成长发育,同时该疾病容易反复发作,临床治疗中具有难以根治的特点。采用中医方式对哮喘患儿进行治疗
推进以人为核心的新型城镇化,是我国现代化建设的历史任务。在新型城镇化建设中,流动人口既是重要的推动因素,但同时也产生了许多管理问题。加强在新型城镇化背景下的流动人
政府官员的信息垄断能力,有助于其实现自由裁量预算最大化目标。预算公开能够缓解政府与公众之间的信息不对称,提升公众监督政府预算的能力。媒体的信息中介功能与声誉治理功
聚甲醛(简称POM),分子结构规整无侧链,是热塑性、高结晶度聚合物,具有优异的物理机械性能,优越的耐磨性和自润滑性,被誉为“金属塑料”。其在齿轮、轴承、管道、管件、食品和
校园美术教育与校园文化能在学习与活动中潜移默化地提高学生的审美能力,促进智力和身心健康发展,是学校实施美育的主要内容和重要途径。美术教育与其他学科教育,构成了促进
目的：探讨BPL联合案例教学方法应用于成人高等医学教育基础医学教学的效果。方法：对2005级临床医学专业（三年制大专）两个班进行随机分班，实验组81人，对照组73人，实验组采取BPL联合案
嵌入式软件的复杂度越来越高。作为软件可靠性测试的一种重要方法,完全路径覆盖在实际项目测试中越来越不现实。针对这种现状,提出了一种易于操作的关键路径覆盖测试方法。该