公开(公告)号：CN102662829A

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

申请号：CN201210071743.9

申请日：2012-03-16

Applicant: 北京邮电大学

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

IPC: G06F11/36

Abstract: 本发明公开了一种复杂数据结构在代码静态测试中的处理方法，在符号表中记录与复杂数据类型相关的基本数据类型信息；对控制流图的每个节点的复杂数据类型，根据与所述复杂数据类型相关的基本数据类型信息进行基本数据类型拆分，将基本数据类型拆分后得到的每个独立变量进行独立分析，更新相应的控制流图节点信息；输出更新后的控制流图；本发明同时还公开了一种复杂数据结构在代码静态测试中的处理装置，通过本发明的方案，能够解决静态测试中对复杂数据类型整体建模分析不完善所产生的漏报问题，在一定程度上提高静态测试的精度。

公开(公告)号：CN102023923B

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

申请号：CN201010622568.9

申请日：2010-12-28

Applicant: 北京邮电大学

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

IPC: G06F11/36

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

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

公开(公告)号：CN102662829B

公开(公告)日：2015-02-18

申请号：CN201210071743.9

申请日：2012-03-16

Applicant: 北京邮电大学

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

IPC: G06F11/36

Abstract: 本发明公开了一种复杂数据结构在代码静态测试中的处理方法，在符号表中记录与复杂数据类型相关的基本数据类型信息；对控制流图的每个节点的复杂数据类型，根据与所述复杂数据类型相关的基本数据类型信息进行基本数据类型拆分，将基本数据类型拆分后得到的每个独立变量进行独立分析，更新相应的控制流图节点信息；输出更新后的控制流图；本发明同时还公开了一种复杂数据结构在代码静态测试中的处理装置，通过本发明的方案，能够解决静态测试中对复杂数据类型整体建模分析不完善所产生的漏报问题，在一定程度上提高静态测试的精度。