共查询到20条相似文献,搜索用时 406 毫秒
1.
2.
3.
4.
本文介绍一种军用通信网可靠性评估方法。首先给出了军用通信网的可靠性定义,然后在模糊集合论的基础上定义了通信网的失效判决方法。并对软件可靠性因素进行了探讨,最后提出了三种通信网可靠性评估方法:可靠性实验测试、可靠性实物模拟试验,可靠性计算机试验。 相似文献
5.
6.
本文结合窄带GSM网移动通信的信道传输特点,对利用该主道传输军用多媒体信息进行了可行性分析,给出了一种利用窗带GSM移动通信网进行军用多媒体传输的实施方案,试验结果表明方案可行,软件可靠性高,可移植性强,具有较高的应用价值。 相似文献
7.
军用软件测试现状及对策 总被引:1,自引:0,他引:1
随着我军信息化建设深入发展,军用软件的规模和数量空前增长,军用软件的质量建设成为极端重要而紧迫的任务。软件测试是保证软件质量、提高软件可靠性的重要途径和必备手段,但当前无论是在软件测试的认识层面,还是对软件测试的管理和技术支撑等方面,仍然存在着许多问题,软件测试工作形势依然严峻,急需得到改进和加强。在深入分析军用软件测试现状、存在的问题和原因的基础上,综合设计体系结构,研究提出对策措施,为整体推进软件测试工作提供了可行的解决方案。 相似文献
8.
9.
针对军用软件特点,提出并定义一种基于任务剖面的软件系统结构准则;基于该准则,给出一种从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法。与侧重于数学建模的相关工作不同,该方法更注重在建模中融合软件可靠性设计、测试和管理,成为可靠性保证的一种途径。 相似文献
10.
武器装备软件的可靠性分析综述 总被引:5,自引:0,他引:5
首先论述了武器装备软件可靠性的重要性,指出了软件可靠性与硬件可靠性的主要区别,并依据装备软件研制总要求及武器装备软件的特点分析了装备软件可靠性的内涵、特点,介绍了装备软件可靠性指标的确定、软件可靠性模型以及装备软件可靠性的评估,最后分析讨论了几种提高武器装备软件可靠性的方法与途径。 相似文献
11.
软件可靠性一直是武器系统软件开发和使用过程中重点考虑的关键课题之一。日本的日野克重提出了简单、同型、对称、层次、线型、易证和安全七个软件避错设计原理。本文从提高军用软件设计质量的目的,简要论述这些原理在防空导弹武器系统软件设计中的具体应用。 相似文献
12.
如何估计软件的MTBF 总被引:1,自引:0,他引:1
宫云战 《装甲兵工程学院学报》2001,15(2):25-31
软件剩余初始故障个数No、平均无故障时间MTBF、故障暴露率λ和软件运行的成功率θ等是衡量软件可靠性的重要参数.其中对高可靠性软件(包括军用软件等)MTBF是最重要的.传统的MTBF计算方法有2种一是计算发生故障的平均时间间隔二是通过软件可靠性模型进行估计.前者代价较大,后者不太准确.本文从软件的失败率入手研究软件的MTBF,这是一个比较贴近实际的方法. 相似文献
13.
软件可靠性模型技术分析 总被引:3,自引:0,他引:3
软件可靠性模型技术对评估和提高软件可靠性具有重要作用。归纳了软件可靠性模型的特点与分类方法,阐述了随机过程类与非随机过程类两大类模型,初步探讨了模型之间的相互关系,分析并提出了软件可靠性模型建立过程与评价标准,为软件可靠性模型技术的进一步研究和应用提供了理论方法与启示。 相似文献
14.
本文根据某自行火箭炮火控计算机系统的工作特点,运用软件可靠性测试评估原理,提出了一套用于一般火控系统控制软件可靠性测试的方案设想,并试用Nelson 模型进行了软件可靠性的假设评估。 相似文献
15.
软件可靠性测试是有效评估软件可靠性水平,验证软件产品是否达到软件可靠性要求的重要途径。本文介绍了软件可靠性测试的基本方法以及对黑盒测试、白盒测试和灰盒测试优缺点进行比较,并对蒙特卡罗、马尔科夫等主要理论模型进行分类阐述。 相似文献
16.
分析了软件可靠性考核的时机 ,提出了软件可靠性的验证试验方法 ,并对基于经典方法和 Bayes方法的无故障运行考核方法进行了研究 相似文献
17.
军用软件自测试实践与分析 总被引:1,自引:0,他引:1
随着军用软件规模和数量的不断增长及其在信息能力方面的提升,军用软件质量已成为确保军事工程质量的关键,而推行软件测试以提高军用软件质量更是成为紧迫之举。通过对军用软件自测试现状进行分析,以软件承制方的身份对某军用软件进行自测试,并将测试结果与专业测评机构三方测试的结果做对比分析,论述了军用软件自测试是保证军用软件质量的重要途径和必备手段。 相似文献
18.
软件质量保证技术研究综述 总被引:9,自引:0,他引:9
贲可荣 《海军工程大学学报》2002,14(4):1-6
概述了软件可靠性研究的必要性 ,从软件开发过程管理、质量保证标准、测试技术、可靠性评估与预测以及形式化规范和验证等 5个方面给出了软件质量问题的解决办法 ,并对所研究的成果做了介绍 .最后指出了在统计测试、形式化方法方面有待进一步研究的问题 相似文献
19.