位置:成果数据库 > 期刊 > 期刊详情页
复模糊微分方程的初始值问题
  • ISSN号:1000-9825
  • 期刊名称:《软件学报》
  • 时间:0
  • 分类:TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]浙江理工大学科学计算与软件工程中心,杭州310018
  • 相关基金:国家自然科学基金(No.61170015,No.61210004)
中文摘要:

软件错误定位是目前软件工程领域的重要研究课题,其中基于程序谱的错误定位(CFL)是一类重要的方法。偶然性正确测试用例对于CFL有着很大的负面影响,因此如何发现该类测试用例或者避免它们对CFL的影响对于提高CFL方法的定位效果有着重要的意义。通过分析偶然性正确对CFL定位方法的影响,发现一种没有误判率(false positive)的寻找偶然性正确测试用例的方法。在此基础上,提出了一种基于偶然性正确测试用例发现的CFL定位方法。通过实验表明,该方法可以普遍改善已有CFL方法的定位效果。

英文摘要:

Software fault localization is an important research field in software engineering, and the Coverage-based Fault Localization(CFL)is an important method among the existing approaches. Coincidental correctness(CC)test cases could have negative effects on the CFL, so that how to find CC test cases or reduce the impact of the CC test cases is significant to improve the CFL effect. By the research on how does CC test cases affect CFL, discover a way to find what kinds of test case are CC test cases which has no false positive situation. Based on this, propose a method to improve CFL on CC. It shows that this method can improve most of the CFL through the experiments.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《软件学报》
  • 北大核心期刊(2011版)
  • 主管单位:中国科学院
  • 主办单位:中国科学院软件研究所 中国计算机学会
  • 主编:赵琛
  • 地址:北京8718信箱中国科学院软件研究所
  • 邮编:100190
  • 邮箱:jos@iscas.ac.cn
  • 电话:010-62562563
  • 国际标准刊号:ISSN:1000-9825
  • 国内统一刊号:ISSN:11-2560/TP
  • 邮发代号:82-367
  • 获奖情况:
  • 2001年入选中国期刊方阵“双百期刊”,2000年荣获中国科学院优秀科技期刊一等奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论(网络版),波兰哥白尼索引,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:54609