卫星可靠性技术--计算机辅助可靠性分析

介绍了自行开发的计算机辅助可靠性设计和分析软件(CCARS)的特点及其应用.CXARS软件的主要功能包括可靠性建模、预计与分配,故障模式影响分析及故障树分析等几项常用的可靠性分析功能.它们既可作为单一功能的软件独立运行,又可统一于软件包整体框架下使用.本文对各功能的特殊性作相应介绍,并阐述设计过程中的关键技术.最后介绍了CCARS在航天及核工业等领域的应用.     

一种基于更动影响域分析的回归测试方法

为减少回归测试成本、提高效率,提出了一种基于更动影响域分析的回归测试方法,详细说明了更动类型,并针对每种类型提出了对应的影响域分析策略.研究表明,该方法技术指导性好,易使用,提高了回归测试的充分性,进一步保证了测试质量.     

航天器C语言软件常见编程错误分析及检测方法研究

基于软件第三方评测发现的问题,梳理并详细分析了在航天器C语言软件中6种常见编程错误.针对其中的软件安全漏洞提出了使用代码分析技术的检测方法,针对编程语言使用错误提出了通过制定编程规则并使用代码分析方法进行检测的解决方法.采用上述方法可以有效检测出上述6种常见编程错误,并可以用于检测软件的其他严重错误.     

国外航天软件故障原因分析

介绍了包括阿里安-5火箭、＂火星气候轨道器＂、＂火星极地着陆器＂在内的几个国外航天器和运载器发生的在轨故障,并从技术和管理方面分析了这些故障中与软件相关的原因。针对技术方面,分析了国外航天软件研制过程中在软件需求分析、软件复杂度、软件重用、软件安全性设计准则、质量保证及评审、系统安全性设计、测试及仿真环境缺陷等方面存在的问题;针对管理方面,分析了责任和权力划分、沟通渠道等方面存在的问题。文章最后给出了美国国家航空航天局专家针对这些问题提出的改进建议,提出了针对我国航天软件研制过程的启示和建议,如加强团队之间的沟通,提高评审效率。     

航天器软件参数修改的测试策略研究

梳理了现有的回归测试策略,并结合航天器软件参数修改错误的2个实例分析,提出了一种新的回归测试策略。该策略借鉴回归测试用例集约简算法中的需求驱动方法,提出了基于构建程序-需求覆盖矩阵和测试用例-需求覆盖矩阵进行回归测试的方法,并给出了按照该策略实施软件参数修改测试的流程。最后,提出了将该测试策略工具化的设想,如研发代码变更影响域自动分析工具,或者使用已有的商用工具。