航天软件设计,分析与可靠性研究

在航天型号的研制过程中，软件的可靠性十分重要。而目前有关软件产品的可靠性设计、分析方法仍十分缺乏。该文提出了一种综合采用在硬件可靠性设计分析领域已成功应用的ＦＴＡ、ＦＭＥＡ及建立软件产品的功能剖面的方法科进一步提高产品的可靠性。     

计算机软件工程标准在智能电网建设中的应用探讨

从紧贴市场法则需求、强化执行标准意识,掌握软件工程体系标准、正确合理引用软件标准,重视软件开发过程控制、提高软件产品开发质量,遵循计算机软件工程标准、提高软件产品可靠性等方面,阐述了正确理解和严格遵循计算机软件工程国家标准,对于指导软件产品开发、规范产品开发流程、保证产品开发质量,为建设坚强智能电网提供技术支撑;并从学习、研究、遵循和应用计算机软件工程国家标准,规范软件产品过程控制,提高软件产品质量等方面提出了思路与建议。     

算法设计自动化研究综述

一、引言软件自动化是提高软件生产率,保证软件产品可靠性的根本途径之一.算法设计是软件开发中最困难,同时也是最富有创造性的活动.因此,算法设计自动化的研究构成了软件自动化研究的核心内容. 目前,对于算法设计,三种有代表性的观点是:     

软件可靠性预测方法的进展

软件可靠性是在70年代由软件工程与可靠性学科相结合产生的一个新分支,是一个很有发展前途的新领域.现在,可靠性学科的一些基本原理和方法.已逐渐渗透到软件生存期的设计、测试和维护等各个阶段,尤其是用于对软件产品的可靠性作出定量的评估和预测.本文侧重从可靠性学科的角度,对它的发展状况作了综合性的介绍,希望对促进这一新分支在我国的发展有所裨益.     

类设计质量评估方法的研究

详细介绍了C&K度量方法,结合灰色关联分析的相关理论,提出了一种基于C&K度量方法和灰色关联分析的类设计质量评估方法。依据C&K度量阈值及可接受类的定义,可以推导出面向对象程序设计中的最佳类设计标准。将各个类与最佳类设计标准进行灰色关联分析,从而评估类设计质量的优劣。该方法为程序设计人员提供了类设计质量优劣的判定依据,并保证其在软件生命周期的早期阶段及时发现设计质量低劣的类并做相应的处理,避免后期开发的软件产品出现故障,能显著提高软件产品的可靠性和可维护性。     

欧空局(ESA)可靠性维修性保证在空间探索中的未来作用

没有捷径来改善现在的不尽人意的空间记录。我相信我们在数据收集(经验教训)、软件产品保证、人的可信性(Dependability)和维修性等领域很薄弱。我们需要预先投资以实现下述诸项: 1.改进可靠性与维修性(包括安全性性和质量),它可能对投资给予最好的回报; 2.宣传高可靠性与维修性; 3.可靠性与维修性必须“被设计进去”。     

首款实现中国研发——欧特克推出PrintManager1.0

本报讯报道欧特克(Autodesk)公司7月1日宣布,首款采用中国本地合作伙伴的研发成果而完成的应用软件产品——AutodeskPrintManager1.0正式推向市场。该产品由一家国内软件公司前期开发,按照欧特克公司的软件工程方法进行并通过了可靠性、稳定性测试以及与其他欧特克软件产品的互操作性等测试。据悉,AutodeskPrintManager1.0可以对局域网中的打印机提供全方位的监控、管理和计费,从而减少目前各类设计单位普通存在的无效打印,帮助设计单位、以至所有存在大量打印行为的单位减少昂贵的耗材开销,提高工作效率。采用PrintManager,可设定用户…     

一种考虑软件补丁的软件可靠性模型研究

将调整因子引入到关于软件产品的可靠性预计模型中,提出了改进的关于软件产品的软件可靠性预计模型.通过一组数据仿真证明,改进模型比原模型有着更好的性能,更加符合现实的软件可靠性活动过程.     

基于复用的软件开发过程中的配置管理

一、软件开发过程中的配置管理配置管理并不是一个新概念,早期的软件工程环境就已经开始考虑配置管理了。现在人们越来越认识到配置管理对于提高软件质量和软件开发过程的可靠性有着重要意义。 1.1 什么是配置管理配置管理是软件配置管理的简称,它是指一套管理软件开发和软件维护以及其中各种中间软件产品的方法和规则,配置管理通过在特定的时刻选择软件配置(一组中间软件产品及描述),系统地控制对配置的修改,并在整个软件生存周期中维护配置的完整性和可追踪性。中间软件产品和用于创建中间软件产品的控制信息都应处于配置管理控制下。     

软件可靠性工程模型的研究

软件可靠性是七十年代由软件工程与可靠性学科相结合产生的一个新分支，是一个很有发展前途的新领域。现在，可靠性学科的一些基本原理和方法已逐步渗透到软件生存期的设计、测试和维护等各个阶段。本文主要介绍了与分析／设计阶段有关的软件可靠性分配模型，用于对软件产品的可靠性作出定量预测和评估的软件可靠性预测模型；另外，本文还讨论了软件维护阶段对软件可靠性的影响。     

航天嵌入式软件隐含需求分析与实践

