Klocwork在军用软件测试中的应用

分析在软件测试工作中出现的大量重复性工作,引用软件工程化管理的自动化测试思维,自主定制测试脚本,在Windows系统及国产麒麟操作系统下使用Klocwork测试工具进行自动化测试设计、实现和应用,通过在项目开发过程中定期循环交替进行Klocwork的全面检查,发现集成测试和系统测试所不能发现的问题,提高项目代码的质量,降低整个测试过程的成本。     

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

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

航天测控软件测试过程新模型的应用研究

对几种传统的软件测试过程模型进行分析和比较,结合航天测控软件的特点,提出蝴蝶模型的软件测试新模型,对基于蝴蝶模型的航天测控软件测试过程进行探索和研究,旨在提高软件开发的质量和软件测试的效率.     

关于软件自动测试的实践——双星计划总线控制器软件测试中自动测试的应用

在双星计划中，有效载荷公用设备分系统中的总线控制器是系统中的主控单元．其软件是系统的核心软件。在总线控制器软件的配置项测试工作中．采用了一些软件测试自动化的思路和方法。在测试规划上按照测试用例数据自动生成、测试过程自动执行、测试结果自动分析等方面进行测试安排和实践。测试实践的结果表明。自动测试在提高测试效率和测试充分性，保证测试的质量等方面效果明显，但是在测试有效性上没有贡献。并且增加了测试的工作量。     

航天器电测中软件测试用例设计与实践

提出了在航天器电测中,以电测大纲和软件用户需求为依据,使用软件测试设计理论创建测试用例库,在此基础上完成了软件测试及实现方法。文章简介了应用背景,以某卫星为例,介绍了该方法应用到某卫星数管及热控软件测试的情况,并采用测试技术进行测试用例设计,最终生成航天器电测中软件测试用例库。此方法可以作为航天器AIT阶段软件测试设计的参考。     

LDRA TESTBED在航天软件测试中的应用

提出采用LDRA(Liverpool Data Research Associates Ltd.)TESTBED测试工具辅助完成高可靠性的军用软件测试工作,并通过测试实例阐述了该工具在航天软件测试中的应用方案。结果证明,合理使用该工具,能够有效避免人为失误,提高软件测试的效率和信息采集的准确度。     

可靠性工程师资格考试辅导教材之五——软件测试设计方法与策略

介绍了软件开发过程中5种常规的软件测试类型,并对软件测试设计方法、测试设计准则以及开发过程中和软件产品验收前使用的软件测试策略进行了归纳。考虑到实际软件测试管理的需要,在附录中对软件测试支持工具和数据库等进行了简要说明．     

石英加速度计重力场试验定位基准问题与解决方案

介绍了石英加速度计在1g场测试过程中存在的定位问题,并针对该问题设计、实现了一种专用定位螺钉,该设计方案可用于仪表的反复安装和定位,有助于提高误差系数的重复性测试精度.     

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

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

星载软件虚拟仿真测试平台设计与实现

针对测试工具无法对星载软件中涉及硬件操作的代码进行动态测试的技术难题,提出将测试工具与虚拟开发验证平台集成为虚拟仿真测试平台的解决方案。介绍了测试平台的原理及实现。某星载软件的单元和集成测试结果表明:该测试平台较好地解决了原测试工具无法对涉及硬件相关功能特性进行验证的问题,提高了星载软件测试的有效性。     

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

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

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

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

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

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

动力系统试验工艺参数监视系统设计

在火箭动力系统试验中,需要实时监测、显示和传输地面工艺系统和箭上状态参数.主要阐述了采用上下位机控制模式设计的工艺参数监视系统,介绍了系统硬件和软件设计.上位机硬件包括工控机和采集板卡,以LabVIEW语言开发软件设计,构建工艺状态总图;下位机采用PXI控制系统,加载采集板卡信息,通过光纤以太网与上位机进行通信.该系统监测参数达到300路,数据每100 ms更新一次,在多次型号动力试验中得到验证,能够准确地实现试验状态参数远距离采集、传输和显示,提高了试验安全性.     

一种行波管放大器测试软件的设计与实现

为解决现有自动测试系统通用性较差的问题，设计了一种基于三层架构的行波管放大器测试软件。软件采用表示层、业务逻辑层和数据访问层的三层架构模型。表示层用来输入产品信息和测试的数据展示，利用Matplotlib第三方依赖库实现测试数据的可视化分析；逻辑业务层实现测试项目的具体实现过程；数据访问层完成对所有仪器的控制和访问。系统的三层架构体现了“高内聚、低耦合”特性，结构清晰，可扩展性强，容易适应需求变化，方便快捷的扩展新的测试项目和新的测试仪器，提高了测试系统开发效率；软件已完成多个卫星型号的200余台行波管放大器测试，节省了30%测试时间，显著提高测试效率。     

应用UML建模航天测试数据库需求的过程

为有效地将面向对象方法及相应建模技术在航天软件应用中工程化,本文通过航天测试数据库开发实例,阐述了运用UML对面向对象软件进行需求定义和需求分析的过程。以该需求展开的设计及实现在型号试验中得到较好的验证,同时此过程方法对其他面向对象软件的需求开发也起到一定借鉴作用。     

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.     

软件可靠性的量化问题讨论

在航天器中,随着软件数量的增多,软件可靠性问题日趋尖锐。软件可靠性不能只停留在定性分析阶段,要建立明确的可靠性指标,要通过全任务剖面建立起来的测试用例,对给定软件作长时间的测试和可靠性评价,以便展现软件可靠性不断增长的过程。本文介绍软件可靠性量化的方法,供软件研制者参考。     

基于LDRA TESTBED的汇编语言软件测试方法研究

在航天型号软件的开发过程中 ,充分的测试是软件质量和可靠性的必要保证。本文以软件代码分析工具─LDBATESTBED为背景 ,详细阐述了汇编程序的单元测试方法 ,并研究了测试结果的分析方法及在软件质量度量方面的应用