共查询到17条相似文献,搜索用时 78 毫秒
1.
介绍了软件可靠性的基本概念,从航天工程应用的角度对软件可靠性保证工作,以及相关软件可靠性分配、预计、估计、分析与测试技术进行了较完整的归纳,并给出了下一步工作的建议。 相似文献
2.
本文就把场测控系统软件质量所涉及的有关问题进行了综述。首先阐述了软件质量及其度量准则,然后根据靶场试验任务需求,重点介绍了应用软件质量与质量管理过程中应抓的主要环节及质量保障措施。 相似文献
3.
软件可靠性修改的Schneidewind增长模型的特性分析 总被引:3,自引:0,他引:3
本文对软件可靠性修改的Schneidewind增长模型进行了详细的数值特性分析,剖析了该模型的参数解结构,从而构造了模型参数估计的高效求解算法,并进行了相应的数值实验。 相似文献
4.
本文在阐述了软件可靠性测试的特点和影响软件可靠性的因素的基础上,提出了软件可靠性测试的充分性准则,结合工程实际,研究了可靠性测试环境、可靠性估计、可靠性测试验证方案,给出了将测试充分性准则用于可靠性测试的流程模型,为软件进行可靠性测评提供了方法。 相似文献
5.
软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析.本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该软件的改进建议. 相似文献
6.
控制软件可靠性设计和评估方法 总被引:4,自引:0,他引:4
介绍软件可靠性的定义 ,探讨软件失效的机理并阐述设计一个可靠控制软件的原则 ,提出一种基于三角形模糊数算术运算的软件可靠性评估方法。 相似文献
7.
8.
9.
软件产品保证是产品保证的重要组成部分,是软件研制所有支持过程的综合.是世界各主要航天机构如NASA、ESA软件产品研制所推行的规范化要求,是实施软件可靠性工程的基础。航天系统要实现从“抓评测,促工程化’’向全面推进软件工程化的策略转化.要以Q/QJA30标准发布与宣贯为契机,做好型号软件产品保证的总体策划,全面推进软件工程化管理。 相似文献
10.
航天软件可靠性安全性技术应用发展趋势 总被引:2,自引:0,他引:2
从航天工程应用的角度介绍了国外软件可靠性安全性技术应用发展趋势,结合作者在实时嵌入式软件可靠性测试与安全性分析方面的实践进行了总结。 相似文献
11.
在软件开发中如何使用软件可靠性度量是航天软件开发过程中亟待解决的问题,为了解决这个问题,本文对11个软件可靠性度量在航天某型号控制软件中进行了应用,度量的结果验证了推荐出的软件可靠性度量具有可操作性和实用性。 相似文献
12.
从计算机系统角度分析软件可靠性 总被引:1,自引:1,他引:1
从硬/软件综合的角度对计算机进行可靠性研究具有非常重要的意义。本文作者对硬、软件相互作用进行了明确的划分和定义。并指出,是现行的软件可靠性黑箱分析方法禁锢了人们从更深层次对于硬/软件系统可靠性进行研究。基于上述认识,本文提出了解决软件分解单元之间耦合问题的办法。进而提出了一种新的软件可靠性分析方法,为对计算机系统进行可靠性分析时,考虑硬、软件之间的复杂的相关作用提供了基础,从而为更准确地评估计算机系统的可靠性提供了可能。文中分析了一个飞行控制系统实例。 相似文献
13.
14.
航天型号软件工程化十年回顾与展望 总被引:5,自引:0,他引:5
从上世纪90年代初开展软件工程化工作以来,至今已有十多年的时间。本文介绍了航天系统对型号软件质量问题的认识过程,概述了国外在解决软件危机方面的经验,阐述了保障航天型号软件质量的技术措施,并对未来将采取的措施进行了初步的展望。 相似文献
15.
为了改进软件过程,提高软件开发效率,保证软件产品质量,北京航天自动控制研究所在2003年6月启动了基于GJB 5000-2003《军用软件能力成熟度模型》等级2的软件过程改进工作,于2005年9月通过了军用软件能力评价组的评价。本文介绍了北京航天自动控制研究所的软件过程改进实践,阐述了软件过程改进实践中取得的成绩和教训。 相似文献
16.
测试发射控制软件确认测试环境的实现 总被引:4,自引:2,他引:2
测试发射控制软件确认测试环境以某型号的测试发射控制软件为对象 ,采用基于功能的测试方法和确认测试技术加以实现。本文介绍了被测软件的体系结构和运行环境 ,阐述了被测软件确认测试方案的设计思想及测试环境的具体实现 相似文献