杨朝红
- 作品数：83 被引量：215H指数：10
- 供职机构：装甲兵工程学院更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信兵器科学与技术军事更多>>
- 基于SVR的软件缺陷密度预测方法研究
- 的软件缺陷密度预测对提高软件测试效率和测试质量具有重要的意义.现有的利用机器学习方法构建的软件缺陷或缺陷密度预测模型大多基于测试过程和分类方法.文章分析了应用程序级、文件级、类级和函数级的44个度量元,通过Spearma...
- 张威马振宇卢庆龄杨朝红金丽亚
- 关键词：软件测试缺陷密度度量元支持向量回归
- 数据流分析被引量：3
- 2000年
- 介绍了数据流测试的几个相关概念,分析了汇编语言和高级语言C中哪些定值-引用关系可以静态确定,哪些必须动态确定,并提出了实现数据流分析的方法.
- 刘海燕宫云战杨朝红
- 关键词：软件测试数据流
- 软件测试用例自动生成方法及系统
- 本发明提供一种软件测试用例自动生成方法，该方法包括：A.读取待测软件，对待测软件源程序进行词法分析、语法分析及语义分析，生成待测软件的抽象语法树和控制流图；B.通过遍历所生成的抽象语法树，对待测软件源程序进行预处理：识别...
- 宫云战杨朝红陈俊亮肖庆张威王雅文
- 文献传递
- 运行时异常对软件静态测试的影响研究
- 提出一种结合运行时异常的静态测试方法,将故障检测及控制流扩展交替重复执行:故障检测导致控制流上添加代表运行时异常的边,额外添加的边又导致检测到更多的故障,这个过程重复迭代到控制流不再扩展为止.应用异常模式状态机描述运行时...
- 金大海宫云战杨朝红肖庆
- 文献传递
- 基于静态分析的面向故障测试方法
- 软件的故障模式就是总结那些经常出现、并具有一定模式的故障。经过大量的源码分析,我们总结出一些极具代表性的错误模式。在本文中,给出了整个测试环境的框架和组成,并以内存泄漏为例简要讨论了设计检测算法的原则和方法。我们已经基本...
- 肖庆杨朝红毕学军
- 关键词：软件测试内存泄漏
- 文献传递
- 一种基于故障模式状态机的测试方法被引量：15
- 2007年
- 基于状态机对故障模式进行了统一的描述,使得故障描述更准确、无二义性。为了避免路径组合爆炸,提出基于控制流的状态集迭代分析算法进行故障检测,可以使算法的计算复杂性由O(P)(P是路径数目)减少为O(N+E)N)(N是控制流图节点数,E是控制流图边数)。由于状态机的独立性,对控制流图进行一遍迭代可以同时计算多个故障模式,大大提高测试效率。同时,该方法还采用了带条件的状态计算可以较好地减少误报的情况。
- 肖庆杨朝红毕学军
- 关键词：软件测试数据流分析故障查找
- 多线程故障分析及解决方法
- 2007年
- 多线程技术在近年来得到了广泛的发展和应用,对其的测试分析具有重要的意义。本文提出了针对多线程的一些故障模式,介绍了现有的对多线程故障分析的几种方法,并对他们进行比较,以利于以后新的检测工具的生成,促进软件测试在多线程技术方面的发展。
- 刘玉璇宫云战杨朝红
- 关键词：多线程
- 基于模型的软件测试被引量：10
- 2007年
- 基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践,本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点,但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类,并对其故障密度等参数进行了初步的分析。最后,本文给出了一种基于模型的软件测试方法。
- 杨朝红宫云战肖庆毕学军
- 关键词：软件测试
- 一种程序中不可达路径的静态检测方法
- 本发明公开一种程序中不可达路径的静态检测方法，该方法包括：A、对待测试程序的函数单元进行词法分析、语法分析及语义分析，生成函数的控制流图；B、通过所述待测试程序中变量值范围的函数间分析得到被调用函数单元的函数摘要；C、在...
- 王雅文宫云战肖庆杨朝红金大海李青翠王思岚
- 文献传递
- 基于无线传感器网络的CAN总线互联
- 给出了 CAN 总线无线接入控制模块的电路设计,模块各主要组成部分的作用是：CAN 控制器 SJA1000,运行 CAN 协议,为无线传感器网络节点提供 CAN 总线服务;收发器 TJA1050,作为 CAN 控制器与物...
- 杨朝红霍景河肖庆王维峰王小振
- 关键词：无线通信无线传感器网络控制器局域网
- 文献传递
