首页> 美国卫生研究院文献>other >A Coverage and Slicing Dependencies Analysis for Seeking Software Security Defects
【2h】

A Coverage and Slicing Dependencies Analysis for Seeking Software Security Defects

机译:寻找软件安全缺陷的覆盖率和切片依赖性分析

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务,本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文,但由于OA文献来源多样且变更频繁,仍可能出现获取不到、文献不完整或与标题不符等情况,如果获取不到我们将提供退款服务。请知悉。

摘要

Software security defects have a serious impact on the software quality and reliability. It is a major hidden danger for the operation of a system that a software system has some security flaws. When the scale of the software increases, its vulnerability has becoming much more difficult to find out. Once these vulnerabilities are exploited, it may lead to great loss. In this situation, the concept of Software Assurance is carried out by some experts. And the automated fault localization technique is a part of the research of Software Assurance. Currently, automated fault localization method includes coverage based fault localization (CBFL) and program slicing. Both of the methods have their own location advantages and defects. In this paper, we have put forward a new method, named Reverse Data Dependence Analysis Model, which integrates the two methods by analyzing the program structure. On this basis, we finally proposed a new automated fault localization method. This method not only is automation lossless but also changes the basic location unit into single sentence, which makes the location effect more accurate. Through several experiments, we proved that our method is more effective. Furthermore, we analyzed the effectiveness among these existing methods and different faults.
机译:软件安全缺陷严重影响软件质量和可靠性。软件系统存在一些安全漏洞,这是对系统运行的主要隐患。随着软件规模的扩大,其漏洞变得越来越难以发现。一旦利用这些漏洞,可能会导致巨大的损失。在这种情况下,一些专家会执行软件保障的概念。故障自动定位技术是软件保障研究的一部分。当前,自动故障定位方法包括基于覆盖的故障定位(CBFL)和程序切片。两种方法都有其自身的位置优势和缺陷。在本文中,我们提出了一种称为反向数据依赖分析模型的新方法,该方法通过分析程序结构将这两种方法结合在一起。在此基础上,我们最终提出了一种新的自动化故障定位方法。该方法不仅自动化无损,而且将基本位置单位转换为单句,使定位效果更加准确。通过几次实验,我们证明了我们的方法更有效。此外,我们分析了这些现有方法和不同故障之间的有效性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
代理获取

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号