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

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

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

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

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

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

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

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

飞行控制软件测试用例辅助设计系统原型的设计与实现

BranchTCase原型是针对飞行控制软件中分支结构的测试用例辅助生成系统,它可以分析统计被测软件中的分支结构,生成覆盖所有可达分支的执行路径集合,从而辅助测试人员基于分支覆盖设计测试用例。BranchTCase采用纯静态技术,不依赖动态插装,通过扫描被测软件的源代码,得到软件的基本静态信息,并构造程序的执行流程图,最后遍历得到执行路径集合。本文阐述了BranchTCase原型的设计思路,讨论了其中的静态扫描分析、结构分析、分支结构遍历等主要算法。最后以某型号飞行控制软件为分析实例,得到了覆盖其所有分支结构的执行路径集合。     

舰载武器多通道快速测试发射系统方案研究

为满足舰艇空间窄小的要求,地面测发控系统设备的结构体积受到严格限制.本文阐述了一种舰载武器多通道快速测试发射的测发控系统方案,以实现武器的点选、组选和全选,同时对多发武器进行监控、测试,并快速实施发射.该方案的应用,将大大提高舰载武器的战斗能力和反应速度,给我国武器发射技术带来飞速发展.     

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

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

计算机自动测试与诊断技术在航天领域中的应用

一、前言 随着计算机的发展,故障测试与故障诊断实现自动化已经成为可能。过去靠人工、仪表实现的故障检测,早已由计算机辅助测试(CAT—Computer Aided Test)系统替代。计算机辅助测试系统大都通过计算机和可编程的仪器、仪表组合成较庞大的测试系统,通过软件实现对被测部件或被测系统的测试,提供了比人工测试更为准确、更加迅速的测试     

战略导弹测试发射控制系统的发展和导弹模拟器的应用

战略导弹武器系统采用了快速机动使用方式,控制系统实现了全数控方案,地面各种勤务工作的设备做到了智能化.对地面测试发射控制系统的需求发生了变化,测控系统采用了"弹测"和"地测"相结合,以地面计算机控制为主的体制,采用了分布式计算机网络结构方案,自动化测试系统在"三化"方面也有很大进展.测控系统功能扩大了,系统更为复杂,测控软件在配套设备中的份量越来越大,越显重要,测控系统自检尤其是测控软件的测试尤显突出,文中提出采用导弹模拟器解决测控系统自检和测控软件测试问题,还可作为部队模拟训练装置,提出导弹模拟器的组成和设计方法以及使用问题.     

应用虚拟测试技术提升航天嵌入式软件可信性

将虚拟测试环境应用于航天嵌入式软件的研制过程,可有效解决航天嵌入式软件研制过分依赖硬件环境造成的软件研制受限于硬件研制、测试不充分等问题,对于提高软件的可信性具有重要意义。本文针对航天嵌入式软件领域,比较了目前基于真实目标机的环境与虚拟环境的优缺点,并总结了国内外航天企业对虚拟测试环境技术的研究和应用情况。     

嵌入式操作系统VxWorks在导弹武器测试发射控制领域的可行性应用研究

为了实现武器系统对测试发控领域软件的系统需求和适应测试发控系统硬件技术的可持续发展 ,本文通过对若干嵌入式实时操作系统进行调研和比较 ,选择了VxWorks作为武器系统测试发控领域软件开发平台 ,并通过一系列试验验证了其工程应用的可行性。     

飞行控制软件可靠性设计探讨

控制系统飞行软件 (飞行控制软件 )是关系到弹箭飞行成败的关键部分 ,本文从一些实例出发对如何提高飞行控制软件设计的可靠性做了探讨。     

基于StP CASE工具的软件自动测试环境的设计与实现

在软件开发过程中,软件测试费用占总成本的50％左右,为降低测试费用和进一步提高软件测试质量,软件测试自动化是必要的。本文以 StP CASE为例,构造了基于StP的自动测试环境,并通过实例进行了验证。研究表明,这种自动测试环境具有测试效率高、可靠性好、易维护等优点,对今后开展这方面的测试研究具有一定的参考价值。     

面向对象软件在工具辅助下确认测试的方法与实践

以某一型号综合测试管理软件的确认测试为例 ,阐述了在TESTBED软件测试工具辅助下 ,对面向对象的软件进行确认测试的实践活动     

发动机试车控制软件工程化及质量管理

为提高发动机试车控制软件的可靠性,通过需求分析、概要设计、详细设计、软件测试等步骤实现了软件开发工程化。结合试验控制软件研制和使用特点,对软件质量管理的具体步骤,即从设计评审、测试、验证、文档及技术状态管理等方面对软件开发过程进行监督与管理,实现了软件开发的质量控制,达到了软件设计的透明性、继承性及高可靠性。     

基于PXI总线技术的运载火箭测试发射控制系统研究

简要介绍了PXI总线技术的发展情况,阐明了PXI技术的优越性及其在军事航天领域应用的重要意义。参考现有产品资料,设计了基于PXI总线技术的运载火箭测试发射控制系统的硬件组成和软件框架。该技术的应用将进一步推动运载火箭测试发射系统的智能化、通用化和小型化,从而提高运载火箭的整体性能。     

规范化软件测试过程浅析

软件测试是提高软件质量的重要手段,规范化软件测试过程成为提高软件测试质量的必经之路。本文将测试过程分解为项目策划、测试需求分析、测试设计和实现、测试环境准备、测试执行和测试总结6个阶段,并对每一阶段提出具体要求,以实现整个测试过程的规范化。