赵云山
- 作品数：14 被引量：28H指数：3
- 供职机构：北京邮电大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划中国科学院知识创新工程重要方向项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 循环语句中变量抽象取值的迭代求精方法
- 本发明提供了一种循环语句中变量抽象取值的迭代求精方法，所述方法包括：根据控制流图CFG进行数据流迭代，得到上次迭代区间LastDomain；根据循环头节点LoopHead的循环条件进行循环语句块的数据流迭代，得到本次迭代...
- 金大海宫云战赵云山肖庆王思岚
- 文献传递
- 一种基于给定缺陷描述信息进行软件测试的方法及系统
- 本发明提供了一种基于给定缺陷描述信息进行软件测试的方法和系统，所述方法包括：接收用户发来的待测代码和缺陷描述信息；对收到的待测代码进行静态分析，得到符号表、控制流图、函数调用关系、定义-使用链；根据缺陷描述信息在符号表、...
- 黄俊飞宫云战王前金大海王雅文赵云山周虹伯
- 文献传递
- 基于模块分解技术的软件缺陷检测系统的复杂性分析方法
- 本发明公开一种基于模块分解技术的软件缺陷检测系统（DTS）的复杂性分析方法，包括：A,根据所述DTS缺陷检测原理，将该分析方法的流程包括由前端输入预处理模块完成的前端输入预处理步骤、由预分析模块完成预分析的步骤、由正式分...
- 宫云战赵云山金大海肖庆
- 文献传递
- 静态缺陷检测中的误报消除技术研究被引量：7
- 2012年
- 误报率是衡量静态缺陷检测工具的重要指标.在对比分析了各种误报消除技术的基础上,提出了一种前向数据流分析结合逆向约束搜索技术的误报消除方法:前向数据流分析的保守数据流解可以用于缺陷状态迭代,并得到初始的缺陷检测结果;根据缺陷发生处的数据流特征,逆向搜索可能导致缺陷发生的约束条件,该约束条件可以作为通用约束求解器的输入判断缺陷的可满足性,从而对初始的缺陷检测结果进行精化.同时,在数据流分析过程中引入符号执行技术,不仅提高了数据流分析的精度,且便于约束表示及转化,提高了约束搜索的效率.对SPECCPU2000中11个工程的对比实验表明,前向数据流分析与逆向约束搜索相结合的误报消除方法在增加了有限开销的同时有效地消除了部分误报,且与同类工具相比具有更好的可扩展性.
- 赵云山宫云战周傲王前周虹伯
- 关键词：误报数据流分析
- 应用符号分析的软件测试方法
- 本发明公开一种应用符号分析的软件测试方法，该方法包括：A、给出一个符号运算系统，包括符号表达式的表示、化简、运算和计算符号表达式的取值区间；B、给出将程序中各变量间的具体运算映射为符号运算的方法；C、给出程序分支语句对符...
- 宫云战肖庆杨朝红金大海黄俊飞王雅文赵云山宋颖
- 文献传递
- 基于模块分解技术的软件缺陷检测系统的复杂性分析方法
- 本发明公开一种基于模块分解技术的软件缺陷检测系统（DTS）的复杂性分析方法，包括：A,根据所述DTS缺陷检测原理，将该分析方法的流程包括由前端输入预处理模块完成的前端输入预处理步骤、由预分析模块完成预分析的步骤、由正式分...
- 宫云战赵云山金大海肖庆
- 文献传递
- 应用符号分析的软件测试方法
- 本发明公开一种应用符号分析的软件测试方法，该方法包括：A、给出一个符号运算系统，包括符号表达式的表示、化简、运算和计算符号表达式的取值区间；B、给出将程序中各变量间的具体运算映射为符号运算的方法；C、给出程序分支语句对符...
- 宫云战肖庆杨朝红金大海黄俊飞王雅文赵云山宋颖
- 一种基于别名分析技术的软件测试方法
- 本发明公开一种基于别名分析技术的软件测试方法，通过在控制流上对一些涉及别名关系的语句进行特殊分析，利用空间抽象三元模型将变量声明、值和内存空间进行关联，这个过程迭代到控制流不再扩展为止；并通过定义别名分析的三元模型，区别...
- 金大海宫云战周虹伯王雅文黄俊飞赵云山王前
- 基于符号分析的静态缺陷检测技术研究
- 近年来，随着软件规模的扩大、复杂度的提升、应用领域的拓展，软件的可信性问题已成为用户、从业人员和研究人员共同关注的焦点。目前业界公认的一个观点是，如何在软件开发的早期尽可能地发现并排除软件缺陷以节省成本，是构建可信软件的...
- 赵云山
- 关键词：软件开发
- 应用程序切片技术的静态缺陷检测方法
- 本发明公开一种应用程序切片技术的静态缺陷检测方法，包括：A.获取待检测缺陷模式的缺陷特征；B.根据所述的缺陷特征，计算所有分支节点的路径条件，并生成切片准则；C.按照所述的切片准则，遍历控制流图进行程序切片，对控制流图进...
- 宫云战赵云山金大海肖庆杨朝红刘莉
- 文献传递
