浅述软件的可靠性及其保证

以提高软件可靠性为目的,对软件的可靠性及其保证进行了讨论。首先对软件可靠性进行了定义,介绍了软件可靠性管理的主要工作内容,在此基础上讨论了几种软件开发方法的适用情况,并对各种软件可靠性技术的特点以及原理进行了重点讨论。然后介绍了几种软件测试方法。最后对如何尽可能减少早期出错误的可能性并在进入下一阶段前消除错误,增强软件可靠性进行了总结。     

舰船装备软件可靠性设计方法

软件可靠性设计的实质是在常规的软件设计中,应用各种必须的方法和技术,使程序的设计在兼顾用户的各种需求时,全面满足软件的可靠性要求。本文研究了舰船装备软件可靠性设计方法,通过采用避错、容错、查错、改错等设计方法,使软件在设计过程中不出现错误或少出现错误,在运行中自动查找存在的错误,以及使错误发生时不影响系统的特性,或使影响限制在容许的范围内,从而提高舰船装备软件的可靠性。     

装备软件可靠性度量参数分析

软件可靠性度量一直软件领域研究的重要内容,论文在对其基本概念进行概述的基础上,对通用的软件可靠性参数,如软件可靠性函数、平均寿命参数、平均失效参数以及故障率等进行了概述和分析,并对软件失效分布模型和失效率分布模型进行了概述。在对上述软件可靠性参数进行分析的基础上,结合装备软件的现状给出了相应的建议。     

软件可靠性的功能点模型

本文从软件功能着眼，采用路径分析法，突出软件故障的分布，淡化故障个数，考虑故障对软件功能的影响等因素，建立一个计算简单的软件可靠性模型，它可用于软件可靠性的计算，预计以及用作评价软件质量的数量表征。     

浅析军用软件可靠性

在说明军用软件可靠性的重要意义的基础上，分析了影响军用软件可靠性的主要因素，并提出了提高军用软件可靠性的途径，其中重点说明了如何将软件可靠性工程运用于军用软件的开发和测试过程。     

船舶通信软件的可靠性评估

船舶通信软件的可靠性与多种因素有关,同时具有多种变化特点,当前采用单一方法无法对船舶通信软件的可靠性进行客观、科学评估,导致船舶通信软件的可靠性评估偏差比较大,为了提高船舶通信软件可靠性评估的准确性,设计了基于组合模型的船舶通信软件可靠性评估方法。首先分析船舶通信软件可靠性评估进展,建立船舶通信软件可靠性评估指标,然后采用灰色模型对船舶通信软件可靠性进行评估,并采用多项式神经网络进行船舶通信软件可靠性评估,最后两者的船舶通信软件可靠性评估模型进行科学融合,输出船舶通信软件可靠性评估结果,并进行船舶通信软件可靠性评估仿真分析。组合模型的船舶通信软件可靠性评估正确率要高于单一灰色模型和多项式神经网络的评估正确率,船舶通信软件可靠性评估结果更加客观,为船舶通信软件可靠性研究提供一种新的方法。     

舰船指挥系统软件可靠性数学模型研究

一、引言 软件在规定的条件下和规定的时间内,完成规定功能的能力叫做软件的可靠件,它是软件工程和可靠性工程相结合所产生的一个新分支。自70年代产生以来,已有了很大的发展,软件工程和可靠性工程的科研人员把可靠性学科的一些原理,方法和模型应用到软件的设计、测试、维护等领域,已经取得了很大的进展。 软件可靠性数学模型研究是软件可靠性研究的最重要内容之一,软件可靠件数学模型的选择直接影响到对软件可靠性的指标的定量评估。迄今为止,人们提出的软件可靠性模型就有几十个,但还没有一个被普遍接受的模型,也没有一个统一的标准对这些模型进行评价,     

运用MATLAB进行软件可靠性建模

军用软件对可靠性的要求很高。可靠性模型是对软件可靠性进行评估预测的重要工具,文章介绍了非齐次泊松过程类软件可靠性增长模型的原理以及如何运用MATLAB对软件故障数据进行统计分析以初步确定适用模型,在建模时进行模型参数估计,模型建立以后的分布拟合检验以确定模型是否适宜。     

提高实时测控软件系统可靠性方法研究

针对靶场实时测控软件系统多进程多线程并发运行、信息流量大、接口关系复杂、实时性强、可靠性高的特点,在分析实时测控软件可靠性风险的基础上,提出了把好软件研制质量关、加强软件测试、建立多路IP数据互为备份的传输模式、设计高可靠性软件架构等方面提高可靠性方法。     