基于软件测试的角度,聚焦航天嵌入式软件隐含需求分析,提出需求颗粒度分析、代码设计无依据分析、引申推导分析3种隐含需求分析方法,研究构建了包含隐含需求库在内的可良性循环利用的隐含需求分析框图。结合实践应用,从接口、可靠性安全性、恢复性、性能、功能等方面给出了航天嵌入式软件典型隐含需求。研究成果不仅可以指导研发过程的需求分析与编码、提升软件研发质量,而且可以指导测试过程的测试需求分析与测试设计,避免因测试疏漏而导致的软件缺陷遗漏,从而有效提升软件质量。     

TBrun在航天嵌入式汇编软件测试中的应用

软件测试是航天型号软件开发过程中一个必不可少的环节.介绍利用TBrun测试工具,开展航天嵌入式汇编软件单元测试执行过程及对异常分支的单元测试优势和TBrun基于迭代技术的组装测试工作特点.利用TBrun测试工具,开展航天嵌入式汇编软件单元、组装测试工作,可以尽早暴露软件设计和编码过程中的问题和缺陷,节省软件开发时间,缩短软件开发周期,提高软件质量和可靠性.     

计算机软件的可靠性设计研究

软件可靠性随着科学技术的逐渐进步已成为我们需要关注的一个问题,软件系统的可靠性随着其规模的加大就会变得越发难以保证。应用本身对系统运行可靠性的要求逐渐增高,尤其是在如航天、航空等一些关键的应用领域,对其可靠性的要求就更加重要,软件系统的可靠性在银行等服务性行业中也和其自身的生存发展竞争能力和声誉有着直接的关系。本文对软件可靠性设计的基本概念进行了介绍,并且对软件可靠性设计方法着重进行了介绍。     

航天软件测试模型构建与应用

针对航天软件高可靠性的特点,构建一种输入与输出模型测试方案,提出基于覆盖测试算法的测试方法,测试覆盖算法主要包含三种功能测试方法和三种结构测试方法。功能测试主要使用基于边界的方法、定义等价类、使用决策表分析三种方法。结构测试主要使用基于路径的测试、数据流测试、片测试三种方法。实例验证,该方法清晰明了、便于发现航天软件缺陷、降低航天软件开发风险与代价以及保证航天软件质量。     

基于FSM和事件驱动的卫星管理软件设计

随着航天飞行器结构的复杂和软件规模的膨胀,软件的结构成为软件设计的关键技术,针对该问题,提出以有限状态机为模型的软件模块化设计方法。该设计按事件产生、消息（事件）队列维护、事件响应的处理流程,建立事件驱动机制,构建软件系统结构。实验结果表明,该设计提高了软件的可靠性和开发效率,使其更易于维护和扩展,并降低了失效风险。     

Dependable, intelligent voting for real-time control software

An intelligent and dependable voting mechanism for use in real-time control applications is presented. Strategies proposed by current safety standards advocate N-version software to minimize the effects of undetected software design faults (bugs). This requires diversity in design but presents a problem in that truly diverse code produces diverse results; that is, differences in output values, timeliness and reliability. Reaching a consensus requires an intelligent voter, especially when non-stop operation is demanded, e.g. in aerospace applications. This paper, therefore, firstly considers the applicable safety standards and the requirements for an intelligent voter service. The use of replicated voters to improve reliability is examined and a mechanism to ensure non-stop operation is presented. The formal mathematical analysis used to verify the crucial behavioural properties of the voting service design is detailed. Finally, the use of neural nets and genetic algorithms to create N- version redundant voters, is considered.     

航天嵌入式软件代码逻辑分析

为提高航天嵌入式软件的测试质量、确保航天型号任务的圆满完成,对航天嵌入式软件代码审查重要内容之一的代码逻辑分析进行了研究.通过对软件缺陷的机理、缺陷查找过程、缺陷暴露过程、以及缺陷引发后果的分析,结合多年软件测试工程实践经验的总结,提出了场景分析法、时序分析法、假想故障追源法等10种主要的代码逻辑分析方法.开展了代码逻辑分析方法的应用分析、代码审查与其它测试手段之间的对比分析,通过分析,给出了代码审查的工程适用性说明.研究成果已在航天型号软件第三方评测中全面推广应用,实践数据表明,应用效果良好,使代码审查的缺陷发现率由业界公认的30％～70％提升至90％以上.相关分析方法和分析思路对动态测试设计以及软件缺陷自动化检测工具的研发均具有一定的参考作用.     

适用于火箭环境监测的无线传感网络应用研究

无线传感技术在遥测领域一直以来有着重要地位,具有广泛的应用前景。本文提出了适用于箭体内环境参数测量的无线传感网络设计方案,详述了硬件和软件的设计方案,并给出了基于CC430的适用于航天复杂环境的无线传感网络设计实例,以监测箭体内的温度、湿度环境参数,并通过实验证明了本设计具有低功耗,高可靠性,组网灵活的特点。     

计算机辅助潜在分析应用研究

控制系统计算机辅助潜在分析是一项集控制技术、可靠性理论、信息科学、计算机技术及应用于一体的前沿性课题,为提高控制系统安全性与可靠性提供技术保障和支持。描述了一个计算机辅助潜在分析系统的实现,并将其应用到了航天控制系统。该软件系统填补了我国在潜在电路分析领域研究与应用方面的空白,大幅度提高了我国大型复杂系统设计的可靠性。     

一个四余度容错计算机系统（QFTCS）的硬件／软件结构设计

随着计算机应用领域的日益扩大及实时控制系统的发展，对计算机系统的可靠性要求越来越高。例如在电话交换系统，航空航天控制系统，铁路交通控制系统中，哪怕是一个细微的故障，也可能带来灾难性的后果。本文设计了一个满足高可靠性要求的容错设计机系统，介绍了该系统的设计原则及硬件的软件的结构。