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

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

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

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

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

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

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

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

谈谈软件的可靠性问题(续)

二、软件可靠性 (四)验证阶段验证阶段是软件开发的最后一个阶段,软件验证就是采用各种方法分析和测试代码,以确定代码与需求说明之间的符合程度.这阶段所进行的活动,对保证软件的质量起着举足轻重的作用. 验证可分为测试、排错、证明、验证、确认、鉴定、接收等阶段.     

飞行软件测试用例设计方法及应用

飞行软件测试用例设计首先按等价类划分法的原理划分等价类，并结合边值分析和因果图等方法设计测试用例，能较好地达到软件功能覆盖准则要求，文中结合飞行软件的特点拓宽了等价类的内涵，使等价类划分法成为飞行软件测试用例设计的普遍适用的方法，从而为习行软件确认测试的充分必提供技术和方法的保证。     

星载计算机软件自动化测试平台研究

自动化测试可提高测试效率和测试的准确性,尤其对于大规模软件的增量测试和回归测试。自动软件测试则作为一个重要的控制机制,确保软件每次重构的准确性与稳定性。文章的主要工作是通过实践构建了适用于星载计算机软件的自动化测试平台,实际应用表明该平台提高了软件的测试效率,降低了测试成本。     

文献“Software Testing in Space Programs”[1]点评

作者以他个人的观点,对该文献中重要部分进行了点评,指出:空间软件地面可靠性测试尽管困难重重且有诸多限制,但不能放松甚至放弃执行现有的软件地面测试标准;应从"精神号"火星探测器飞行失败中吸取教训,加强软件地面测试,包括传统软件黑盒和白盒测试方法中的典型测试项目(如:健壮测试、应力测试、极值测试、随机测试等);已经公布的新软件研发标准——Aerospace Report No.TOR-2004(3909)-3537,Software Development Standard for Space Systems值得我们参考。     

海上测量船测控软件测试系统研究与应用

目前,已建立一套完整的由远望号测量船仿真测试软件和先进的测试工具组成的海上测控软件测试系统。 完成远望号测量船中心机系统实时应用软件研制过程中的单元测试、部件测试、配置项测试、系统测试及确认测试,还对 其它海上试验任务的应用软件进行全面和全过程测试,该测试系统性能稳定、功能全面。     

一种双组元推进系统极性测试方法及应用

针对航天器推进系统极性测试方法不完善的问题,通过对推进系统极性测试需求的分析,提出了推进系统极性测试确认方法,进而设计了一种双组元推进极性测试系统,并通过地面工艺试验,确定了测试关键参数及采集工装的有效性。该方法已成功应用于航天器测试任务,充分验证了推进极性测试方法及测试系统的正确性、有效性。     

Design and performance test of spacecraft test and operation software

Main test processor (MTP) software is the key element of Electrical Ground Support Equipment (EGSE) for spacecraft test and operation used in the Chinese Academy of Space Technology (CAST) for years without innovation. With the increasing demand for a more efficient and agile MTP software, the new MTP software was developed. It adopts layered and plug-in based software architecture, whose core runtime server provides message queue management, share memory management and process management services and forms the framework for a configurable and open architecture system. To investigate the MTP software's performance, the test case of network response time, test sequence management capability and data-processing capability was introduced in detail. Test results show that the MTP software is common and has higher performance than the legacy one.     

规范化软件测试过程浅析

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

航天器测试控制语言设计与实现方法研究

提出以航天器测试系统监控管理软件为运行环境的结构化航天器测试控制语言的语句定义和采用专用编译器、解释器实现的一种方法,可作为研制测试语言和在测试系统监控管理运行软件环境中增强测试序列管理和功能的设计参考。     

固体火箭发动机试验数据分析处理及管理系统

介绍了一种固体火箭发动机试验数据分析处理及管理系统。该系统具有标定、数据采集、试验数据分析处理、发动机性能预估、参数辨识及试验数据库管理功能。由于采用了发动性能预估和参数辨识的方法,使用该软件可以有效地提高试验效率和降低试验成本。     

基于LabWindows动态链接库技术的航天器有效载荷通用测试系统的开发研究

航天器有效载荷产品的生产研制具有种类多、批次多、批量小等特点。为了提升有效载荷产品自动测试系统的软件灵活性,以应对测试项目复杂性增加所带来的挑战,提出了一种基于动态链接库技术的测试系统软件架构。该架构具备线程管理、仪器资源管理和测试序列编辑的功能,通过三层动态链接库的关联结构设计实现了自动测试系统中用户管理、业务逻辑和仪器控制的软件功能,同时给出了系统架构中各个模块的详细设计方案,最后通过产品测试验证了系统功能。提出的基于动态链接库技术组成的系统架构具有更小的程序粒度和良好的扩展性。通过三层动态链接库模块之间的灵活配置与重构,使得测试系统软件整体功能得到不断升级,极大地满足了当前航天有效载荷产品生产研制对于集成测试系统的需求,从而为航天器测试系统架构设计提供了的一种新思路。     

一个ATS平行测试程序的实现

自动测试系统(ATS)测试软件通常设计为一系列的数据采集、计算、显示(打印)的组合串,此法虽能完成给定的任务,但效率较低。本文介绍了一个ATS测试软件的平行程序设计方法,文中讨论了该软件的程序结构、通讯和同步,也介绍了ATS的系统配置、被测仪表特点及特殊要求。     

某型号火箭发动机高空模拟试验中扩压器的 数值计算与试验比较

文章利用FLUENT软件对某型号液氢/液氧火箭发动机在高空模拟引射试验中扩压器进行数值计算,并与试验测量数据进行比较。用Visual C#.NET软件编制了二次喉道扩压器引射过程计算程序,将该程序的计算结果与FLUENT软件的数值计算结果进行了比较。利用FLUENT软件对二次喉道扩压器在不同入口长度、不同收缩比和长径比情况下的流场情况进行了计算,分析了对发动机启动的影响;并把数值计算结果同吹风试验的数据进行了比较,结果表明数值计算具有较高的置信度。