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

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

规范化软件测试过程浅析

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

基于国产操作系统的软件测试方法研究

国内软件研发平台的国产化趋势,使提高国产操作系统平台下软件的质量已经成为软件测试领域所面临问题的重中之重。通过对中标麒麟操作系统(Kylin)和锐华嵌入式实时操作系统(ReWorks)的发展现状与使用特点的介绍,结合雷达实际人机软件及数据处理软件的开发环境,对基于国产操作系统的软件测试方法进行研究,分析测试结果,总结软件测试方法设计、应用及实践的过程。     

如何设计一个易测试的软件

软件测试性设计是减少软件测试复杂性的重要手段，文中给出了软件测试性设计的分析与计算方法，并据此给出了软件测试性设计的基本原则。     

航天软件测试用例设计方法应用

介绍了航天软件测试中常用的测试用例设计方法,描述了航天软件常采用的可靠性措施(如“三取二”冗余设计、时序冗余控制等),提出了采用等价类划分和因果图进行用例设计的方法,给出了其工程应用实例,并总结了软件测试需求分析、用例设计的基本思路和步骤。     

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

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

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

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

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

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

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

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

测控软件测试用例库管理系统的研发

遥测遥控系统在航天领域中的作用举足轻重,测控系统软件测试的特点通常是项目多、周期短、要求高。为有效管理和快速复用历史测控软件项目的测试用例,提高软件测试工作的效率和质量,本文构建了测控软件测试用例数据库,并设计实现了软件测试用例库管理系统,已将其应用于多个测控系统工程项目,取得了良好的效果。     

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

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

基于故障注入技术的航天器系统级软件测试方法研究

针对航天器系统级软件故障模式测试特点及难点,对故障注入技术在航天器系统级软件测试的工程应用进行经验总结。详细说明了系统级软件故障模式测试的基本原理,从应用对象的角度出发将故障注入技术进行合理分类,提出了3种适用于航天器系统级故障注入技术。根据现有工程实践经验,结合系统级故障模式测试设计理论,对系统级故障注入技术从实现原理、地面系统连接方式、故障注入与系统响应时序关系等方面进行了研究,并在此基础上提出了航天器系统级星载软件故障模式测试验证的具体应用方法、适用场景及优缺点,可为航天器系统级电测中的软件测试设计提供参考。     

航天系统软件测试的质量控制

分析了软件测试质量控制要素，并给出了提高软件测试有效性的系统方法。该方法在长征2F运载火箭故障检测处理系统软件测试项目中发挥了重要作用。     

航天远洋测控软件质量模糊综合评估模型研究

研究层次分析法和模糊评判法在航天远洋测控软件测试质量评估中的应用问题。根据建立的航天远洋测控软件测试质量综合评估指标体系,采用基于AHP-Fuzzy方法建立的模糊综合评判模型,对型号任务软件测试质量进行分析评估。应用结果表明,该方法可以较为全面地评估航天远洋测控软件测试质量,而且结果合理。     

航天器系统级测试现状分析

从测试方法、测试计划、测试模式、测试用例设计方法、测试工具等方面对航天器系统级测试进行了探讨。测试方法主要包括测试覆盖性分析法、自上而下或自下而上的测试方法、面向对象或面向过程的测试方法等;测试计划参考了NASA航天器的分类方法,包括对低成本卫星、商业卫星及载人航天器等三大类航天器进行了论述;测试模式包括任务组织方式、测试系统部署方式及人员配置等;测试用例设计方法包括软件测试方法、基于模型的测试方法及试验测试方法等;测试工具主要包括手动工具、自动化工具、信息化管理工具等三个发展阶段。此外,文章还对当前航天器系统级测试的现状及面临的问题进行了分析。     

软件注入缺陷典型案例

<正>软件测试是能力成熟度模型集成(CMMI,Capability Maturity Model Integration)中验证(Ver,Verification)与确认(Val,Validation)过程域的重要表现形式,是保障软件可靠性的重要手段。近年来,随着软件规模的增大和复杂程度的不断提高,软件测试技术也不断发展,现有测     

军用软件研制质量管理分析

结合军用软件研制质量管理的实际，进行了软件质量管理分析，对软件能力成熟度模型、个体软件过程、团体软件过程等方面策略进行阐述：同时对贯彻质量管理原则、集成更多领域知识、创新管理技术方式、推进过程定量管理、强化军用软件测试、实施软件试用和使用等方面措施进行了清晰的论述，以促进军用软件研制质量管理的发展。     

星载软件可靠性设计方法

分析了星载软件及其可靠性的特点，针对空间环境对星载软件的影响，提出了软件工程化、模块化和容错设计、遥测遥控处理，以及异常检查等提高软件可靠性的设计措施，并说明了软件测试对提高可靠性的重要性。     

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

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

基于正交试验法的故障诊断软件测试方法

针对故障诊断软件代码量大、推理规则多及测试耗时大的问题,提出了基于正交试验法提取有代表性推理规则的测试方法。分析了故障诊断软件的需求特性,介绍了正交试验法的理论依据,阐述了使用正交试验法在故障诊断软件测试中提取代表性推理规则的方法,并说明了根据提取出来的推理规则进行测试用例设计的思路和具体实施效果。