公开(公告)号：CN102708053A

公开(公告)日：2012-10-03

申请号：CN201210127864.0

申请日：2012-04-27

Applicant: 北京邮电大学

Inventor： 王雅文 ,  宫云战 ,  周傲 ,  黄俊飞 ,  金大海 ,  唐容 ,  孙华衿

IPC: G06F11/36

Abstract: 本发明公开了一种程序路径中确定函数调用的上下文环境影响的方法，该方法将返回值、被调用函数重定义的全局变量、指针或引用类型参数作为被调用函数的输出型变量，并采用路径敏感和上下文敏感的符号化区间运算技术，计算被调用函数在路径上各调用点输出型变量必需满足的上下文条件，最后根据该条件生成模拟替换函数，模拟替换函数根据各调用点的条件动态调整输出型变量的取值，保证程序按照目标路径执行。该方法可以用于自动化单元测试中面向路径的测试，包括面向全路径测试、面向子路径测试和面向目标测试等，实验证明，采用本发明所述方法，能够保证被测程序按照目标路径执行，并提高单元测试效率。

公开(公告)号：CN102662829A

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

申请号：CN201210071743.9

申请日：2012-03-16

Applicant: 北京邮电大学

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

IPC: G06F11/36

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

公开(公告)号：CN101847122A

公开(公告)日：2010-09-29

申请号：CN201010188376.1

申请日：2010-06-01

Applicant: 北京邮电大学

Inventor： 金大海 ,  宫云战 ,  杨朝红 ,  肖庆 ,  黄俊飞 ,  王雅文

IPC: G06F11/36

Abstract: 本发明公开了一种应用异常控制流集的软件测试方法及系统。本发明所提供的软件测试方法及系统，是通过异常模式状态机描述运行时异常行为，可以支持对控制流的扩展和故障的自动检测；通过运行时异常控制流扩展传统异常控制流，将抛出运行时异常的边加入其中，以支持对新故障的检测；结合现有静态测试技术，通过迭代方程生成运行时异常控制流集，以实现控制流扩展和新故障检测的交替迭代执行。通过以上方法扩展传统分析路径，达到提高故障报告率的目的。

公开(公告)号：CN101840372A

公开(公告)日：2010-09-22

申请号：CN201010185904.8

申请日：2010-05-28

Applicant: 北京邮电大学

Inventor： 宫云战 ,  肖庆 ,  杨朝红 ,  金大海 ,  黄俊飞 ,  王雅文 ,  赵云山 ,  宋颖

IPC: G06F11/36

Abstract: 本发明公开一种应用符号分析的软件测试方法，该方法包括：A、给出一个符号运算系统，包括符号表达式的表示、化简、运算和计算符号表达式的取值区间；B、给出将程序中各变量间的具体运算映射为符号运算的方法；C、给出程序分支语句对符号取值限定区间的计算方法；D、给出符号分析在程序控制流图上的计算方法。应用本发明的应用符号分析的软件测试方法，能够处理软件静态测试中的变量相关性问题，精确地计算每个程序位置上的变量取值信息，提高软件静态测试的准确性。