王前
- 作品数：11 被引量：19H指数：2
- 供职机构：北京邮电大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于给定缺陷描述信息进行软件测试的方法及系统
- 本发明提供了一种基于给定缺陷描述信息进行软件测试的方法和系统，所述方法包括：接收用户发来的待测代码和缺陷描述信息；对收到的待测代码进行静态分析，得到符号表、控制流图、函数调用关系、定义-使用链；根据缺陷描述信息在符号表、...
- 黄俊飞宫云战王前金大海王雅文赵云山周虹伯
- 文献传递
- 基于缺陷检测难度的测试用例检错能力模型
- 2017年
- 在经典的变异评分计算过程中,因为不考虑被播种软件缺陷的检测难度而使得变异评分的可信性受到质疑.因此提出一种基于缺陷检测难度评价测试用例集合的方法.以logistic回归为基础,利用经验回归方程建立缺陷的识别概率与缺陷检测难度之间的数量关系.借助关系曲线下的面积,变异评分被重新定义.新定义的变异评分不但不受缺陷样本的检测难度影响,而且规避了因等价变异体的出现而使得经典变异评分的计算不准确的问题.
- 谭立力王雅文邢颖王前
- 关键词：软件可测试性LOGISTIC回归
- 一种软件缺陷模式自定制方法被引量：1
- 2013年
- 软件缺陷是导致软件不可靠的根本原因,提高软件可靠性的关键在于减少软件缺陷。基于缺陷模式的代码分析技术根据预先设定好的缺陷模式对待测代码进行缺陷分析,这种缺陷分析具有使用简单、查找速度快等优点,是近年来静态代码分析技术中发展比较迅速的新技术。但是目前基于这种分析技术的大多数工具并没有为用户提供足够易用、高效的扩展方式以扩充其缺陷检测能力。本文出了一种支持用户定制语法相关缺陷模式的测试方法及系统,该方法能够让用户根据实际情况需要对缺陷模式进行定制,目的是检测程序代码中是否包含语法相关的缺陷。
- 王德朋王前薛伟
- 生成时序安全属性类缺陷模式相关的函数摘要信息的方法
- 本发明涉及一种生成时序安全属性类缺陷模式相关的函数摘要信息的方法，包括：判定被测程序中时序安全属性类的缺陷模式，并生成时序安全属性类缺陷模式的描述文件；根据所述描述文件获取所述时序安全属性类缺陷模式的有限自动状态机；根据...
- 金大海王前宫云战黄俊飞王雅文
- 一种基于别名分析技术的软件测试方法
- 本发明公开一种基于别名分析技术的软件测试方法，通过在控制流上对一些涉及别名关系的语句进行特殊分析，利用空间抽象三元模型将变量声明、值和内存空间进行关联，这个过程迭代到控制流不再扩展为止；并通过定义别名分析的三元模型，区别...
- 金大海宫云战周虹伯王雅文黄俊飞赵云山王前
- 一种缺陷处理方法及缺陷处理器
- 本发明公开了一种缺陷处理方法，包括：通过SDDL-EXP，生成语法类缺陷模式；其中，所述SDDL-EXP为预定的值相关缺陷模式语言；根据所述语法类缺陷模式，在被测代码中查找检测点，并将所述语法类缺陷模式中的缺陷发生的条件...
- 王雅文宫云战金大海黄俊飞王前
- 基于缺陷关联的静态分析优化被引量：12
- 2014年
- 缺陷检测一般包括静态分析与人工审查两个阶段.静态检测工具报告大量缺陷,但是主要的缺陷确认工作仍由人工完成,这是一件费时、费力的工作.巨大的审查开销可能会导致软件开发人员拒绝使用该静态缺陷检测工具.提出一种可靠的基于缺陷关联的静态分析优化方法,能够分组静态检测工具所报告的缺陷,在分组后的任意一组缺陷中,如果其主导缺陷被证明是误报(或者是真实的),就能确认其他缺陷也是误报(也是真实的).实验结果表明,基于缺陷关联的静态分析优化方法在较小的时间和空间开销下减少了22%的缺陷审查工作,能够较好地适应于大型的关键嵌入式系统程序缺陷检测.
- 张大林金大海宫云战王前董玉坤张海龙
- 生成时序安全属性类缺陷模式相关的函数摘要信息的方法
- 本发明涉及一种生成时序安全属性类缺陷模式相关的函数摘要信息的方法，包括：判定被测程序中时序安全属性类的缺陷模式，并生成时序安全属性类缺陷模式的描述文件；根据所述描述文件获取所述时序安全属性类缺陷模式的有限自动状态机；根据...
- 金大海王前宫云战黄俊飞王雅文
- 文献传递
- 静态缺陷检测中的误报消除技术研究被引量：6
- 2012年
- 误报率是衡量静态缺陷检测工具的重要指标.在对比分析了各种误报消除技术的基础上,提出了一种前向数据流分析结合逆向约束搜索技术的误报消除方法:前向数据流分析的保守数据流解可以用于缺陷状态迭代,并得到初始的缺陷检测结果;根据缺陷发生处的数据流特征,逆向搜索可能导致缺陷发生的约束条件,该约束条件可以作为通用约束求解器的输入判断缺陷的可满足性,从而对初始的缺陷检测结果进行精化.同时,在数据流分析过程中引入符号执行技术,不仅提高了数据流分析的精度,且便于约束表示及转化,提高了约束搜索的效率.对SPECCPU2000中11个工程的对比实验表明,前向数据流分析与逆向约束搜索相结合的误报消除方法在增加了有限开销的同时有效地消除了部分误报,且与同类工具相比具有更好的可扩展性.
- 赵云山宫云战周傲王前周虹伯
- 关键词：误报数据流分析
- 一种基于别名分析技术的软件测试方法
- 本发明公开一种基于别名分析技术的软件测试方法，通过在控制流上对一些涉及别名关系的语句进行特殊分析，利用空间抽象三元模型将变量声明、值和内存空间进行关联，这个过程迭代到控制流不再扩展为止；并通过定义别名分析的三元模型，区别...
- 金大海宫云战周虹伯王雅文黄俊飞赵云山王前
- 文献传递
