嵌入式软件测试开发环境的框架设计

采用软件设计上的复用思想,对嵌入式软件仿真测试环境进行框架的设计,可以使测试环境在不做大幅度修改的情况下适应不同的被测软件,节省设计的时间和费用.论述了由框架开发软件的过程,并把此过程应用于测试环境;对嵌入式软件仿真测试环境进行总体分析,确定了它的3个主要组成部分;归纳出作为测试环境重要组成部分的测试开发环境的基本功能,并使用专门针对框架开发的UML-F建模语言设计了一个框架;对已开发成功的测试开发环境框架,提出了具体的框架适配方案.本设计已在实际工程中得到了应用.     

嵌入式软件的动态测试

软件测试是软件质量保证的重要手段。构建了基于软件测试工具Testbed/RTInsight针对PC104系统的实时嵌入式软件测试环境。以俄罗斯方块的C程序为例,进行PC104系统的软件动态测试,最后给出了动态覆盖率及性能分析的实验结果,和性能分析能记录分析程序中每个函数的最大运行时间,最小运行时间,总的运行时间以及运行次数。     

基于全数字仿真的嵌入式软件测试技术

为了对实时嵌入式软件进行更好的测试,提出了一种基于全数字仿真的整体仿真技术.该项技术解决了现有软件测试环境中的两大功能性问题:通过将仿真时钟作为基准时间解决了断点影响实时信号处理的问题;通过提出的“动态桩”方法解决了单元测试时缺乏必要支持函数的问题.利用无损压缩原理对整个仿真测试平台进行优化,改变了仿真平台的低效问题,使这一技术走向实用化.整体仿真技术支持从单元测试到集成测试的整个软件测试过程,增强了在单元测试期间发现异常实时信号处理等方面软件问题的能力,显著提升集成测试的效率,并且实现了测试脚本的复用.该平台已经在某型号系列飞控软件的测试中得到应用.      

基于Eclipse的航天嵌入式软件集成 开发环境设计与实现

针对当前航天器软件研制过程中需要使用多种开发工具的问题,设计实现了集工程管理、代码编辑、语法检查、编译链接和调试测试于一体的航天嵌入式软件集成开发环境.研究成果已应用于航天器嵌入式软件的研发,缩短了软件研发周期并提高了软件质量,同时也为软件集成开发环境的研发提供借鉴.     

一个DIS实时通讯网络的设计与实现

以一个ＤＩＳ（分布交互仿真）实时网络的设计和开发过程为背景,研究了ＤＩＳ实时网络开发中的几个问题。在进行实时ＤＩＳ网络规划时,采用了多点传送的通讯服务方式,保证每个仿真应用只发送变化的信息,只处理与自身相关的信息。指出了进行数据的实时传输格式定义时应注意的几个问题,这些数据定义必须支持多种不同的操作系统和平台。最后给出了开发ＤＩＳ实时通讯软件的方法,包括通讯协议和应用编程接口的选择。     

航空电子WDM网络多信道强实时调度设计

对航空电子强实时网络,提出了一种广播选择型和波长路由型混合波分复用体系结构和其调度结构模型.针对航电多信道强实时消息,提出了多信道负载比例轮转调度方法,以消息的负载比例在多信道上分配权值.分析了子系统内部消息和子系统外部消息在体系结构中调度模式的不同,推导了经过单次调度的子系统内部消息和经多次调度的子系统外部消息的多信道强实时调度约束条件,从而满足了航电系统所有消息的端对端的实时传输.针对航电实际系统,从系统资源和稳定性等角度提出了关键性参数的设计优化方法.最后用一个航电消息集实例进行具体说明.     

实时嵌入式软件测试输入的可视化建模

实时嵌入式软件仿真测试是一种目前应用较广的测试技术.文中根据实时软件及其输入的特点,结合在软件工程领域有着广泛运用的统一建模语言(UML),提出了一套基于输入类图、输入顺序图并辅以输入描述的测试输入可视化建模方法,在此基础上可以自动生成测试脚本或测试数据,用于驱动实时嵌入式软件测试的进行.      

一种基于Web的工作流系统的设计与实现

工作流技术和应用软件系统的结合是计算机应用领域的一个研究方向.分析了当前基于Web的工作流技术的研发现状,提出了一种基于脚本解释、同应用数据类型无关的基于Web的工作流系统WebWFS,采用对象化的引擎结构、基于脚本语言的描述语言和IIS过滤器方式实现的引擎和Web应用之间的接口.为验证系统的实用性,以某大型应用系统中的计划管理为例,分析了系统的应用过程并对通过对比验证了系统的重用性和灵活性.      

实时仿真中的逼真虚拟地球实现

针对虚拟现实中真实感不强的问题,提出了一种具有高精度地表纹理的虚拟地球实现方法,构建了一个地表纹理像素精度高达21 600像素×10 800像素、地球表面轮廓凹凸效果和大气层光晕效果的虚拟地球.采用几何计算来构建地球形状模型,将地球按经纬度分成128块,分别计算每块区域顶点坐标、法向量、纹理坐标;采用混合纹理技术对地表纹理、云层纹理及云层法向量图进行3层纹理混合实现地球表面的云层和轮廓凹凸效果;采用实时移动与放缩带大气层纹理的正方形面板来实现大气光晕效果;采用可见性判断和纹理精度管理的方法,实时判断地球表面区域的可见性、选择不同精度纹理粘贴、剔除不可见区域,减少绘制开销.实验显示,该方法在加载1.02 GB纹理像素的情况下,达到了45帧/s的帧速率.      

