软件可靠性度量在航天控制软件中的应用

在软件开发中如何使用软件可靠性度量是航天软件开发过程中亟待解决的问题,为了解决这个问题,本文对11个软件可靠性度量在航天某型号控制软件中进行了应用,度量的结果验证了推荐出的软件可靠性度量具有可操作性和实用性。     

控制系统飞行控制软件重用技术研究

探讨了航天型号控制系统飞行控制软件的重用技术。结合航天型号控制系统飞行控制软件的研制现状,针对现行软件开发过程中存在的问题,按照代码重用、任务重用以及代码自动生成的思路阐述了飞行控制软件的重用应用。     

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

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

基于代码自动生成的计算机辅助系统设计与实现

主要探讨航天型号中的时序控制软件的辅助生成,结合航天型号时序控制软件的研制现状,针对现行软件研制过程中存在的问题,设计实现基于自动生成的计算机辅助系统,代替人工生成模式,切实提高航天工程中软件的研发效率和可靠性。     

SFMEA方法在飞行控制软件中的应用

为提高飞行控制软件的安全性,分析了飞行控制软件的安全性薄弱环节,探讨了影响飞行控制软件安全性的隐患。简要阐述了软件失效模式、影响(SFMEA)方法,给出软件失效模式分类的方法以及飞行控制软件常见的失效模式,给出适用于航天飞行控制软件的软件危害性等级,结合某型号飞行控制软件进行了SFMEA方法的尝试性应用,分析了软件失效的局部影响和最终影响,形成了52个SFMEA的分析表格,总结了302个飞行控制软件的失效模式,发现了部分安全性薄弱环节,并提出了相应的改进措施,结果表明,SFMEA方法对提高飞行控制软件的安全性有一定的工程价值。     

IEEE Std 1061《IEEE软件质量度量方法学标准》简介

简要介绍了IEEEStd 10 6 1- 92《IEEE软件质量度量方法学标准》的适用范围 ,重点介绍了软件质量度量的目的、软件质量度量框架、软件质量度量方法学及软件度量描述等主要内容     

航天应急故障操作程序复杂度度量方法研究

通过对航天应急故障操作程序进行复杂度定量,可避免操作程序设计不当导致的工作负荷增加,为航天员训练时间分配、以及协同工作负荷分配提供量化依据.通过进行航天应急故障操作程序复杂度分析,提出四个复杂度度量子指标,这些指标分别为操作步骤规模复杂度、操作逻辑复杂度、操作仪器信息复杂度和任务信息复杂度,可以从不同角度为操作复杂度定量.然后采用软件领域用以评估软件程序复杂度的熵值法,分别对四个子指标进行度量,并汇总得到操作复杂度度量值.最后通过航天员训练数据对比,对所提出的复杂度度量方法进行验证.回归结果表明,航天应急故障操作复杂度度量方法是有效的,其度量值可以预测航天应急故障操作的操作时间.     

航天器软件质量模型及度量指标

分析了航天器软件的研制技术流程和关注的质量特性,提出了航天器软件质量模型,明确了质量特性和子特性,结合航天器软件研制过程中产生的可度量数据,提出了各质量特性的度量指标。     

俄罗斯可靠性度量指标和评价方法

介绍了俄罗斯TOCT可靠性标准体系及其内容,并对俄罗斯可靠性度量指标和评价方法进行了详细的解读,希望对提高我国可靠性技术水平,促进航天器研制的可靠性工作有益。     

基于系统状态分析的软件可靠性测试方法

航天工程类软件由于其应用环境的特殊性,对软件的可靠性和安全性非常重视.但是在航天型号中应用常规软件可靠性测试方法对工程软件进行可靠性评估却存在许多实际困难,本文介绍了一种基于系统状态分析的软件可靠性测试方法,为在航天型号工程类软件中开展可靠性测试提供了一条可实现途径.     

控制软件可靠性设计和评估方法

介绍软件可靠性的定义 ,探讨软件失效的机理并阐述设计一个可靠控制软件的原则 ,提出一种基于三角形模糊数算术运算的软件可靠性评估方法。     

从计算机系统角度分析软件可靠性

从硬／软件综合的角度对计算机进行可靠性研究具有非常重要的意义。本文作者对硬、软件相互作用进行了明确的划分和定义。并指出，是现行的软件可靠性黑箱分析方法禁锢了人们从更深层次对于硬／软件系统可靠性进行研究。基于上述认识，本文提出了解决软件分解单元之间耦合问题的办法。进而提出了一种新的软件可靠性分析方法，为对计算机系统进行可靠性分析时，考虑硬、软件之间的复杂的相关作用提供了基础，从而为更准确地评估计算机系统的可靠性提供了可能。文中分析了一个飞行控制系统实例。     

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

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

软件可靠性修改的Schneidewind增长模型的特性分析

本文对软件可靠性修改的Ｓｃｈｎｅｉｄｅｗｉｎｄ增长模型进行了详细的数值特性分析，剖析了该模型的参数解结构，从而构造了模型参数估计的高效求解算法，并进行了相应的数值实验。     

一种基于模型的飞行控制软件可靠性分析方法

将软件可靠性参数估计的方法引入到航天自动控制领域,在探讨了模型可靠性指标选取原则和评价方法的基础上,提出了一种基于飞行控制软件可靠性模型综合分析的方法。     

星载软件可靠性设计方法

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

提高武器系统软件可靠性的技术途径

根据国内外软件生产现状及发展趋势，分析了系统软件不可靠的原因，并根据工程实践，阐明了提高武器系统软件可靠性的技术途径。     

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

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

软件技术状态检查工具的研究

软件技术状态管理是保证软件技术状态的正确性、控制软件技术状态的不受控性、提高软件可靠性的有效技术保障 ,是软件质量管理的一个重要环节。本文简要介绍了该工具的开发背景、设计思想、功能、优点及应用前景