知网查重样例论文–错误定位技术的国内外研究现状

知网查重样例论文--错误定位技术的国内外研究现状

错误定位技术是信息安全领域中的一个重要热点,很多机构都在从事错误定位方法研究的相关工作。

目前,软件错误定位方法,主要分为一下几个阶段:第一阶段,传统的错误定位方法。最直接的方法,分析内存转储。另一个方法,在被怀疑的语句周围插入打印语句打印出变量的值。前者需要分析海量数据,后者仍在使用。然而却对使用者的要求很高以至于需要最好能只插入必要语句使打印语句尽可能的少。第二阶段,先进的错误定位方法。其步骤为:1、找出被怀疑的语句2、从这些语句中再确定是否真正是错误语句。由第一步:高怀疑度语句需要先于低怀疑度语句被检查。由第二步:我们假定只要被程序员检查的有怀疑的语句都能找出其中的错误,否则,需要被检查的语句就会增加。

第二阶段的错误定位方法繁多,但归根结底可以分为一下三种:1、基于行为特征对比的方法;2、基础程序状态修改的方法;3、基于程序依赖关系的方法。

程序行为特征,也被称为程序频谱(program spectra),是程序执行特征的统计信息[33]。

基础程序状态修改的方法,是在程序执行时,获得程序的执行状态,找出可以修改程序状态的修改点,修改后观察修改后的测试结果,与修改之前的结果进行对比,进而找出对测试结果有影响的关键谓词或语句[33]。其方法可大致分为一下几种:

Delta Debugging 方法、基于谓词的方法、IVMP(Intresting Value Mapping Pair)

基于程序依赖关系的方法,例如符号执行,与执行实际的目标程序不同它仅依赖程序的源代码,以符号代替具体变量的值作为程序的输入数据。这种方法侧重于静态分析。而切片等方法则侧重于根据程序运行时的动态依赖关系并结合语句块间的依赖图给出值得怀疑的语句块的集合,这个集合除了包含错误语句外,还提供了一个供程序员理解的调试上下文(context)。但通常这类集合也会包含一些冗余的语句,可以通过辅助手段来化简集合。

  • 知网查重样例论文–错误定位技术的国内外研究现状已关闭评论
  • 3,398 views
    A+
发布日期:2017年12月25日  所属分类:论文检测样例
标签: