一种高速系统级虚拟测试环境实现技术

提出一种针对航天嵌入式软件的系统级虚拟测试环境实现技术。通过该技术实现的系统级虚拟测试环境准确同步每个弹上处理器的运行时间,并模拟各处理器板之间的硬件接口,使基于多处理器的嵌入式软件测试摆脱了半实物环境的制约,提高了测试有效性,缩短了测试周期。该技术利用操作系统提供的进程间通讯机制,构造了可扩展的弹上软件系统级测试环境,并且在实现系统互连的前提下保证了虚拟环境执行的高效率。     

全数字仿真技术在航天型号软件测试中的应用

为了更好的进行航天软件的测试工作,解决硬件测试环境的局限性,提高测试技术水平,实现测试工作自动化,采用了全数字仿真技术搭建软件仿真测试环境的方法。本文描述了目前航天软件进行确认测试过程中使用的测试环境,介绍了硬件测试环境和用全数字仿真技术搭建的软件仿真测试环境在航天型号软件测试中的应用情况,重点通过对软、硬件测试环境的实际使用,对2种测试环境进行了分析,指出了软件仿真测试环境相对于硬件测试环境的优势。     

飞行控制软件全数字仿真测试环境的搭建与应用

全数字仿真测试环境是嵌入式软件测试的主要平台,从仿真对象上分为目标硬件环境和目标数据环境两个部分。文中详细阐述了利用数字芯片开发工具VTEST,搭建飞行控制软件全数字仿真测试环境的方法,并以某型号飞行控制软件确认测试为背景,介绍了全数字仿真测试环境的应用。利用全数字仿真测试环境能够进行软件功能测试、结构测试、边界值测试,具有较高的测试效率,提高了测试的自动化程度。     

航天设备嵌入式软件研制工程化实践

介绍航天设备嵌入式软件工程的研制方法和步骤 ,软件需求分析 ,软件测试方法和工具 ,软件分阶段研制的必要性 ,以及航天设备软件工程研制的经验 ,并对今后工作提出建议     

一种面向多虚拟处理器的程序条件断点技术

考虑到载人航天、探月工程中嵌入式软件的编译器存在差异，编译器生成的目标文件格式和嵌入式处理器的不同，基于嵌入式处理器虚拟化技术，提出一种通用的调试信息存储结构，支持不同目标文件调试信息的通用存储；提出一种条件断点控制技术和一种通用条件断点控制模型，实现了面向多种架构虚拟处理器的程序条件断点控制；完成调试器DIP开发和功能测试。将以上技术应用于载人航天、探月工程中多个安全关键嵌入式软件测试，发现了嵌入式软件中的深层软件问题。     

全数字仿真测试环境在星载嵌入式软件测试中的应用

利用全数字仿真测试环境对嵌入式软件进行测试,是一种有效的测试方法.通过在PC机上仿真模拟嵌入式软件的外围接口设备,可以快速搭建仿真测试环境,在软件研发阶段即可同时引入测试,同时,可以利用自动比对技术,实现数据输出的正确性判断,提高测试效率和软件质量.     

浅谈软件研制质量与标准化工作

概述计算机技术在航天型号研制中的应用及其硬件、软件的发展情况,分析了目前航天系统工程研制中软件开发过程存在的问题,强调指出提高软件研制质量必须实施各项软件标准和规范,认真做好标准化工作。     

反汇编技术在嵌入式软件安全性分析中的应用

分析了航天型号嵌入式软件代码安全性分析中对目标码进行反汇编的必要性,总结了两种静态反汇编技术的优缺点,提出了适用于航天型号嵌入式软件代码安全性分析的反汇编算法,并介绍了结合编译信息的反汇编算法在软件安全性分析中的应用。     

航天型号软件研制过程中的并行工程

分析了航天型号软件研制过程的现状和弊病,阐述了航天型号软件研制过程是并行工程的初步内容,介绍了支持并行工程的工具环境,提出了实施并行工程的初步目标。     

航天软、硬件产品质量管理标准的对此

通过对航天软件产品与航天硬件产品在研制阶段划分、文档与文件管理、评审、状态管理与配置管理、交付等方面技术要求与标准规范进行对比分析,认为软件产品和硬件产品具有相同或相似的研制过程,航天软件产品可以借鉴航天硬件产品研制成熟的管理要求与规范,完善现有软件产品文档管理、库管理等相关要求和标准,推进软件工程化的落实,确保航天软件产品的研制质量。     

多处理器嵌入式软件的全数字仿真测试平台开发技术

