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

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

航天嵌入式软件缺陷的分类方法

软件缺陷分类是软件缺陷管理的基础.介绍了软件缺陷的概念,对几种软件缺陷分类方法进行了分析和比较.结合航天嵌入式软件研制流程和缺陷类型分析,提出了一种航天器嵌入式软件缺陷的分类方法,对于缺陷类型和实现与编码错误子类型给出了详细的分类方法.     

航天嵌入式软件浮点运算误差分析与控制

针对当前航天型号控制软件浮点运算中存在精度损失和误差传播的问题,从浮点数据结构、浮点精度损失、误差来源和度量几个方面进行了详细阐述,并结合具体案例,通过分析航天型号软件中常见浮点运算误差,为有效解决型号软件误差控制问题提供参考.     

实时嵌入式软件测试执行引擎的设计与实现

自动化的实时嵌入式软件测试中,测试描述执行系统的设计与实现是需要解决的关键问题之一.基于面向对象的思想,设计和实现了实时嵌入式软件测试描述语言的执行引擎.介绍了测试描述驱动的实时嵌入式软件自动化测试过程,并在此基础上提出了测试描述执行引擎的总体设计方案,阐述了编译过程和执行过程的实现方法,给出了符号表管理中哈希函数及其冲突的解决方法和基于SBRMS(Segment-Based Rate Monotonic Scheduling)调度策略的测试描述执行过程.对引擎的执行效率进行了评估和分析,结果表明,通过合理控制测试描述的规模和并发执行个数,测试描述执行引擎能够满足实时嵌入式软件自动化测试对实时、并发特性的要求,并具有良好的可移植性.     

基于工厂模式的OSLC数据集成接口设计与实现

复杂软件系统往往由不同地域的研发团队采用不同的开发工具来协同完成,研发过程中存在数据难以集成的问题.基于开放式生命周期协作服务(OSLC)规范来设计软件协同开发数据接口,有利于提高软件协同开发的效率.首次结合工厂模式和OSLC规范设计并实现数据集成接口,将不同工具的数据集成抽象成统一的公共接口,从而采用统一的数据接口和...     

RTEMS操作系统应用开发环境的设计与实现

在嵌入式应用开发中,实时操作系统越来越重要,其开发环境的优劣也成为评价的标准.RTEMS是一个开放源代码的实时嵌入式操作系统.通过建立交叉编译环境、实现远程下载、远程调试以及工程化管理和裁剪,完成了一个具有友好可视化用户界面、易于使用的RTEMS操作系统应用开发环境的设计,为开发人员提供了一个良好的工作平台,为编写大型的嵌入式软件提供了方便,为推广RTEMS的使用打下了基础.该系统已经用于教学和科研领域.      

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

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

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

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

基于UML模型的嵌入式软件测试用例生成方法

软件测试是保证嵌入式软件质量的重要手段之一,测试用例集的完备性是软件测试的关键因素.研究一种基于统一建模语言(UML)状态图生成测试用例集的方法,根据状态、迁移不变性原则以及动作映射,将UML状态图转换为扩展有限状态机(EFSM),采用广度优先搜索满足状态、迁移覆盖准则,由测试序列建立查找表生成测试用例集.最后给出实例说明该方法的可行性和有效性.     

基于32位SPARC处理器的JTAG仿真器设计与实现

在研究IEEE1149．1标准和JTAG调试原理的基础上,以SPARC处理器内嵌调试体系结构为核心,设计实现一种JTAG仿真器．JTAG仿真器通过以太网和串口与上位机通信,利用FPGA发送JTAG协议时序完成用户调试任务．该系统设计可扩展性好,成本低,且JTAG数据发送速率可达到8Mbit／s、性价比高．经测试,该系统能稳定、可靠工作．     

航天嵌入式软件动力学仿真环境的通用软件架构

针对航天嵌入式软件测试环境通用化需求,提出动力学软件的通用化设计方法.基于航天动力学仿真的特点,设计灵活、通用和易于扩展的软件框架、接口数据结构和接口函数,适用于在研型号的所有接口处理方式.该方法在实际型号工作中完成应用,显著提高了动力学软件的研制速度,动力学软件运行稳定,精度满足测试要求.     

