公开(公告)号：CN103198016A

公开(公告)日：2013-07-10

申请号：CN201310099997.6

申请日：2013-03-26

申请人： 哈尔滨工业大学

发明人： 苏小红 ,  龚丹丹 ,  马培军 ,  王甜甜 ,  赵玲玲 ,  王煜

IPC分类号： G06F11/36

摘要： 基于联合依赖概率建模的软件错误定位方法，本发明涉及计算机程序分析领域。本发明是要解决传统的软件错误定位方法定位精度低的问题，而提供了基于联合依赖概率建模的软件错误定位方法。步骤1：分别执行正确测试用例和错误测试用例，并分别对正确测试用例和错误测试用例建立联合依赖概率模型；步骤2：在步骤1的基础上，根据联合依赖概率模型，计算每个节点的可疑度；步骤3：将错误定位信息按可疑度进行降序排列，可疑度高的节点认定为更有可能出错的节点，即完成了对基于联合依赖概率建模的软件的错误进行定位。本发明应用于计算机程序分析领域。

公开(公告)号：CN103150254A

公开(公告)日：2013-06-12

申请号：CN201310099998.0

申请日：2013-03-26

申请人： 哈尔滨工业大学

发明人： 苏小红 ,  龚丹丹 ,  王甜甜 ,  马培军 ,  王煜 ,  赵玲玲

IPC分类号： G06F11/36

摘要： 基于状态依赖概率建模的软件错误定位方法，本发明涉及计算机程序分析领域。本发明是要解决传统的软件错误定位方法定位精度低的问题，而提供了基于状态依赖概率建模的软件错误定位方法。步骤1：分别执行正确测试用例和错误测试用例，并分别对正确测试用例和错误测试用例建立状态依赖概率模型；步骤2：在步骤1的基础上，根据状态依赖概率模型，计算每个节点的可疑度；步骤3：将错误定位信息按可疑度进行降序排列，可疑度高的节点认定为更有可能出错的节点，即完成了对基于状态依赖概率建模的软件的错误进行定位。本发明应用于计算机程序分析领域。

公开(公告)号：CN102231134A

公开(公告)日：2011-11-02

申请号：CN201110216640.2

申请日：2011-07-29

申请人： 哈尔滨工业大学

发明人： 苏小红 ,  马培军 ,  王甜甜 ,  龚丹丹 ,  逄龙

IPC分类号： G06F11/36

摘要： 基于静态分析的冗余代码缺陷检测方法，涉及基于静态分析的冗余代码缺陷检测方法，为了解决目前缺少成熟的对冗余代码及相关缺陷检测的方法的问题，它包括：步骤1、输入待测试程序，将其解析为抽象语法树；步骤2、分析可能包含显式幂等操作的语句，检测显式幂等操作；步骤3、对局部定义的变量，采用过程内部分析方法，检测冗余的赋值语句；步骤4、遍历程序的抽象语法树，在标准化后的程序依赖图的基础上查找包含缺陷的结构，检测死代码；步骤5、检测冗余的条件表达式；步骤6、检测隐式幂等操作；步骤7、检测冗余的函数参数；根据步骤2至7获得的六种缺陷的检测结果，给出缺陷检测报告。本发明适用于大规模程序代码的分析。

公开(公告)号：CN103150254B

公开(公告)日：2015-05-13

申请号：CN201310099998.0

申请日：2013-03-26

申请人： 哈尔滨工业大学

发明人： 苏小红 ,  龚丹丹 ,  王甜甜 ,  马培军 ,  王煜 ,  赵玲玲

IPC分类号： G06F11/36

摘要： 基于状态依赖概率建模的软件错误定位方法，本发明涉及计算机程序分析领域。本发明是要解决传统的软件错误定位方法定位精度低的问题，而提供了基于状态依赖概率建模的软件错误定位方法。步骤1：分别执行正确测试用例和错误测试用例，并分别对正确测试用例和错误测试用例建立状态依赖概率模型；步骤2：在步骤1的基础上，根据状态依赖概率模型，计算每个节点的可疑度；步骤3：将错误定位信息按可疑度进行降序排列，可疑度高的节点认定为更有可能出错的节点，即完成了对基于状态依赖概率建模的软件的错误进行定位。本发明应用于计算机程序分析领域。

公开(公告)号：CN103198016B

公开(公告)日：2016-08-03

申请号：CN201310099997.6

申请日：2013-03-26

申请人： 哈尔滨工业大学

发明人： 苏小红 ,  龚丹丹 ,  马培军 ,  王甜甜 ,  赵玲玲 ,  王煜

IPC分类号： G06F11/36

摘要： 基于联合依赖概率建模的软件错误定位方法，本发明涉及计算机程序分析领域。本发明是要解决传统的软件错误定位方法定位精度低的问题，而提供了基于联合依赖概率建模的软件错误定位方法。步骤1：分别执行正确测试用例和错误测试用例，并分别对正确测试用例和错误测试用例建立联合依赖概率模型；步骤2：在步骤1的基础上，根据联合依赖概率模型，计算每个节点的可疑度；步骤3：将错误定位信息按可疑度进行降序排列，可疑度高的节点认定为更有可能出错的节点，即完成了对基于联合依赖概率建模的软件的错误进行定位。本发明应用于计算机程序分析领域。

公开(公告)号：CN103136103A

公开(公告)日：2013-06-05

申请号：CN201310099877.6

申请日：2013-03-26

申请人： 哈尔滨工业大学

发明人： 龚丹丹 ,  苏小红 ,  王甜甜 ,  马培军 ,  王煜 ,  赵玲玲

IPC分类号： G06F11/36

摘要： 一种面向错误定位需求的测试用例约简方法，涉及一种面向错误定位需求的测试用例约简方法，属于软件动态测试领域，解决为软件错误自动定位提供有效的测试用例，进而提高错误定位精度的问题。包括如下步骤：用于数据预处理的步骤；基于语句覆盖向量和错误定位需求向量的用于测试用例约简的步骤；基于执行路径信息的用于测试用例约简的步骤；得到约简后的测试用例集。本发明可以为C，Java程序提供有效的测试用例，以提高错误定位的精度。