logo

您所在位置网站首页 > 海量文档  > 理工科 > 基础科学

结合Craig插值分析的软件错误诊断方法.pdf 8页

本文档一共被下载: ,您可全文免费在线阅读后下载本文档。

  • 支付并下载
  • 收藏该文档
  • 百度一下本文档
  • 修改文档简介
全屏预览

下载提示

1.本站不保证该用户上传的文档完整性,不预览、不比对内容而直接下载产生的反悔问题本站不予受理。
2.该文档所得收入(下载+内容+预览三)归上传者、原创者。
3.登录后可充值,立即自动返金币,充值渠道很便利
第10期 电  子  学  报 Vol.44 No.10 2016年10月 ACTAELECTRONICASINICA Oct. 2016 结合 Craig插值分析的软件错误诊断方法 1,2 1 1 徐 勇 ,毋国庆 ,袁梦霆 (1.武汉大学计算机学院,湖北武汉430072;2.广东肇庆学院数学与统计学院,广东肇庆526061)   摘 要: 基于模型诊断(MBD)的理论应用到软件错误定位中取得了一定的效果.但是经典MBD理论基于元件 间独立地发生故障这一假设,导致软件错误定位的结果中存在假阳性的诊断.论文对现有基于MBD的软件错误定位 方法进行了改进,提出了冲突中元件的冗余分析方法.该方法既包括了基于Craig插值的元件冗余分析机制,同时利用 条件语句取值的二元性(真或假)的特点,对冲突中的条件语句元件进行软件错误的无相关分析.实验结果表明:冲突 中的元件冗余分析方法可以有效地减少诊断的假阳性率,将诊断结果数减少了484%,碰集树生成的结点数减少 了476%. 关键词: 基于模型诊断;软件错误定位;冗余分析;Craig插值 中图分类号: TP311   文献标识码: A   文章编号: 03722112(2016)10251408 电子学报URL:http://www.ejournal.org.cn  DOI:10.3969/j.issn.03722112.2016.10.033 SoftwareFaultLocalizationBasedonModelBased DiagnosisCombinedCraigInterpolantAnalysis 1,2 1 1 XUYong ,WUGuoqing,YUANMengting (1ComputerSchool,WuhanUniversity,Wuhan,Hubei430072,China; 2SchoolofMathematicsandStatistics,ZhaoqingUniversity,Zhaoqing,Guangdong526061,China) Abstract: Modelbaseddiagnosis,anintelligentdiagnosistheoryhasbeensuccessfullyappliedinsoftwarefaultlocali zationwithpromisingresults.However,traditionalMBDreliesontheassumptionthatcomponentsinthesystemfaildepend entlywhichmakesthediagnoseswithhighfalsepositivesinsoftwarefaultlocalization.Inthispaper,acomponentredundan cyanalysisapproachispresented.TheapproachnotonlyusesCraiginterpolanttofilterredundantcomponents,butalsoem ploysafactthatabranchpredicateevaluatestoeithertrueorfalsetofiltersomebranchconditioncomponents.Experimental resultsshowthattheproposedapproacheffectivelyreducesthefalsepositiveratesofdiagnoses,i.e.,r

发表评论

请自觉遵守互联网相关的政策法规,严禁发布色情、暴力、反动的言论。
用户名: 验证码: 点击我更换图片

“原创力文档”前称为“文档投稿赚钱网”,本站为“文档C2C交易模式”,即用户上传的文档直接卖给(下载)用户,本站只是中间服务平台,本站所有文档下载所得的收益归上传人(含作者)所有【成交的100%(原创)】。原创力文档是网络服务平台方,若您的权利被侵害,侵权客服QQ:3005833200 电话:19940600175 欢迎举报,上传者QQ群:784321556