【摘 要】
：
组合测试是一种重要的软件测试方法,该方法通常采用覆盖表作为测试用例集,适用于检测系统中由特定配置组合引发的故障.覆盖表中的一条引发系统故障的测试用例含有多个配置组
【机 构】
：
南京大学计算机软件新技术国家重点实验室,香港理工大学电子计算学系
【基金项目】
：
国家自然科学基金(61272079,61321491,91318301);教育部博士点基金(20130091110032)资助~~
论文部分内容阅读
组合测试是一种重要的软件测试方法,该方法通常采用覆盖表作为测试用例集,适用于检测系统中由特定配置组合引发的故障.覆盖表中的一条引发系统故障的测试用例含有多个配置组合,如何确定其中哪个或哪几个配置组合引发系统故障有助于系统开发人员检测出故障原因并做出改进.目前已有一些研究尝试解决上述问题,然而这些方法都没有对待定元组关系进行深入的研究与分析,因此定位过程代价很大并且定位结果也并不完整.文中构建了一个待定元组关系树(Tuple Relationship Tree,TRT)来描述所有待定元组的关系,利用TRT可以减少生成附加测试用例的数量,并且由于TRT给出全部待定元组的清晰视图,可以避免漏掉分析可能的待定元组,特别是有重叠部分的故障元组.基于TRT,我们提出了4种选择策略来辅助故障定位.系统的实验表明:其中的路径方法可以以较高的效率得到一个比已有方法更加完整的故障定位结果.
其他文献
目的:介绍空军总医院临床药师开展合理用药咨询门诊的体会及意义。方法:介绍开展合理用药咨询门诊的方法、与药物相关理论知识和人体生理知识的利用,分析门诊发药交代典型案
气功康复养生黑龙江慕晶华人人都想有健康的体魄，以挑起繁重的工作、生活重担，享受劳动创造的温馨和愉悦。但是，人们又生活在纷繁复杂的社会环境中，内受七情六欲的困惑和外感自然
文中讨论了地形三维可视化的原理,详细介绍了高级编程语言与OpenGL结合开发环境下的地形三维可视化的计算机实现过程。在此基础之上,讨论了基于GRIDDEM的应用分析功能的实现,
〔编者按〕李文斌同志生前在负责电影宣传工作和电影系统报刊管理工作期间，曾对本刊的学术建设、理论方向和经营管理等工作，给予了热情的关心和支持。在他生命的最后时日里，他不
<正> 融资租赁是指出租人将实质上属于资产所有权上的一切风险和报酬转移给承租人的一种租赁,租赁期结束时名义所有权可以转移也可以不转移给承租人,它是融租赁、金融、贸易
对黑城文书中的蒙古学教授俸禄文书、蒙古字学习字文书和八思巴帝师祭祀文书进行研究可得知,元代亦集乃路存在蒙古字学,但其建立时间相对较晚。
目的探讨唑来膦酸预防乳腺癌骨转移的疗效。方法回顾性收集2006年1月至2009年12月期间新疆医科大学第一附属医院确诊的418例浸润性乳腺导管癌患者,根据患者用药情况将其分为2
胡适是希望通过参加中国民权保障同盟,来继续他争取人权的事业,但他不主张将争取人权变成反政府行为.胡适与中国民权保障同盟总部的分歧导致了北平分会的解散.胡适的主张,不
并购对价和融资方式是实现公司控制权转移的支付手段和资金保证,不同的对价和融资方式反映了不同的控制权转移风险。本文以吉利并购沃尔沃为主线,分析并购对价方式和融资方式
医学教育临床教学实践,由于医学教育规律的特殊性、我国医学人才培养的特殊历史发展过程和有关法律建设的缺陷,陷入了必须进行而又事实违法的困境中,其影响面之广、影响程度