舰载软件在不确定操作剖面下的可靠性评定

针对舰载软件的高可靠性特点讨论了在软件可靠性评估中研究操作剖面不确定性的必要性。在软件分域测试时，建立不确定操作剖面下的软件可靠性评估模型。当测试结果无失效时，利用序求解软件可靠度的精确置信限。对于不确定问题使用网格分析法，将其转化为在确定性问题下进行分析。最后通过实例将本方法得到的结果与文献[6]中方法得到的结果进行比较。     

舰载作战指挥系统软件体系结构设计技术初探

软件体系结构是软件系统的顶层设计内容，在用户需求与系统实现之间提供一个重要的桥梁。其目的是保证软件的质量，提高软件的可靠性、可重用性和可维护性。以舰载作战指挥系统为应用对象，分析了软件体系结构分析与设计技术、形式化描述技术以及具体的实现技术，最后给出了一个简单的实例。     

基于构件的软件可靠性设计技术研究

在大型指挥控制系统的软件开发中，其可靠性问题是一个核心问题。以指挥控制系统软件系统为研究对象，进行软件可靠性分析，推导出指控系统软件可靠性计算公式。结合构件化技术和软件可靠性工程过程，提出基于构件生产的指控系统可靠性工程过程模型。     

舰载作战指挥系统软件构件库技术研究(续一):体系结构

舰载作战指挥系统是一个复杂的信息收集、处理与控制系统，它的开发和研制面临着具体需求不确定、技术环境快速变化等诸多问题。为了实现其软件的模块化、通用化和系列化，提高舰载作战指挥系统软件的研制效率和质量以及软件的标准化程度，其软件构件库的研制是一个关键环节，通过对一般软件构件库技术和舰载作战指挥系统的具体分析，给出了舰载作战指挥系统软件构件库的体系结构。     

基于ARM的舰船车钟记录仪设计

针对目前的舰船车钟记录仪大多是采用以MCS-51单片机为主控制处理器,存在处理速度慢、片上硬件资源有限等问题,本文提出了采用32位ARM9处理器和WinCE操作系统为核心的新一代的舰船车钟记录仪。同时介绍了该记录仪的主要功能,并详细描述了系统的硬件结构和软件结构。实践证明该记录仪具有实时性好、可靠性高、人机交互性好等优点,满足了今后舰船航行记录的要求。     

舰载作战指挥系统软件构建技术探讨

针对舰载作战指挥系统软件构建技术，重点分析了软件构件，Web技术，给出多客户机／多服务器加浏览器模式的多层次可以配置的分布式系统体系结构、软件体系结构，分析软件构件化设计原则，并给出一个构件化的指控系统结构简图。     

An integrated GPS/DR navigation system for AUV

GPS/Dead-reckoning navigation system for autonomous underwater vehicle （AUV） is introduced, which includes navigation overall architecture, hardware and software structure. Dead-reckoning theory is presented in details. And the strong tracking Kalman filter and Singer model are applied to handle the imprecise navigation mode, which can improve the navigation system＇s precision and reliability. Finally, the sea experiments which include autonomous search mission in an unknown area and long distance motion are conducted to demonstrate the reliability and feasibility of the navigation system.     

某型导弹快艇装备器材保障管理系统的设计与实现

对系统的总体结构进行了设计,并基于此结构,根据器材管理信息和业务流程,选择了合理的硬件和软件平台,运用软件工程原理和面向对象的设计思想,采用网络技术、Oracle数据库和容错技术,实现了对系统的功能模块、软界面和数据库的设计。系统的研究严格遵循军用软件开发规范,整个软件开发过程规范化、系统化、工程化,保证了系统的实用性、先进性、可靠性和安全性。测试结果也充分表明,该系统基本能满足系统的功能要求和设计要求。     

基于多处理机的船舶动力定位控制系统

该文介绍了船舶动力定位控制的设计方法，研究了动力定位系统的分布式多处理机体系结构，提出了动力定位应用软件的层次化结构设计思想，基于多处理机的系统设计方案合理，并行度高，实时性好，可靠性高，可以很好的完成复杂船舶动力定位系统所要求的实时信息采集，数据处理，控制计算，推力分配，能源管理等任务，具有重要的工程实用价值。     

CORBA技术在空中交通管制系统中的应用研究

首先简要介绍了现有空中交通管制（ATC）系统的不足之处，描述了CORBA中间件的特点及优势，提出了基于CORBA技术的ATC系统的研究思路，设计了ATC系统的软件体系结构，并对系统中的CORBA服务、通信和高可用性等进行了讨论。