梁洪波
- 作品数：7 被引量：16H指数：3
- 供职机构：第二炮兵工程学院更多>>
- 发文基金：第二炮兵科研项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于遗传算法的结构测试数据自动生成被引量：5
- 2009年
- 生成测试数据是软件测试的主要过程,将遗传算法引入到测试数据的自动生成中,重点介绍其生成过程,并对遗传操作进行改进,在一定程度上降低算法的过早收敛性,最后构建出基于遗传算法的测试数据生成模型。并用实例证明算法的高效性。
- 常瑞花张力慕晓冬帅桂华梁洪波
- 关键词：软件测试测试数据遗传算法
- 基于HLA的某型机动指挥分布式训练模拟系统设计被引量：4
- 2009年
- 在分析某型机动指挥系统的操作规程和部队需求的基础上,将训练模拟器和先进的计算机仿真技术结合起来,设计了基于HLA的训练、考核和管理仿真系统,以较小的代价解决部队的实际训练需求。针对该武器装备操作训练的特点,重点介绍了仿真联邦的设计以及成员对象模型SOM和联邦对象模型FOM的设计与实现。
- 夏薇慕晓冬魏鸿毅梁洪波
- 关键词：高层体系结构对象模型模板
- 一种嵌入式系统中软硬件故障的划分方法被引量：3
- 2009年
- 软硬件故障是嵌入式系统可靠性的关键问题之一,如何划分软硬件故障对于整个系统的可靠性研究来说是至关重要的,也是最基本的一步。给出了软硬件故障的基本定义,并与单纯的软件故障和单纯的硬件故障进行了对比,总结了软硬件故障的基本特点。在此基础上,归纳了几条软硬件故障的划分原则,提出了一种软硬件故障的划分流程,并通过形式化方法对某装备的具体软硬件故障进行了划分,为进一步的研究提供了有力的依据。
- 帅桂华慕晓冬梁洪波常瑞花
- 关键词：嵌入式系统软硬件故障
- 基于TEmb的嵌入式系统结构化测试研究被引量：1
- 2007年
- 目的:研究嵌入式软件测试,保证软件质量。方法:结合实例(某通信设备)分析研究嵌入式系统结构测试。结果:研究一种新的嵌入式系统测试方法——TEmb。结论:该方法为嵌入式软件结构测试研究提供了一种很好的参考的方法。
- 常瑞花张力帅桂华梁洪波
- 关键词：嵌入式软件测试测试数据
- 软件密集型装备故障的静态检测被引量：2
- 2008年
- 软件密集型装备是指软件和硬件紧密结合的装备,软件密集型装备中的故障多由软件与硬件相互作用引发。本文对程序流程违反硬件工作时序引起的故障进行了分析,并建立了故障模型,提出了一种静态故障检测方法,该方法通过对程序控制流进行分析,以检测程序流程是否违反硬件工作时序。
- 梁洪波慕晓冬帅桂华常瑞花
- 关键词：软件密集型装备控制流分析故障检测
- 基于VC++的数据流分析方法
- 2008年
- 数据流分析在编译系统的代码优化、软件故障检测以及程序切片中都起着非常关键的作用。本文介绍了数据流分析方法的基本概念和基本原理,介绍了数据流方程的到达-定义迭代算法,并提出了一种利用VC++工具实现数据流方程求解的方法。
- 梁洪波慕晓冬帅桂华常瑞花
- 关键词：数据流分析迭代算法
- 软件密集型装备中软硬件故障诊断模型的建立被引量：2
- 2008年
- 基于软件密集型装备,论文分析了软硬件故障表征及症状,给出了其数学描述,并在此基础上提出了一种软硬件故障诊断模型,给出了其故障诊断过程。
- 帅桂华慕晓冬梁洪波常瑞花
- 关键词：信息描述数学描述
