• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Technical Gazette >Inter-Procedural Diagnosis Path Generation for Automatic Confirmation of Program Suspected Faults
【24h】

Inter-Procedural Diagnosis Path Generation for Automatic Confirmation of Program Suspected Faults

机译：程序间诊断路径生成，用于自动确认程序疑似故障

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Static analysis plays an important role in the software testing field. However, the initial results of static analysis always have a large number of false positives, which need to be confirmed by manual or automatic tools. In this paper, a novel approach is proposed, which combines the demand-driven analysis and the inter-procedural dataflow analysis, and generates the inter-procedural diagnosis paths to help the testers confirm the suspected faults automatically. In our approach, first, the influencing nodes of suspected fault are calculated. Then, the CFG of each associated procedure is simplified according to the influencing nodes. Finally, the “section-whole” strategy is employed to generate the inter-procedural diagnosis path. In order to illustrate and verify our approach, an experimental study is performed on the five open source C language projects. The results show that compared with the traditional approach, our approach requires less time and can generate more inter-procedural diagnosis paths in the given suspected faults.
机译：静态分析在软件测试领域中起着重要作用。但是，静态分析的初始结果始终具有大量误报，需要通过手动或自动工具确认。在本文中，提出了一种新的方法，它结合了需求驱动的分析和过程间数据流分析，并产生了过程间诊断路径，以帮助测试人员自动确认疑似故障。在我们的方法中，首先，计算受疑似故障的影响节点。然后，根据影响节点简化每个相关过程的CFG。最后，采用“整个整体”策略来产生程序间诊断路径。为了说明和验证我们的方法，对五种开源C语言项目进行实验研究。结果表明，与传统方法相比，我们的方法需要更少的时间，并且可以在给定的疑似故障中产生更多程序间诊断路径。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号