夏玉辉
- 作品数：6 被引量：9H指数：2
- 供职机构：装甲兵工程学院信息工程系更多>>
- 发文基金：中国人民解放军总装备部预研基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于故障模型的代码静态测试方法研究
- 2011年
- 软件测试是排除软件故障,提高软件质量和可靠性的重要手段。基于故障模型的软件测试是软件编码阶段的主流测试方法之一。基于故障模型的代码静态测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点。鉴于此,本文采取一种特殊的静态分析技术来实现对代码的测试。首先讨论传统软件测试方法的缺点和局限性,给出基于故障模型的静态测试方法的优越性;然后在分析过程中,综合应用抽象语法树和控制流图,提出一种基于故障模型的软件测试方法。依据该算法开发自动化测试工具,给出实验结果和对比分析,并指出下一步的研究方向。
- 夏玉辉李鸣万琳王洪艳
- 关键词：软件测试语法树控制流图
- 基于干扰观测器的坦克伺服系统滑模变结构控制被引量：4
- 2009年
- 针对坦克伺服系统中存在的外部干扰、内部参数的不确定性问题,提出干扰观测器作为内环和滑模变结构控制作为外环的双环控制方案。在二自由度意义下分析干扰观测器系统的鲁棒性和性能,通过合理设计低通滤波器,干扰观测器可补偿大的干扰和不确定性,同时还可减少滑模变结构控制的抖振现象。滑模变结构控制器可用来消除干扰观测误差,并满足系统跟踪性能的要求。所设计的方法用于坦克伺服系统进行仿真研究。结果表明该方法能较好地满足跟踪精度的要求,同时系统具有较强的适应性和鲁棒性。
- 王洪艳王庆林左哲乔继红夏玉辉
- 关键词：干扰观测器鲁棒性滑模变结构控制
- 一种基于控制流图的静态测试方法
- 基于对程序源代码的静态分析方法,针对程序中一些常见故障,提出了一种基于控制流图的自动测试方法。采取了一种特殊的静态分析技术来实现对代码的测试。首先讨论了传统软件测试方法的缺点和局限性,给出了软件的故障模型,在分析过程中,...
- 夏玉辉张威万琳王洪艳
- 关键词：软件测试语法树控制流图
- 文献传递
- 变量定义未使用故障的一种静态测试方法被引量：4
- 2007年
- 变量定义未使用故障是C/C++程序中的可见故障,该类故障可导致计算结果错误或系统崩溃。针对C/C++语言中变量定义未使用错误类型进行了分析,并从面向具体故障的测试思想出发,给出软件测试系统设计,建立了C/C++语言中变量定义未使用的故障模型,结合静态测试特点,给出了一种静态查找此类故障的方法。该方法已用于面向故障的软件测试系统中。
- 夏玉辉张威李鸣万琳
- 关键词：软件测试语法树控制流图
- 基于变量使用的静态测试方法研究被引量：1
- 2009年
- 基于对程序源代码的静态分析方法,针对C/C++程序中的变量定义未使用故障和变量未初始化故障,提出了一种自动测试方法。以变量定义未使用故障和变量未初始化故障的表现形式为基础,从面向具体故障的测试思想出发,并以此为基础,综合应用了抽象语法树和控制流图,提出了一种静态查找这些故障的方法。测试结果表明,该方法能够有效检测变量使用的故障,提高了测试结果的精度。
- 夏玉辉万琳李鸣王洪艳
- 关键词：软件测试控制流图
- 不可达代码的一种静态测试方法
- 不可达代码是C／C++程序中的可见故障,该类故障可以导致计算结果错误或系统崩溃。本文首先分析了C／C++语言中不可代代码错误类型,从面向具体故障的测试思想出发, 给出一种错误类型检查的算法设计,建立了不可达代码故障模型,...
- 夏玉辉张威万琳王洪艳
- 关键词：软件测试语法树控制流图
- 文献传递
