金大海
- 作品数：132 被引量：86H指数：6
- 供职机构：北京邮电大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金中国博士后科学基金更多>>
- 相关领域：自动化与计算机技术自然科学总论电子电信更多>>
- 结构体对象的赋值运算方法研究
- 2013年
- 随着计算机技术的飞速发展,软件的覆盖面越来越广,软件质量的保证成为了一个越来越重要的环节。结构体在程序设计语音中被广泛使用,在静态代码检测的时,对结构体变量进行区间运算的时候不能给出其明确的区间信息,会对其相关运算的判断精度造成影响,本文介绍了一种对结构体赋值运算的区间计算方法。首先,从抽象语法树中识别结构体变量节点,其次为他们建立抽象内存模型,再次根据控制流图节点在其进行赋值运算的时候对它的子成员变量进行运算。
- 闫鑫金大海宫云战
- 关键词：软件测试控制流图
- 一种充分检测空指针引用缺陷的方法
- 本发明公开了一种充分检测空指针引用缺陷的方法，包括：基于抽象语法树识别出被测应用的全部可寻址表达式；根据控制流图对被测应用进行保守的区间运算与指针分析并根据区间运算与指针分析的结果，生成函数摘要；根据所述函数摘要以及抽象...
- 金大海宫云战董玉坤王雅文黄俊飞
- 文献传递
- 一种程序隐性约束提取方法及系统
- 本发明提供一种程序隐性约束提取方法及系统，包括：对于待测程序中的任一函数，将任一路径上的入口节点作为当前节点；获取当前节点与任一函数对应的抽象语法树上对应的当前语法节点，若当前语法节点包含目标变量，获取目标变量类型，根据...
- 宫云战张明哲王雅文金大海
- 文献传递
- 软件测试中循环代码的处理方法与系统
- 本发明公开了一种软件测试中循环代码的处理方法，先依据程序控制流图，查找被测代码的循环体，确定当前循环体的循环体前子路径，再确定当前循环体的所有单条子路径，组合所述单条子路径为组合子路径，所述循环体前子路径与所述组合子路径...
- 宫云战黄俊飞王雅文王强金大海
- 文献传递
- 过程间的空指针引用故障静态检测方法
- 空指针引用的错误在C++程序中普遍存在,面向故障的静态测试方法应该很好地针对这种故障模式。然而已有的一些静态测试方法大多着重于过程内,许多通过函数参数或者返回值进行传递的指针由于函数间分析的复杂性导致其检测相对困难。提出...
- 张冠楠宫云战金大海
- 文献传递
- 一种基于状态分区的静态缺陷检测求精方法
- 本发明涉及一种基于状态分区的静态缺陷检测求精方法，包括：S1：将待检测的缺陷模式属性状态机集合置于待测函数控制流入口；S2：程序通过路径由前置位置执行到目标位置；S3：属性状态机的状态沿程序路径进行传递以及变化，在目标位...
- 金大海张大林宫云战王雅文黄俊飞
- 文献传递
- 循环语句中变量抽象取值的迭代求精方法
- 本发明提供了一种循环语句中变量抽象取值的迭代求精方法，所述方法包括：根据控制流图CFG进行数据流迭代，得到上次迭代区间LastDomain；根据循环头节点LoopHead的循环条件进行循环语句块的数据流迭代，得到本次迭代...
- 金大海宫云战赵云山肖庆王思岚
- 文献传递
- 软件需求和代码映射方法及系统
- 本发明提供一种软件需求和代码映射方法及系统，方法包括：基于需求文档，根据需求文档语义特征提取模型，确定需求文本语义向量；基于源代码文本，根据源代码特征提取模型，确定源代码特征向量；其中，所述源代码特征向量包括：源代码文本...
- 宫云战戴鹏王雅文金大海
- 软件安全中基于判断逻辑的空指针引用故障检测
- 2015年
- 空指针引用故障导致的软件安全问题不断出现,给各个方面带来了极大困扰和损失。文章研究利用静态测试的方法对一类空指针引用故障进行静态检测分析,同时提出一种利用判断逻辑信息进行空指针引用检测的方法。文章首先给出与基于判断逻辑的空指针引用故障相关的一些定义和故障分类。接着,提出使用函数摘要技术提取间接判空点和间接解引用点,定义该函数摘要为函数特征信息和后置约束信息的集合,研究了判断逻辑函数摘要生成和传递的方法。最后,利用有限状态机建立基于判断逻辑的空指针引用故障模型,给出故障模型描述,并利用状态机状态转换和函数摘要完成对此类空指针引用故障的检测。在静态检测工具DTS中实现了文中的方法并且对6个开源Java工程进行了测试,测试结果表明文中方法可以检测出更多的BUG并且同样适用于检测大型软件系统。
- 王锐强金大海
- 一种面向程序状态的故障分类方法、变异测试方法及设备
- 本发明提供一种面向程序状态的故障分类方法、变异测试方法及设备。所述方法包括：基于待测源程序的语法对应的变异算子，为所述待测源程序的每条语句构造故障节点集和状态变异点集；基于所述故障节点集、所述状态变异点集、所述每条语句的...
- 王雅文林欢宫云战金大海
- 文献传递
