公开(公告)号：CN103914381B

公开(公告)日：2017-06-13

申请号：CN201410115283.4

申请日：2014-03-25

Applicant: 北京邮电大学

Inventor： 金大海 ,  王前 ,  宫云战 ,  黄俊飞 ,  王雅文

IPC: G06F11/36

Abstract: 本发明涉及一种生成时序安全属性类缺陷模式相关的函数摘要信息的方法，包括：判定被测程序中时序安全属性类的缺陷模式，并生成时序安全属性类缺陷模式的描述文件；根据所述描述文件获取所述时序安全属性类缺陷模式的有限自动状态机；根据所述有限自动状态机为所述被测程序中的函数生成函数摘要信息。本发明根据描述时序安全属性类缺陷模式的有限自动状态机为被测程序中的函数生成函数摘要信息，通过所述函数摘要信息进行软件静态测试，从而提高软件静态缺陷的检测效率。

公开(公告)号：CN102023923B

公开(公告)日：2014-07-02

申请号：CN201010622568.9

申请日：2010-12-28

Applicant: 北京邮电大学

Inventor： 金大海 ,  宫云战 ,  周虹伯 ,  王雅文 ,  黄俊飞 ,  赵云山 ,  王前

IPC: G06F11/36

Abstract: 本发明公开一种基于别名分析技术的软件测试方法，通过在控制流上对一些涉及别名关系的语句进行特殊分析，利用空间抽象三元模型将变量声明、值和内存空间进行关联，这个过程迭代到控制流不再扩展为止；并通过定义别名分析的三元模型，区别于传统的二元变量-值模型，增加了内存空间抽象；该方法在软件静态测试过程的前期收集了同一抽象内存空间中所有互为别名的变量，将其值进行有效的关联，并将其应用在控制流图的语句节点上。通过实验证明，本发明的软件测试方法相比未应用别名分析技术的现有测试方法，具有有效解决由别名关系造成变量值不同步所产生的漏报问题，能在一定程度上提高静态测试的精度。

公开(公告)号：CN103559127A

公开(公告)日：2014-02-05

申请号：CN201310516392.2

申请日：2013-10-28

Applicant: 北京邮电大学

Inventor： 王雅文 ,  宫云战 ,  金大海 ,  黄俊飞 ,  王前

IPC: G06F11/36 ,  G06F17/30

Abstract: 本发明公开了一种缺陷处理方法，包括：通过SDDL-EXP，生成语法类缺陷模式；其中，所述SDDL-EXP为预定的值相关缺陷模式语言；根据所述语法类缺陷模式，在被测代码中查找检测点，并将所述语法类缺陷模式中的缺陷发生的条件实例化；根据预设的规范化策略，将所述被测代码中的变量及表达式进行转换；对转换后的被测代码进行后向的数据流分析，根据实例化的条件验证在所述检测点处是否有缺陷发生。本发明还同时公开了一种缺陷处理器。采用本发明的技术方案，能够便捷地扩充与用户相关的缺陷模式，并且通过该缺陷模式进行有效的缺陷检测，提升了用户的体验。

公开(公告)号：CN102819490A

公开(公告)日：2012-12-12

申请号：CN201210254392.5

申请日：2012-07-20

Applicant: 北京邮电大学

Inventor： 黄俊飞 ,  宫云战 ,  王前 ,  金大海 ,  王雅文 ,  赵云山 ,  周虹伯

IPC: G06F11/36

Abstract: 本发明提供了一种基于给定缺陷描述信息进行软件测试的方法和系统，所述方法包括：接收用户发来的待测代码和缺陷描述信息；对收到的待测代码进行静态分析，得到符号表、控制流图、函数调用关系、定义-使用链；根据缺陷描述信息在符号表、控制流图、函数调用关系、定义-使用链中进行缺陷查找，找到待测代码中缺陷描述信息所描述的缺陷，可以实现对用户所关注的缺陷进行检测。

公开(公告)号：CN102023923A

公开(公告)日：2011-04-20

申请号：CN201010622568.9

申请日：2010-12-28

Applicant: 北京邮电大学

Inventor： 金大海 ,  宫云战 ,  周虹伯 ,  王雅文 ,  黄俊飞 ,  赵云山 ,  王前

IPC: G06F11/36

Abstract: 本发明公开一种基于别名分析技术的软件测试方法，通过在控制流上对一些涉及别名关系的语句进行特殊分析，利用空间抽象三元模型将变量声明、值和内存空间进行关联，这个过程迭代到控制流不再扩展为止；并通过定义别名分析的三元模型，区别于传统的二元变量-值模型，增加了内存空间抽象；该方法在软件静态测试过程的前期收集了同一抽象内存空间中所有互为别名的变量，将其值进行有效的关联，并将其应用在控制流图的语句节点上。通过实验证明，本发明的软件测试方法相比未应用别名分析技术的现有测试方法，具有有效解决由别名关系造成变量值不同步所产生的漏报问题，能在一定程度上提高静态测试的精度。

公开(公告)号：CN103559127B

公开(公告)日：2017-03-29

申请号：CN201310516392.2

申请日：2013-10-28

Applicant: 北京邮电大学

Inventor： 王雅文 ,  宫云战 ,  金大海 ,  黄俊飞 ,  王前

IPC: G06F11/36 ,  G06F17/30

Abstract: 本发明公开了一种缺陷处理方法，包括：通过SDDL-EXP，生成语法类缺陷模式；其中，所述SDDL-EXP为预定的值相关缺陷模式语言；根据所述语法类缺陷模式，在被测代码中查找检测点，并将所述语法类缺陷模式中的缺陷发生的条件实例化；根据预设的规范化策略，将所述被测代码中的变量及表达式进行转换；对转换后的被测代码进行后向的数据流分析，根据实例化的条件验证在所述检测点处是否有缺陷发生。本发明还同时公开了一种缺陷处理器。采用本发明的技术方案，能够便捷地扩充与用户相关的缺陷模式，并且通过该缺陷模式进行有效的缺陷检测，提升了用户的体验。

公开(公告)号：CN103914381A

公开(公告)日：2014-07-09

申请号：CN201410115283.4

申请日：2014-03-25

Applicant: 北京邮电大学

Inventor： 金大海 ,  王前 ,  宫云战 ,  黄俊飞 ,  王雅文

IPC: G06F11/36

Abstract: 本发明涉及一种生成时序安全属性类缺陷模式相关的函数摘要信息的方法，包括：判定被测程序中时序安全属性类的缺陷模式，并生成时序安全属性类缺陷模式的描述文件；根据所述描述文件获取所述时序安全属性类缺陷模式的有限自动状态机；根据所述有限自动状态机为所述被测程序中的函数生成函数摘要信息。本发明根据描述时序安全属性类缺陷模式的有限自动状态机为被测程序中的函数生成函数摘要信息，通过所述函数摘要信息进行软件静态测试，从而提高软件静态缺陷的检测效率。