共查询到20条相似文献,搜索用时 109 毫秒
1.
2.
武器装备软件的可靠性分析综述 总被引:5,自引:0,他引:5
首先论述了武器装备软件可靠性的重要性,指出了软件可靠性与硬件可靠性的主要区别,并依据装备软件研制总要求及武器装备软件的特点分析了装备软件可靠性的内涵、特点,介绍了装备软件可靠性指标的确定、软件可靠性模型以及装备软件可靠性的评估,最后分析讨论了几种提高武器装备软件可靠性的方法与途径。 相似文献
3.
4.
5.
6.
7.
孙敬一 《海军工程大学学报》1981,(1)
本文举例说明了软件可靠性问题的重要性。简要地叙述了计算机软件可靠性技术研究中的三个中心问题:软件试验、程序正确性证明和结构程序设计。软件试验是当今世界上解决软件不可靠问题的主要手段。按试验的目的、对象和方法的不同,对软件试验进行了归纳分类。程序正确性证明是用数学方法,寻找程序逻辑错误的一个途经。文中从最基本的概念出发,用简单的例子,阐明证明程序正确性所应遵循的法则及证明的步骤和方法。但是以上两种技术均不能保证程序正确,所以解决软件可靠性间题的关键是结构程序设计。从设计方法、设计语言及设计的组织形式彻底革命,才能真正解决软件可靠性问题。但这三个方面是相辅相成,互相促进的。 相似文献
8.
软件可靠性评估技术研究 总被引:2,自引:0,他引:2
宫云战 《装甲兵工程学院学报》2000,14(3):1-4
MTBF,初始故障数N,故障暴露率K,一次运行的成功率θ是软件可靠性的基本参数,也是反映软件可靠性的关键因素.在理论分析和工程应用实验基础上,给出了这些参数的计算方法. 相似文献
9.
效能分析在装备寿命周期中具有重要意义.如何实现效能优化是装备研制论证时所要关注的主要问题.由于影响效能的因素很多,各个因素间相互影响,很难找到最优参数集.基于遗传算法,提出了一种较好的解决方法.该方法简单可行,适用范围广,结果可信度高.最后给出了一个实例. 相似文献
10.
软件分域测试可靠性评估的注记 总被引:2,自引:0,他引:2
张志华 《海军工程大学学报》2002,14(6):35-39
软件可靠性评估是软件可靠性研究的重要问题.文中通过反例证明了分域测试的Thayer Lipow Nel son评估方法是不正确的,将样本点排序法用于分域产生可靠性评估,获得了软件可靠性置信下限.最后给出一个实例说明该方法的可行性. 相似文献
11.
陈红英 《兵团教育学院学报》2004,14(4):33-34
本文阐述一个数学教师教学所用到的软件及软件平台,主要有:1)平台类:数学软件平台、课件开发平台、素材创作平台、编程语言平台、Internet操作平台;2)软件类:试卷排版软件、试卷批改软件、组卷评测软件、成绩统计软件及排课软件。 相似文献
12.
王盼卿 《军械工程学院学报》1995,(4)
随着各种MIS系统的需求量急剧增加,MIS系统质量的高低决定着计算机应用所产生效益的大小,提高软件质量已是用户和计算机工作者均特别关注的问题。分析了目前MIS系统开发中存在的问题及影响软件质量的因素,并提出了相应的解决办法。 相似文献
13.
针对C~3I 软件系统设计实现中所存在的问题,文章重点对软件质量保障方法进行了分析研究,同时提出一种简化任务评审阶段的软件质量综合保障建议。对从事C~3I 系统工程软件质量保障的人员可供参考。 相似文献
14.
软件的测试性分析与设计 总被引:3,自引:0,他引:3
宫云战 《装甲兵工程学院学报》2000,14(1):36-39
软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的。软件的测试性分析与设计是分析软件测试的复杂性,提高软件测试性的基本方法。本文提出了软件测试性的基本概念、分析与计算方法、以及软件测试性设计的基本思路。这对于高可靠性软件,特别是武器装备软件的设计是有指导意义的。 相似文献
15.
16.
在火控系统硬件技术日益成熟的今天,软件的质量问题愈发显得突出。如何测试火控系统的软件和评估软件质量是当前亟待解决的问题。该文提出了火控系统软件生存周期各阶段的质量工作,着重研究了火控系统的软件测试的方法和进行质量评估的基本原则。 相似文献
17.
18.
针对军用软件特点,提出并定义一种基于任务剖面的软件系统结构准则;基于该准则,给出一种从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法。与侧重于数学建模的相关工作不同,该方法更注重在建模中融合软件可靠性设计、测试和管理,成为可靠性保证的一种途径。 相似文献
19.
基于PowerBuilder的装备通用调拨模块的设计与实现 总被引:1,自引:0,他引:1
分析了军械管理信息系统中调拨功能的特点,探讨了基于PowerBuilder的装备通用调拨模块的设计方法和实现技术,并在实际工程中验证了其有效性。 相似文献