国家高技术研究发展计划(2007AA010302)
- 作品数：30 被引量：142H指数：6
- 相关作者：宫云战杨朝红金大海肖庆王雅文更多>>
- 相关机构：北京邮电大学装甲兵工程学院华东师范大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学建筑科学更多>>
- 区间运算中提高循环处理精度的研究
- 循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。本文提出一种基于符号运算和抽象...
- 刘莉金大海宫云战
- 关键词：循环处理
- 文献传递
- 基于用户查询日志的查询聚类被引量：4
- 2010年
- 基于用户查询日志提出了新的查询聚类算法.用户查询日志数据量大,比通常用于查询聚类的查询展现日志和查询点击日志更加稠密,不易产生聚类小的问题,但噪声多,不容易处理.为发现相似查询并减少噪声影响,同一用户同一时段的多次查询(共现查询)之间认为具有较高相似概率.在这一假设基础上,利用查询共现关系建立查询的邻居查询向量空间.将查询用邻居查询向量表示,邻居查询向量的相似度作为聚类中的查询相似度.应用改进的基于密度聚类算法完成聚类.实验证明,95 262个查询组成数据集上,聚类算法实现查准率79.77%、查全率48.21%,平均聚类大小达到51.
- 贾荣飞金茂忠王晓博
- 关键词：聚类算法搜索引擎日志挖掘
- Java语言基于函数摘要的全局分析静态测试方法被引量：2
- 2010年
- 静态测试是软件测试的一种,它是在不运行源程序的基础上,通过对源程序或者中间代码进行抽象和理解,抽取程序的属性并预测其运行时行为和状态来完成测试.通过对DTSJava系统的分析,来说明通过函数摘要对程序进行全局分析的静态测试方法.函数摘要是对函数信息的一种抽象,一般与具体的缺陷模式相关.包括前置信息、后置信息和特征信息.前置信息主要是对调用该函数的条件的一种约束,如参数不能为空.后置信息主要是对类成员和实例成员变量的影响.特征信息是对当前函数一些特征的描述,如资源分配或释放信息.
- 胡成杰宫云战金大海
- 一种悬挂指针故障的静态检测方法被引量：2
- 2010年
- 悬挂指针是指那些不指向任何合法对象的指针,它引起的故障会导致程序产生无法预料的后果并且不容易找到问题的原因.针对C/C++语言中常见悬挂指针故障进行了分析,建立了悬挂指针类型故障模型,设计并实现了一种悬挂指针故障的静态检测方法.通过函数摘要实现跨函数分析,方法能够同时检测函数内和函数间的悬挂指针故障.实验证明,该方法能够检测出故障点,误报率低.该方法已应用于软件测试系统中实际项目的缺陷检测.
- 孙涛宫云战金大海
- 关键词：软件测试
- 过程间的非法计算故障静态检测方法被引量：2
- 2010年
- 非法计算是程序中常见的故障,极易导致系统崩溃.例如:除0运算、对负数开平方根运算等.现有的测试方法大多只能检测过程内的非法计算故障.提出了一种针对函数调用引起的过程间的非法计算故障的静态检测方法.该方法首先对可能存在非法计算的函数提取相应的函数摘要,然后利用函数摘要实现跨函数间的分析.实验结果表明,该方法能检测出更多的非法计算故障点,同时有效地提高非法计算故障检测的准确性.
- 邹欣宫云战金大海
- 关键词：软件测试非法计算
- 一种过程内及过程间数组越界故障的静态检测方法被引量：1
- 2010年
- 数组越界是C和C++程序中常见故障,在各种软件测试系统的设计中,都占据重要位置.首先对数组越界故障进行分析,建立数组越界类型故障模型,设计并实现了基于静态分析,以函数摘要作基础对源代码进行函数内及函数间分析的检测方法.最后用实验方法对实例源码进行测试,实验结果验证了该方法的有效性.此方法已实现,并应用于实际项目中.
- 董娜宫云战金大海
- 关键词：数组越界故障检测源码分析
- 中文文档与源代码间关联关系提取方法的研究
- 软件包括软件文档和源程序代码,发现和维护软件文档与源代码间的关联关系,对程序理解、软件维护、需求跟踪等许多软件工程活动提供很大的帮助。本文提出了一种提取中文软件文档与源代码间的关联关系的方法,根据中文软件文档和源代码的特...
- 韩晓东王晓博刘超
- 关键词：信息检索逆向工程
- 文献传递
- 基于软件缺陷模型的测试系统被引量：25
- 2008年
- 设计并实现了一种基于软件缺陷模型的测试系统(DTS).对常见软件缺陷模式进行了分类、分析和总结.基于状态机提出了软件缺陷模式的描述方法及统一测试框架,提出通过区间运算来减少测试的误报和提高测试精度.与同类工具比较表明.DTS具有效率高和误报少等特点.
- 杨朝红宫云战肖庆王雅文
- 关键词：软件测试状态机
- 非法计算检测的通用模型
- 非法计算是指符合语法规则,但计算机无法实施的一些计算。例如:除数为0、根号内为负数、对数自变量为0或负数等。它是程序中常见的故障,该类故障往往不容易察觉,但却极易导致系统崩溃。本文首先总结出Java语言中可能产生非法计算...
- 江标宫云战杨朝红
- 关键词：非法计算
- 文献传递
- 扩展区间运算的变量值范围分析技术被引量：16
- 2009年
- 首先扩展了数值区间代数理论,提出了区间集的概念,并定义了区间集上的运算;然后定义了布尔型和引用型变量的取值区间及其运算;最后将区间运算应用于程序的静态分析中,提出了一种基于区间运算的变量取值范围分析方法(RABIC).该方法一方面可以直接判定出程序中的不可达路径;另一方面可以应用于软件缺陷检测工具中,减少误报,提高检测结果的准确率.
- 王雅文宫云战肖庆杨朝红
- 关键词：软件测试
