国家高技术研究发展计划(2006AA01Z184)
- 作品数：12 被引量：74H指数：6
- 相关作者：杨朝红宫云战肖庆王雅文毕学军更多>>
- 相关机构：北京邮电大学装甲兵工程学院电子工业出版社更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于故障模式状态机的测试方法被引量：15
- 2007年
- 基于状态机对故障模式进行了统一的描述,使得故障描述更准确、无二义性。为了避免路径组合爆炸,提出基于控制流的状态集迭代分析算法进行故障检测,可以使算法的计算复杂性由O(P)(P是路径数目)减少为O(N+E)N)(N是控制流图节点数,E是控制流图边数)。由于状态机的独立性,对控制流图进行一遍迭代可以同时计算多个故障模式,大大提高测试效率。同时,该方法还采用了带条件的状态计算可以较好地减少误报的情况。
- 肖庆杨朝红毕学军
- 关键词：软件测试数据流分析故障查找
- 多线程故障分析及解决方法
- 2007年
- 多线程技术在近年来得到了广泛的发展和应用,对其的测试分析具有重要的意义。本文提出了针对多线程的一些故障模式,介绍了现有的对多线程故障分析的几种方法,并对他们进行比较,以利于以后新的检测工具的生成,促进软件测试在多线程技术方面的发展。
- 刘玉璇宫云战杨朝红
- 关键词：多线程
- 基于模型的软件测试被引量：10
- 2007年
- 基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践,本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点,但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类,并对其故障密度等参数进行了初步的分析。最后,本文给出了一种基于模型的软件测试方法。
- 杨朝红宫云战肖庆毕学军
- 关键词：软件测试
- 过程间的空指针引用故障静态检测方法
- 空指针引用的错误在C++程序中普遍存在,面向故障的静态测试方法应该很好地针对这种故障模式。然而已有的一些静态测试方法大多着重于过程内,许多通过函数参数或者返回值进行传递的指针由于函数间分析的复杂性导致其检测相对困难。提出...
- 张冠楠宫云战金大海
- 文献传递
- 基于缺陷模式的软件测试中的区间运算应用被引量：14
- 2008年
- 基于缺陷模式的软件测试采用静态分析技术,误报问题比较严重.通过对区间数学理论扩展,提出了区间集的运算,以及实数、布尔变量、句柄变量、数组变量等不同数据类型的区间计算方法;采用May和Must集合来描述条件语句对区间的限定;通过修改数据流方程来跟踪控制流图遍历中的区间变化.将区间运算应用于基于缺陷模式的软件测试,实验结果表明,区间运算能够较好地减少误报和提高缺陷检测精度.
- 杨朝红宫云战肖庆王雅文
- 关键词：软件测试状态机
- 基于过程控制的软件质量保障平台设计被引量：1
- 2010年
- 软件过程改进是近年来颇受关注的一个问题领域。本文在分析并提取软件开发过程的典型特征之后,介绍了一个基于过程控制的软件质量保障平台的设计结构。该平台以CMM为指导思想,支持管理者对项目开发进行计划、跟踪、协调、检查、控制等各项管理工作。
- 万琳刘娟陈波刘玮
- 关键词：过程控制软件质量保障
- 面向故障的C++程序全局静态分析框架
- 针对面向对象C++程序,通过与建立独立的类型信息及函数摘要抽象来实现递增静态分析程序属性和行为,分为全局预分析,本地分析,故障检测分析三步骤,可推广于大规模的程序分析。通过对开源项目的测试,程序能够在时间和精度都有较好的...
- 祁鹏宫云战金大海
- 文献传递
- Java性能故障模式分析
- 2007年
- 面向故障的软件测试方法正在快速发展中,应用这种方法的关键之一就是定义各种故障模式。本文针对涉及软件性能方面的几类Java语言故障模式,给出其一般形式和产生原因,并分析其对于保证软件质量的重要性及改进措施,最后简要介绍了对故障模式进行检测的方法。
- 侯斌张冠楠宫云战
- 关键词：JAVA故障检测
- 一种基于静态分析的资源泄漏检测方法
- 资源泄漏是指资源分配后未及时释放的现象,这类故障可能导致系统资源被耗尽。首先分析了资源泄露故障原因,介绍Java语言的资源泄漏故障模式。然后,建立可扩展的资源行为模型(简称RBM),用于描述程序中与资源有关的操作。接着以...
- 杨绣宫云战金大海
- 关键词：软件测试资源泄漏数据流分析
- 文献传递
- 论软件缺陷被引量：13
- 2008年
- 论述了与软件缺陷相关的几个问题,包括软件缺陷的来源、软件缺陷的分类和分级、软件缺陷数目的预测、软件缺陷的发现及排除效率、软件缺陷的分布等。综合利用这些因素可以大大降低软件缺陷的测试成本,提高软件测试的效率。
- 王德胜宫云战
