中国人民解放军总装备部“十五”预研基金(41315050107)
- 作品数：8 被引量：29H指数：4
- 相关作者：宫云战曹文静张威李梅卢庆龄更多>>
- 相关机构：装甲兵工程学院中国人民解放军海军航空工程学院中国科学院更多>>
- 发文基金：中国人民解放军总装备部“十五”预研基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术军事更多>>
- 非法计算故障的自动测试方法被引量：5
- 2006年
- 基于对程序源代码的静态分析方法,针对程序中的非法计算故障,提出了一种自动测试方法.以非法计算故障的表现形式为基础,将静态分析程序源代码和识别非法计算的过程模型化,建立了静态检测非法计算所需的计算模型,将非法计算故障静态检测过程自动化,给出了非法计算自动测试算法.该方法通过对程序源代码的静态分析,实现了非法计算故障检测的自动化.实验结果表明,该自动测试方法能有效地提高检测非法计算的准确率和自动化水平.
- 曹文静徐胜红宫云战
- 关键词：软件测试非法计算
- 引用未初始化变量故障静态测试方法研究被引量：2
- 2007年
- 引用未初始化变量故障往往存在于C/C++程序中,该类故障常常会导致系统崩溃.鉴于传统测试方法、编译器和现有静态测试工具检测这类故障的局限性,本文提出了基于引用未初始化变量故障模型的静态测试方法.首先给出了引用未初始化变量的形式化定义,作为研究引用未初始化变量的基础;分析了变量状态及其变化,建立了变量状态集产生模型,作为静态识别引用未初始化变量的前提基础;建立了引用未初始化变量故障模型,作为静态识别引用未初始化变量的依据;提出了引用未初始化变量自动测试算法.实验结果表明,基于引用未初始化变量故障模型的静态测试方法具有较高的故障检测准确率和测试效率,这说明建立的故障模型和自动测试方法是有效的.
- 曹文静宫云战
- 关键词：软件测试
- 软件故障暴露率的计算方法被引量：8
- 2003年
- 软件的故障暴露率是软件测试和软件可靠性测试的一个重要参数 ,对高可靠性软件特别是军用软件的可靠性评估有关键的作用 根据PIE分析技术 ,给出软件单个故障或多个故障随机测试的效率分析 ,并以此为基础 ,给出软件故障暴露率的计算方法 。
- 宫云战高文玲李晓维
- 关键词：软件测试可靠性军用软件
- 非法计算故障的静态测试被引量：2
- 2007年
- 针对C/C++程序中的非法计算,形式化定义了非法计算故障;建立了表达式区间运算模型、变量取值区间集产生模型和非法计算故障模型,并将其作为静态识别非法计算的基础;提出了非法计算自动测试算法.实验结果表明,文中方法具有较高的故障检测准确率和测试效率.
- 曹文静宫云战
- 关键词：软件测试非法计算
- 基于指针分析的内存泄露故障测试方法研究被引量：9
- 2006年
- 提出了一种新的指针分析方法,通过静态分析程序中指针的映射关系来检测内存泄漏故障;给出了指针映射代数系统的概念,在此基础上分析了如何构造指针映射集,并详细叙述了测试步骤;最后通过实例分析了该方法的应用效果,讨论了需要进一步解决的问题。该方法还考虑了控制流图和路径条件,提高了测试结果的精度。
- 张威卢庆龄李梅宫云战
- 关键词：内存泄漏软件测试
- 基于整型区间集的数组越界静态自动测试方法研究被引量：5
- 2006年
- 数组越界是软件中普遍存在的一种故障类型,并对软件安全造成了潜在的威胁.传统的故障检测使用程序插装的方法,并相应的以编译优化技术来排除掉多余的数组边界检查.这种检测方法不仅降低了程序运行效率,增加了开销,而且往往不能对故障进行彻底的测试,容易造成漏报.本文在对程序进行静态分析的基础上,通过引入区间概念,建立了整型区间集和数组区间集,进而给出了数组越界的故障模型,模型的建立对软件故障进行了规范.本文随后给出了故障检测算法,最后给出了实验.结果表明这种方法比以往的测试方法具有更强的故障检测能力.
- 高传平谈利群宫云战张威
- 关键词：软件测试数组越界语法树
- 非法计算故障的一种静态测试方法被引量：3
- 2006年
- 非法计算是C/C++程序中的常见故障,该类故障极易导致系统崩溃。针对C/C++语言中常见非法计算故障进行了分析,并从面向具体故障的测试思想出发,建立了C/C++语言中非法计算的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法。此方法已实现,并已应用于面向故障的软件测试系统中。
- 王璇刘涛宫云战
- 关键词：软件测试非法计算
- 未初始化变量的一种静态测试方法被引量：2
- 2007年
- 软件测试系统的研制是软件测试领域的一个研究热点。未初始化变量是C/C++程序中的常见故障,该类故障极易导致计算结果错误或系统崩溃。针对C/C++语言中常见未初始化变量故障进行了分析研究,并从面向具体故障的测试思想出发,建立了C/C++语言中未初始化变量的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法。该方法已实现,并已应用于面向故障的软件测试系统中。
- 赵鹏宇万琳宫云战
- 关键词：软件测试语法树控制流图