基于模型架构的航天器控制软件研制方式研究

开展基于模型设计研究,旨在解决当前航天器控制软件研制所面临的需求描述准确性、设计验证充分性以及软件产品可靠性等问题.针对基于模型设计过程中的代码胶合接口复杂且操作繁琐问题,提出一种基于模型架构的航天器控制软件研制方式,搭建软件模型驱动框架,通过模型封装方式将既有代码资产或新编写代码嵌入到软件模型驱动框架,简化代码胶合过...     

基于DSP平台的航天器软件在轨维护实现方法研究*

摘要： DSP（数字信号处理器）在空间领域的应用越来越广泛,面对复杂的空间环境和长时间可靠运行的要求,基于DSP处理器平台的航天器软件,其在轨维护能力成为了一个迫切需要解决的问题.设计一种DSP软件的航天器在轨动态维护方案,并提出两种在轨注入指令码的生成方法.该在轨维部方案通过在航天器软件中预埋钩子功能,经遥控指令注入在轨维护指令码,实现在轨运行软件模块的动态替换功能.通过系统测试,证明该方案的可行性,具有良好的工程应用价值.     

UML软件开发过程和支持环境研究

从当前对软件工程过程的需求出发,结合软件工程领域的最新成果统一建模语言UML(Unified Modeling Language),重点讨论了适应需求变化的迭代式软件开发过程,提出了柔性软件开发模型.在此研究的基础上,设计了集成化UML软件开发环境的框架,指出其组成应包括UML可视化建模系统、UML模拟系统、UML代码生成系统和UML逆向变换系统4个部分,并提出了需要解决的问题.     

基于HLA的协同仿真运行管理集成环境

基于HLA的协同仿真运行管理集成环境主要解决复杂分布仿真系统设计中的仿真问题.通过定义支持仿真运行管理环境的开放接口,使所有符合仿真运行管理环境规范的仿真工具和仿真应用都可以在仿真运行管理环境的支持下,集成起来.协同仿真运行管理集成环境支持不同类型仿真应用子系统的互操作,支持仿真工具的集成,具有仿真运行管理、仿真时间管理、仿真数据管理等功能.协同仿真运行管理集成环境的应用领域十分广泛,具有很大的实用价值.      

导航信号IQ正交性测试软件设计与实现CSCD

针对通用的商用仪器不能适用现代导航信号IQ正交性的测试要求,开发一种基于Matlab GUI环境的导航信号IQ正交性测试软件。该软件通过网络接口控制高速数字示波器,对导航信号源的秒脉冲信号和导航信号进行双通道高速数据采样,根据秒脉冲信号确定导航信号起始点,截取导航信号数据,采用本地数字波形对导航信号进行匹配滤波和伪随机码同步等数字信号处理,精密估计I和Q支路载波初始相位,从而得到IQ正交性测试结果。软件具有界面友好,操作简单,显示直观等特点。仿真测试结果表明,在典型载噪比情况下,测试软件所得到的测试结果随机误差小于0.5°。     

ACARS报文通信服务器的设计与实现

着重介绍ACARS(飞机通信寻址与报告系统)报文通信服务器的软件设计方案及实现方法.ACARS报文通信服务器通信模式采用了客户/服务器(Client/Server)模式.为了提高系统的实时性和响应速度,ACARS报文通信服务器设计成多线程并发服务器.ACARS报文通信服务器实现了实时接收、发送和分发ACARS报文.该系统已经成功地应用于中国民航VHF(甚高频)数据通信网网络监控中心.      

基于IRIG-B码的运载火箭测发流程同步的软件设计方法

为保证运载火箭在零窗口发射,提出了一种基于IRIG-B码(以下简称B码) 的运载火箭测发流程自动执行的软件设计方法,以确保点火前10min至点火之间的各系统流程的同步。本方案通过UDP网络接收B码的时间,并通过五取三冗余算法,以更新本地的B码时间。随后,再根据预设的点火时间及冗余后的B码时间,计算倒计时,以控制口令流程自动执行。