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

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

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

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

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

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

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

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

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

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

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

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

星载软件可靠性设计方法

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

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

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

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

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

实时软件可靠性与软件测试方法

从工程应用角度讨论计算机实时软件的可靠性问题。阐述武器系统实时软件的特点和实时软件可靠性设计技术。介绍软件测试方法。     

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

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

基于智能优化算法的软件测试数据生成模型及其应用研究

本文首先总结了基于智能优化算法生成软件测试数据的研究现状。然后提出了一种通用的基于智能优化算法的软件测试数据生成模型,并将该模型应用在了基于遗传算法的测试数据生成上。实验表明,该模型具有很强的实用性,能够提高软件测试的覆盖率,奠定了软件测试数据生成的理论基础。最后总结全文并对未来的研究方向做出展望。     

海军战术导弹作战软件仿真测试平台设计

根据新一代武器系统和计算机技术的发展，结合靶场试验地特点，提出了建立海上靶场独立的软件测试评估系统，测试和评估我海军新一代武器系统的作战软件的构想，它的实现将为武器系统的鉴定提供重要依据。     

软件注入缺陷典型案例

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

军用软件产品质量管理探讨

软件工程管理的目标是生产出高质量的软件，主要介绍了质量评估，软件测试和技术评审几个方面的内容，并对软件进行质量保证如何进行作了探讨。     

基于能双理论的软件可靠性建模

提出了在传统在NHPP软件可靠性模型的基础上加以改进的思路，从能双可靠性理论出发，建立了一种面向软件计失效数的可靠性模型，与现有的模型相比，更能体现软件测试及运行中可能出现的复杂的模糊因素。     

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

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

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

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

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

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

规范化软件测试过程浅析

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