中国人民解放军总装备部“十五”预研基金(41315050107)

作品数：8被引量：23H指数：3
导出分析报告
相关作者：宫云战曹文静张威李梅卢庆龄更多>>
相关机构：装甲兵工程学院中国人民解放军海军航空工程学院中国科学院北方交通大学更多>>
相关期刊：《武汉大学学报（理学版）》《计算机辅助设计与图形学学报》《计算机应用研究》《小型微型计算机系统》更多>>
相关主题：软件测试非法计算语法树内存泄露内存泄漏更多>>
相关领域：自动化与计算机技术军事更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
引用未初始化变量故障静态测试方法研究被引量：1
《小型微型计算机系统》2007年第5期948-951,共4页曹文静 宫云战 
总装备部十五预研基金(41315050107)资助
引用未初始化变量故障往往存在于C/C++程序中,该类故障常常会导致系统崩溃.鉴于传统测试方法、编译器和现有静态测试工具检测这类故障的局限性,本文提出了基于引用未初始化变量故障模型的静态测试方法.首先给出了引用未初始化变量的形...
关键词：软件测试 引用未初始化变量 故障模型 静态测试方法 
未初始化变量的一种静态测试方法被引量：2
《计算机工程与设计》2007年第4期751-754,共4页赵鹏宇 万琳 宫云战 
总装备部十五预研基金项目(41315050107)
软件测试系统的研制是软件测试领域的一个研究热点。未初始化变量是C/C++程序中的常见故障,该类故障极易导致计算结果错误或系统崩溃。针对C/C++语言中常见未初始化变量故障进行了分析研究,并从面向具体故障的测试思想出发,建立了C/C++...
关键词：软件测试 静态测试 未初化变量 语法树 控制流图 
非法计算故障的静态测试被引量：1
《计算机辅助设计与图形学学报》2007年第1期119-124,共6页曹文静 宫云战 
总装备部"十五"预研基金(41315050107).
针对C/C++程序中的非法计算,形式化定义了非法计算故障;建立了表达式区间运算模型、变量取值区间集产生模型和非法计算故障模型,并将其作为静态识别非法计算的基础;提出了非法计算自动测试算法.实验结果表明,文中方法具有较高的故障检...
关键词：软件测试 静态测试方法 非法计算 故障模型 自动测试算法 
基于整型区间集的数组越界静态自动测试方法研究被引量：3
《小型微型计算机系统》2006年第12期2222-2227,共6页高传平 谈利群 宫云战 张威 
总装备部十五预研基金项目(41315050107)资助.
数组越界是软件中普遍存在的一种故障类型,并对软件安全造成了潜在的威胁.传统的故障检测使用程序插装的方法,并相应的以编译优化技术来排除掉多余的数组边界检查.这种检测方法不仅降低了程序运行效率,增加了开销,而且往往不能对故障进...
关键词：软件测试 整型区间集 静态分析 数组越界 语法树 
非法计算故障的一种静态测试方法被引量：2
《计算机工程与设计》2006年第14期2555-2557,共3页王璇 刘涛 宫云战 
总装备部十五预研基金项目(41315050107)
非法计算是C/C++程序中的常见故障,该类故障极易导致系统崩溃。针对C/C++语言中常见非法计算故障进行了分析,并从面向具体故障的测试思想出发,建立了C/C++语言中非法计算的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方...
关键词：软件测试 静态分析 非法计算 区间运算 故障模型 
非法计算故障的自动测试方法被引量：3
《武汉大学学报（理学版）》2006年第5期613-617,共5页曹文静 徐胜红 宫云战 
总装备部十五预研基金资助项目(41315050107)
基于对程序源代码的静态分析方法,针对程序中的非法计算故障,提出了一种自动测试方法.以非法计算故障的表现形式为基础,将静态分析程序源代码和识别非法计算的过程模型化,建立了静态检测非法计算所需的计算模型,将非法计算故障静态检测...
关键词：软件测试 自动测试方法 非法计算 故障模型 
基于指针分析的内存泄露故障测试方法研究被引量：7
《计算机应用研究》2006年第10期22-24,共3页张威 卢庆龄 李梅 宫云战 
总装备部"十五"预研资助项目(41315050107)
提出了一种新的指针分析方法,通过静态分析程序中指针的映射关系来检测内存泄漏故障;给出了指针映射代数系统的概念,在此基础上分析了如何构造指针映射集,并详细叙述了测试步骤;最后通过实例分析了该方法的应用效果,讨论了需要进一步解...
关键词：内存泄漏 软件测试 指针分析 
软件故障暴露率的计算方法被引量：6
《计算机辅助设计与图形学学报》2003年第6期751-754,759,共5页宫云战 高文玲 李晓维 
国家自然科学基金 ( 90 2 0 70 0 2 );总装备部"十五"预研项目基金( 4 13 15 0 5 0 10 7)资助
软件的故障暴露率是软件测试和软件可靠性测试的一个重要参数 ,对高可靠性软件特别是军用软件的可靠性评估有关键的作用 根据PIE分析技术 ,给出软件单个故障或多个故障随机测试的效率分析 ,并以此为基础 ,给出软件故障暴露率的计算方法 。
关键词：故障暴露率 软件测试 可靠性 军用软件 检测概率 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部