高传平
- 作品数：4 被引量：17H指数：3
- 供职机构：装甲兵工程学院信息工程系更多>>
- 发文基金：中国人民解放军总装备部“十五”预研基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 代码自动检测方法研究
- 2005年
- 讨论了传统软件测试方法的缺点和局限性,进而提出了代码自动检测的方法,给出了此类方法可检测到的故障类型。对程序静态分析技术和方法进行了研究,依据该方法设计与开发了软件测试系统。最后给出了实验结果和对比分析。
- 高传平宫云战王璇
- 关键词：软件生存期
- 数组越界的静态测试分析被引量：9
- 2006年
- 给出了一种静态分析方法,静态分析的主要优点就是在程序运行之前就可以对程序故障进行定位。文章首先针对数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,给出了这类错误的静态分析方法,并给出了相应的算法,而后给出了测试系统设计和开发,最后给出了软件测试的实验结果和分析。
- 高传平宫云战
- 关键词：数组越界控制流图
- 数组越界软件测试系统的设计与实现被引量：3
- 2004年
- 软件测试系统的研制是现阶段软件测试领域研究的一个热点.首先针对C/C++语言常见数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,而后给出了软件测试系统设计,对系统设计的各个阶段进行了说明,并且给出了一种错误类型检查的算法设计,它在软件测试检测中具有通用性和代表性,最后给出了软件测试的实验结果.
- 高传平宫云战
- 关键词：数组越界控制流图
- 基于整型区间集的数组越界静态自动测试方法研究被引量：5
- 2006年
- 数组越界是软件中普遍存在的一种故障类型,并对软件安全造成了潜在的威胁.传统的故障检测使用程序插装的方法,并相应的以编译优化技术来排除掉多余的数组边界检查.这种检测方法不仅降低了程序运行效率,增加了开销,而且往往不能对故障进行彻底的测试,容易造成漏报.本文在对程序进行静态分析的基础上,通过引入区间概念,建立了整型区间集和数组区间集,进而给出了数组越界的故障模型,模型的建立对软件故障进行了规范.本文随后给出了故障检测算法,最后给出了实验.结果表明这种方法比以往的测试方法具有更强的故障检测能力.
- 高传平谈利群宫云战张威
- 关键词：软件测试数组越界语法树