计算机生成兵力模型的实时调度技术

针对计算机生成兵力系统在采用步长法推进逻辑时间时其实时性易受影响的问题,提出了将时间同步和模型调度进行解耦的实时推进方法,其中同步过程使用独立的线程读取本地时钟并通过运行支撑环境(RTI)驱动逻辑时间推进.同时提出了一种适合兵力模型的新的静态调度算法.该算法根据模型运行周期和系统步长划分调度表,并基于负载均衡的原则为模型分配仿真步长,具体包括3个处理过程:为仿真实体分配节点、产生初始调度表、运行时调整调度表.实验结果表明所提出的方法在保证良好的实时性基础上具有较小的开销和较高的处理器利用率.      

基于仿真器的嵌入式软件单元测试方法

介绍了一种基于仿真器的嵌入式软件测试方法,通过构造链接器分析目标文件,生成内存映像,加载到仿真器执行测试.该方法特别适合嵌入式软件的单元测试,支持对不完整的代码进行测试,同时引入了交互式脚本执行机制,支持采用高级脚本语言而不是嵌入式专用汇编语言设计桩函数和测试用例,降低了测试人员的培训代价.航天某院等单位的应用结果显示,该方法能有效提升嵌入式软件的单元测试效率,有较高的实际推广价值.     

一种嵌入式系统软件的非干涉测试方法

传统的嵌入式系统软件测试方法对被测试系统有一定的干涉效应,影响了测试结果的精确性和正确性.采用"非干涉测试方法"可以将这种影响消除,从而得到精确的测试结果,是一种准确反映被测试目标系统真实运行状态的测试方法.与传统的测试方法不同,该方法的特点在于对目标系统完全是非干涉的.通过分析非干涉测试方法的基本特征,提出了该方法的应用模型.在这个模型中,有3个组成部分是必需的,包括静态分析模块,动态分析模块和通过硬件采集目标系统状态信息的数据采集子系统.静态分析模块对被测试软件静态特征进行分析,指导硬件采集子系统如何采集以及动态分析模块如何解析采集的数据.在整个测试周期,"非干涉测试方法"不需要在目标软件中驻留任何仅用于测试的可执行代码.      

嵌入式软件可靠性仿真测试系统研究

 研究嵌入式软件可靠性仿真测试方法和环境.文中给出了仿真测试系统的体系结构,并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性,软件可靠性仿真测试的方法、测试环境配置、关键技术及其可行的解决方案作了探讨.特别地,给出了一个生成测试用例的新方法.     

无线网络弱硬实时调度算法

提出了一种结合信道状况考虑的(m, k)-firm弱硬实时调度算法.该算法将消息划分为强制(mandatory)和可选(optional)2种类型,并优先调度强制消息.消息的类型由线下静态分配和线上动态调整共同决定.其中,静态分配使用(m, k)-pattern分配消息类型,动态调整是在不违反(m, k)-firm约束的前提下尽力减少强制消息在差信道状况下传输.理论分析证明:①在假设所有强制消息都实时成功传输的前提下,经动态调整的消息集仍然满足(m, k)-firm;②在使用平均分布(m, k)-pattern时,动态调整之后不改变消息集中强制消息的N次重传可调度性.仿真结果表明,该算法与仅使用静态分配消息类型的算法比较,能够改善弱硬实时的可调度性能,节省无线网络中带宽和能耗的开销.      

软件可靠性验证测试最小测试量的必要条件

将统计学中样本容量的确定方法引入软件可靠性验证测试中,提出了软件可靠性验证测试最小测试量的必要条件的概念.推荐最小测试量的参考值,使其在满足第一类风险的情况下,第二类风险也不超过某一定值.分析了最小测试量的影响因素,对现有的软件可靠性验证测试方案进行了修正,给出在最小测试量指导下的软件可靠性验证测试流程,弥补了现有方法的判定结论并非在任何情况下都可信的不足.     

基础软件平台集成测试组合选择方法

针对基础软件平台集成测试组合爆炸的问题,研究了组合设计方法,提出了一种基于组合设计选择基础软件平台集成测试组合的方法.该方法将基础软件平台看作是一个多因素的系统,组成平台的每类基础软件用一个对应的因素变量来表示,每类基础软件的不同品牌产品表示为各因素变量的多种取值,构建相应的正交表或基于正交表的覆盖表,采用正交表或覆盖表来选择集成测试组合,按照选择的集成测试组合进行基础软件平台集成测试.应用实例表明该方法保证了集成测试组合对基础软件间两两交互的全覆盖,并有效地降低了集成测试组合数.     

可重构履带机器人的机构设计与控制方法实现

开发了用于完成复杂地形侦察作业的可重构履带机器人.从可重构机器人的特点出发,研究了模块化的机械电气结构和控制方法实现.设计实现的可重构机器人由4个基础运动模块,3个连杆模块和2个转动关节模块组成,通过各个模块的不同组合形式,实现了机器人构型的可重构.系统采用分布式控制体系,研究实现了机械构型发生改变时,基于ARM(Advanced RISC Microprocessor)的实时嵌入式控制系统的可重构.通过模拟楼宇内房间侦察作业,验证了可重构履带机器人具备复杂地形环境适应能力和简单方便的可重构性能.