李鸣
- 作品数：2 被引量：1H指数：1
- 供职机构：国家海洋局更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于故障模型的代码静态测试方法研究
- 2011年
- 软件测试是排除软件故障,提高软件质量和可靠性的重要手段。基于故障模型的软件测试是软件编码阶段的主流测试方法之一。基于故障模型的代码静态测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点。鉴于此,本文采取一种特殊的静态分析技术来实现对代码的测试。首先讨论传统软件测试方法的缺点和局限性,给出基于故障模型的静态测试方法的优越性;然后在分析过程中,综合应用抽象语法树和控制流图,提出一种基于故障模型的软件测试方法。依据该算法开发自动化测试工具,给出实验结果和对比分析,并指出下一步的研究方向。
- 夏玉辉李鸣万琳王洪艳
- 关键词：软件测试语法树控制流图
- 基于变量使用的静态测试方法研究被引量：1
- 2009年
- 基于对程序源代码的静态分析方法,针对C/C++程序中的变量定义未使用故障和变量未初始化故障,提出了一种自动测试方法。以变量定义未使用故障和变量未初始化故障的表现形式为基础,从面向具体故障的测试思想出发,并以此为基础,综合应用了抽象语法树和控制流图,提出了一种静态查找这些故障的方法。测试结果表明,该方法能够有效检测变量使用的故障,提高了测试结果的精度。
- 夏玉辉万琳李鸣王洪艳
- 关键词：软件测试控制流图
