宫云战

本发明实施例公开了一种静态代码缺陷检测分析方法及装置,针对现有的对待测源代码文件的代码缺陷检测分析效率低下的问题,其中,检测分析方法包括:获取待测源代码文件,其中,所述待测源代码文件包括:多个待测源代码文件段的测试单元;根据所述待测源代码文件,生成抽象语法树;根据所述抽象语法树,建立每个当前测试单元与其他测试单元的关联,得到关联后的每个当前测试单元与其他测试单元的依赖关系,其中,所述其他测试单元为所述多个测试单元中除所述当前测试单元以外的其他测试单元;根据所述依赖关系,结合串行检测分析与并行检测分析,并对所述待测源代码文件的代码缺陷检测分析,提高待测源代码文件的代码缺陷检测分析效率.

宫云战 邓秋晗 金大海 黄俊飞 王雅文

北京邮电大学

2017-01-04

本发明提供一种软件测试方法及系统,该方法包括:确定被测程序的抽象语法树;遍历分析抽象语法树,获取对应的符号表和控制流图;根据符号表确定被测程序的输入变量和全局变量,并分别赋予输入变量和全局变量初始取值范围,输入变量和全局变量的取值范围以数值的区间形式表示;将输入变量和全局变量取值范围的区间表示形式转换为仿射表示形式;根据控制流图确定路径集合,并对路径集合中的每条路径进行逐节点的变量仿射形式运算,输出每条路径对应的变量以及变量取值范围;在每条路径对应的变量的取值范围中取值,生成测试用例,并根据测试用例对被测程序进行测试.本发明提供的软件测试方法及系统,提高了变量取值范围和软件测试结果的精确性.

宫云战 钱茛南 王雅文 黄俊飞 金大海

北京邮电大学

2015-09-16

本发明涉及一种基于Eclipse插件的Java源代码缺陷检测方法及其系统,所述方法包括:S1、将检测插件置入到Eclipse平台;S2、在所述检测插件的模式数据库中选择预设的缺陷模式和存储路径;S3、根据所选择的缺陷模式和存储路径,选择所述Eclipse平台中待测试java文件和/或待测试工程并执行检测;S4、分析处理检测结果.该方法可以在Java开发环境下直接进行代码缺陷的检测,从而提高了软件开发测试的效率.

宫云战 朱红 金大海 黄俊飞 王雅文 张大林

北京邮电大学

2015-03-25

本发明涉及一种结构测试中被测程序的改造方法及其系统,所述方法包括:S1、根据被测程序的结构生成抽象语法树和控制流图,并得到所述被测程序的输入/输出函数信息;S2、改造被测程序,并在所述被测程序中分别构造驱动函数、桩函数和探针函数;S3、执行所述被测程序,得到所述探针函数的插桩返回信息,根据所述插桩返回信息和所述控制流图分析所述被测程序的路径覆盖情况.该方法通过改造被测函数单元,构造驱动函数,构造桩函数,构造探针函数,使被测程序可独立执行,大大提高了结构测试的自动化程度.

宫云战 杨忆文 王雅文 黄俊飞 金大海

北京邮电大学

2015-01-28

本发明涉及一种结构测试中的边界值测试方法及其系统,所述方法包括:S1,根据被测文件中的语句的语义和表达式的语义选择特定的边界覆盖准则;S2,根据所述边界覆盖准则获取所述被测文件的语句边界值和表达式边界值;S3,为所述语句边界值和所述表达式边界值选择对应的可达路径;S4,根据所述可达路径生成测试用例,并对所述测试用例进行比较,从而得到边界值测试结果.本发明的结构测试中的边界值测试方法及其系统,通过对不同的语句以及表达式选择特定的边界值覆盖准则,可以快速地找到对应的边界值,从而可以在结构测试中对语句以及表达式的边界值进行测试.

宫云战 李峰 黄俊飞 金大海 王雅文

北京邮电大学

2014-07-09

本发明涉及一种故障自动注入与故障检测的方法及其系统,该方法包括:S1,对被测文件进行故障自动化注入,进行分析并生成多个故障文件;S2,对所述多个故障文件分别进行处理,生成多个可执行文件;S3,根据所述被测文件选择特定的用例库,将所述用例库中的用例逐一在所述每个可执行文件上运行,进行故障检测,并计算故障检测率.本发明使用源代码故障注入的方法,可以加速错误的发生,进而判断出软件中是否存在故障,并且检错能力强,尤其对于一些小概率错误具有较好的测试效果.

宫云战 钱茛南 王雅文 黄俊飞 金大海

北京邮电大学

2014-07-09