研究了针对多处理器嵌入式软件的全数字仿真测试平台开发技术,该技术基于DDS(数据分发服务),设计实现了基于通道的系统模型,通过将被测软件分布在局域网多个节点,实现了基于多处理器嵌入式软件的全数字仿真测试平台。该平台准确同步每个核的运行时间,并模拟各处理器板之间的硬件接口,使基于多处理器的嵌入式软件测试摆脱了半实物环境的制约,提高了测试有效性,缩短了测试周期。     

通用嵌入式软件仿真测试环境GESTE2.0隆重发布

由中航一集团计算机软件可靠性管理与测评中心(CATC)自行研发、拥有独立知识产权的通用嵌入式软件仿真测试环境(GESTE)在京隆重发布二代产品——GESTE2.0。GESTE的成功面市打破了国外对我国在相关领域的技术垄断和封锁,填补了我国实时嵌入式软件缺乏通用仿真测试环境的空白,对于相关领域之快速定制需求亦具有非凡的革新意义。     

基于功能节点识别和路径追踪的软件潜在分析

以航天型号实时嵌入式软件为背景，阐述了基于功能节点识别和路径追踪的软件潜在分析方式的基本原理，并结合实际工程应用，介绍了该方法的应用步骤和效果.     

软件需求中的可靠性策略

软件可靠性要求的实现应是从系统分析和需求阶段就开始进行考虑，通过软件的需求、设计、编码、测试、维护以及相应的组织和管理来保证。文中通过对时钟结构化的分析，试图就航天嵌入式软件谈了在需求分析阶段中软件可靠性策略与体会，同时论述了在航天工程中软件接口分析的合理性与增强软件可靠性的意义。     

航天嵌入式软件的单元测试方法探讨

合理有效的软件测试手段对于提高航天嵌入式软件的质量具有很重要的意义。文章从单元测试的实践出发,基于软件测试理论,对单元测试的方法和过程进行了分析,并简单介绍了某型号软件的单元测试情况。     

软件产品化在航天领域的应用与管理

软件产品化是提高软件研制效率和产品成熟度的重要途径。通过推动航天型号软件产品化研制,形成软件产品资源库,实现建立"一次研制,重复应用"的航天型号软件研制模式。重点阐述了航天型号软件产品化的研制思路及其在型号应用过程中的管理要求,并介绍了北京控制工程研究所在型号软件产品化研制方面的探索和实践。     

TMS320VC33虚拟内核流水线仿真优化设计方法研究

搭建全数字仿真测试环境的关键是虚拟内核的研制.流水线仿真优化设计对虚拟内核运行效率的提高至关重要.本文研究了TMS320VC33虚拟内核流水线仿真优化设计方法,基于TMS320VC33流水线工作原理运用译码缓存策略和预译码策略对流水线仿真过程进行优化,并提出了一种流水线仿真优化设计整体方案.     

测试发射控制软件确认测试环境的实现

测试发射控制软件确认测试环境以某型号的测试发射控制软件为对象 ,采用基于功能的测试方法和确认测试技术加以实现。本文介绍了被测软件的体系结构和运行环境 ,阐述了被测软件确认测试方案的设计思想及测试环境的具体实现     

TlcsVTE原型中功能覆盖率算法的实现

TlcsVTE原型是针对某型号上位测控软件研制的测试环境,旨在对该型号的上位测控软件进行确认测试。本文重点阐述TlcsVTE中功能覆盖率算法的实现思路。该算法是基于被测软件运行环境的体系结构以及被测软件的功能分解进行设计的。该原型中采用了本文所述的算法辅助测试人员对被测软件进行功能测试以及覆盖率的实时统计。应用该原型测试被测软件,功能覆盖率可达100%。     

国外航天软件故障原因分析

介绍了包括阿里安-5火箭、＂火星气候轨道器＂、＂火星极地着陆器＂在内的几个国外航天器和运载器发生的在轨故障,并从技术和管理方面分析了这些故障中与软件相关的原因。针对技术方面,分析了国外航天软件研制过程中在软件需求分析、软件复杂度、软件重用、软件安全性设计准则、质量保证及评审、系统安全性设计、测试及仿真环境缺陷等方面存在的问题;针对管理方面,分析了责任和权力划分、沟通渠道等方面存在的问题。文章最后给出了美国国家航空航天局专家针对这些问题提出的改进建议,提出了针对我国航天软件研制过程的启示和建议,如加强团队之间的沟通,提高评审效率。