周虹伯
- 作品数：11 被引量：12H指数：2
- 供职机构：北京邮电大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学一般工业技术更多>>
- 一种基于给定缺陷描述信息进行软件测试的方法及系统
- 本发明提供了一种基于给定缺陷描述信息进行软件测试的方法和系统，所述方法包括：接收用户发来的待测代码和缺陷描述信息；对收到的待测代码进行静态分析，得到符号表、控制流图、函数调用关系、定义-使用链；根据缺陷描述信息在符号表、...
- 黄俊飞宫云战王前金大海王雅文赵云山周虹伯
- 文献传递
- 基于最小路集的系统可靠性综合方法被引量：2
- 2009年
- 单元不同分布时的系统可靠性综合问题虽已解决并在工程中得到了应用,但传统模型并不能描述系统的整体特性。基于最小路集理论,综合由Monte-Carlo法产生的各单元寿命随机值,提出了一种模拟仿真模型,可以有效地求出系统的整体寿命分布特性。经过对比验证,仿真结果理想。统计推断过程可以在计算机上实现,方便工程应用。
- 周虹伯郭建英
- 一种复杂数据结构在代码静态测试中的处理方法和装置
- 本发明公开了一种复杂数据结构在代码静态测试中的处理方法，在符号表中记录与复杂数据类型相关的基本数据类型信息；对控制流图的每个节点的复杂数据类型，根据与所述复杂数据类型相关的基本数据类型信息进行基本数据类型拆分，将基本数据...
- 黄俊飞周虹伯宫云战金大海王雅文
- 文献传递
- 系统可靠性综合评定及应用软件开发
- 可靠性工程是一门较新的学科，是适应新的科学技术发展的需要而诞生的。在现代化科学技术飞速发展的今天，产品功能日趋强大，产品复杂程度日趋提高，这使得产品的可靠性显得尤其突出。可靠性已经作为衡量产品质量及综合性能的最主要因素之...
- 周虹伯
- 关键词：应用软件软件开发
- 文献传递
- 静态缺陷检测中的误报消除技术研究被引量：7
- 2012年
- 误报率是衡量静态缺陷检测工具的重要指标.在对比分析了各种误报消除技术的基础上,提出了一种前向数据流分析结合逆向约束搜索技术的误报消除方法:前向数据流分析的保守数据流解可以用于缺陷状态迭代,并得到初始的缺陷检测结果;根据缺陷发生处的数据流特征,逆向搜索可能导致缺陷发生的约束条件,该约束条件可以作为通用约束求解器的输入判断缺陷的可满足性,从而对初始的缺陷检测结果进行精化.同时,在数据流分析过程中引入符号执行技术,不仅提高了数据流分析的精度,且便于约束表示及转化,提高了约束搜索的效率.对SPECCPU2000中11个工程的对比实验表明,前向数据流分析与逆向约束搜索相结合的误报消除方法在增加了有限开销的同时有效地消除了部分误报,且与同类工具相比具有更好的可扩展性.
- 赵云山宫云战周傲王前周虹伯
- 关键词：误报数据流分析
- 基于域敏感指向分析的区间运算在软件测试中的应用被引量：3
- 2012年
- 静态分析由于并不执行源代码,导致无法获取变量在实际运行中的取值,进而对一些和变量取值相关的缺陷检测带来了一定困难.利用符号执行和区间运算技术,虽然可以模拟程序实际执行时变量的可能取值范围,但对于结构体、数组等,由于不能对其成员进行独立描述,导致数据流无法支持域敏感分析,对和其成员变量相关的缺陷的检测难以实现,产生很多漏报.基于域敏感指向分析的区间运算模型,在域敏感指向分析模型的基础上对其进行了改进,将复杂数据类型拆分成独立的成员变量进行分析,并提出一种关联抽象取值集的类型系统,该系统可以保守的描述程序在动态执行时变量的可能取值.结合赋值语句的抽象语法定义,给出了该类型系统在数据流计算时的具体推导算法,并将其应用在缺陷检测系统(DTSGCC和DTSCPP)中.选用DTSCPP作为实验平台,对6个C++开源工程进行了测试,并对其数据进行了统计分析,结果表明该方法可以减少漏报,且测试效率与非域敏感版本相当.
- 周虹伯金大海宫云战
- 应用数据类型抽象建模提高软件静态测试精度的方法研究
- 随着软件产业化的发展，人们对软件的质量、成本和进度提出了越来越高的要求，软件测试逐渐成为了软件开发过程中不可或缺的重要环节，其中的软件静态测试由于无需执行程序且覆盖率高，而成为构建可信软件的主要手段。静态测试的结果不可能...
- 周虹伯
- 关键词：软件静态测试
- 文献传递
- 一种基于别名分析技术的软件测试方法
- 本发明公开一种基于别名分析技术的软件测试方法，通过在控制流上对一些涉及别名关系的语句进行特殊分析，利用空间抽象三元模型将变量声明、值和内存空间进行关联，这个过程迭代到控制流不再扩展为止；并通过定义别名分析的三元模型，区别...
- 金大海宫云战周虹伯王雅文黄俊飞赵云山王前
- 可修系统可靠性分析
- 可修系统可靠性分析领域里,马尔科夫状态图转换法已有较为广泛的应用,但此方法对于多个不同单元的复杂系统进行分析时,由于系统状态过多导致分析困难。本文基于马尔科夫原理,利用频率平衡法代替微分方程法和极限转移概率法,通过近似计...
- 周虹伯郭建英丁喜波
- 关键词：可修系统可靠性分析
- 文献传递
- 一种复杂数据结构在代码静态测试中的处理方法和装置
- 本发明公开了一种复杂数据结构在代码静态测试中的处理方法，在符号表中记录与复杂数据类型相关的基本数据类型信息；对控制流图的每个节点的复杂数据类型，根据与所述复杂数据类型相关的基本数据类型信息进行基本数据类型拆分，将基本数据...
- 黄俊飞周虹伯宫云战金大海王雅文
- 文献传递
