高传平

作品数：4被引量：13H指数：2
导出分析报告
供职机构：装甲兵工程学院信息工程系更多>>
发文主题：数组越界控制流图软件测试语法树代码更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《小型微型计算机系统》《计算机工程》《计算机应用》更多>>
所获基金：中国人民解放军总装备部“十五”预研基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于整型区间集的数组越界静态自动测试方法研究被引量：3
《小型微型计算机系统》2006年第12期2222-2227,共6页高传平 谈利群 宫云战 张威 
总装备部十五预研基金项目(41315050107)资助.
数组越界是软件中普遍存在的一种故障类型,并对软件安全造成了潜在的威胁.传统的故障检测使用程序插装的方法,并相应的以编译优化技术来排除掉多余的数组边界检查.这种检测方法不仅降低了程序运行效率,增加了开销,而且往往不能对故障进...
关键词：软件测试 整型区间集 静态分析 数组越界 语法树 
数组越界的静态测试分析被引量：9
《计算机工程》2006年第3期70-72,共3页高传平 宫云战 
给出了一种静态分析方法,静态分析的主要优点就是在程序运行之前就可以对程序故障进行定位。文章首先针对数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,给出了这类错误的静态分析方法,并给出了相应的算法,而后给出了测试...
关键词：数组越界 静态分析 算法 控制流图 
代码自动检测方法研究
《计算机应用》2005年第B12期377-378,380,共3页高传平 宫云战 王璇 
讨论了传统软件测试方法的缺点和局限性,进而提出了代码自动检测的方法,给出了此类方法可检测到的故障类型。对程序静态分析技术和方法进行了研究,依据该方法设计与开发了软件测试系统。最后给出了实验结果和对比分析。
关键词：软件生存期 静态测试 代码测试 故障 
数组越界软件测试系统的设计与实现被引量：1
《装甲兵工程学院学报》2004年第2期27-30,共4页高传平 宫云战 
软件测试系统的研制是现阶段软件测试领域研究的一个热点.首先针对C/C++语言常见数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,而后给出了软件测试系统设计,对系统设计的各个阶段进行了说明,并且给出了一种错误类型检查的...
关键词：数组越界 静态分析 控制流图 路径测试 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部