共查询到20条相似文献,搜索用时 125 毫秒
1.
在航天型号的研制过程中,软件的可靠性十分重要。而目前有关软件产品的可靠性设计、分析方法仍十分缺乏。该文提出了一种综合采用在硬件可靠性设计分析领域已成功应用的FTA、FMEA及建立软件产品的功能剖面的方法科进一步提高产品的可靠性。 相似文献
2.
从紧贴市场法则需求、强化执行标准意识,掌握软件工程体系标准、正确合理引用软件标准,重视软件开发过程控制、提高软件产品开发质量,遵循计算机软件工程标准、提高软件产品可靠性等方面,阐述了正确理解和严格遵循计算机软件工程国家标准,对于指导软件产品开发、规范产品开发流程、保证产品开发质量,为建设坚强智能电网提供技术支撑;并从学习、研究、遵循和应用计算机软件工程国家标准,规范软件产品过程控制,提高软件产品质量等方面提出了思路与建议。 相似文献
3.
一、引言软件自动化是提高软件生产率,保证软件产品可靠性的根本途径之一.算法设计是软件开发中最困难,同时也是最富有创造性的活动.因此,算法设计自动化的研究构成了软件自动化研究的核心内容. 目前,对于算法设计,三种有代表性的观点是: 相似文献
4.
软件可靠性是在70年代由软件工程与可靠性学科相结合产生的一个新分支,是一个很有发展前途的新领域.现在,可靠性学科的一些基本原理和方法.已逐渐渗透到软件生存期的设计、测试和维护等各个阶段,尤其是用于对软件产品的可靠性作出定量的评估和预测.本文侧重从可靠性学科的角度,对它的发展状况作了综合性的介绍,希望对促进这一新分支在我国的发展有所裨益. 相似文献
5.
6.
没有捷径来改善现在的不尽人意的空间记录。我相信我们在数据收集(经验教训)、软件产品保证、人的可信性(Dependability)和维修性等领域很薄弱。我们需要预先投资以实现下述诸项: 1.改进可靠性与维修性(包括安全性性和质量),它可能对投资给予最好的回报; 2.宣传高可靠性与维修性; 3.可靠性与维修性必须“被设计进去”。 相似文献
7.
本报讯报道欧特克(Autodesk)公司7月1日宣布,首款采用中国本地合作伙伴的研发成果而完成的应用软件产品——AutodeskPrintManager1.0正式推向市场。该产品由一家国内软件公司前期开发,按照欧特克公司的软件工程方法进行并通过了可靠性、稳定性测试以及与其他欧特克软件产品的互操作性等测试。据悉,AutodeskPrintManager1.0可以对局域网中的打印机提供全方位的监控、管理和计费,从而减少目前各类设计单位普通存在的无效打印,帮助设计单位、以至所有存在大量打印行为的单位减少昂贵的耗材开销,提高工作效率。采用PrintManager,可设定用户… 相似文献
8.
将调整因子引入到关于软件产品的可靠性预计模型中,提出了改进的关于软件产品的软件可靠性预计模型.通过一组数据仿真证明,改进模型比原模型有着更好的性能,更加符合现实的软件可靠性活动过程. 相似文献
9.
基于复用的软件开发过程中的配置管理 总被引:11,自引:0,他引:11
一、软件开发过程中的配置管理配置管理并不是一个新概念,早期的软件工程环境就已经开始考虑配置管理了。现在人们越来越认识到配置管理对于提高软件质量和软件开发过程的可靠性有着重要意义。 1.1 什么是配置管理配置管理是软件配置管理的简称,它是指一套管理软件开发和软件维护以及其中各种中间软件产品的方法和规则,配置管理通过在特定的时刻选择软件配置(一组中间软件产品及描述),系统地控制对配置的修改,并在整个软件生存周期中维护配置的完整性和可追踪性。中间软件产品和用于创建中间软件产品的控制信息都应处于配置管理控制下。 相似文献
10.
阎晋屯 《计算机与信息处理标准化》1996,(3):4-8
软件可靠性是七十年代由软件工程与可靠性学科相结合产生的一个新分支,是一个很有发展前途的新领域。现在,可靠性学科的一些基本原理和方法已逐步渗透到软件生存期的设计、测试和维护等各个阶段。本文主要介绍了与分析/设计阶段有关的软件可靠性分配模型,用于对软件产品的可靠性作出定量预测和评估的软件可靠性预测模型;另外,本文还讨论了软件维护阶段对软件可靠性的影响。 相似文献
11.
12.
软件测试是航天型号软件开发过程中一个必不可少的环节.介绍利用TBrun测试工具,开展航天嵌入式汇编软件单元测试执行过程及对异常分支的单元测试优势和TBrun基于迭代技术的组装测试工作特点.利用TBrun测试工具,开展航天嵌入式汇编软件单元、组装测试工作,可以尽早暴露软件设计和编码过程中的问题和缺陷,节省软件开发时间,缩短软件开发周期,提高软件质量和可靠性. 相似文献
13.
软件可靠性随着科学技术的逐渐进步已成为我们需要关注的一个问题,软件系统的可靠性随着其规模的加大就会变得越发难以保证。应用本身对系统运行可靠性的要求逐渐增高,尤其是在如航天、航空等一些关键的应用领域,对其可靠性的要求就更加重要,软件系统的可靠性在银行等服务性行业中也和其自身的生存发展竞争能力和声誉有着直接的关系。本文对软件可靠性设计的基本概念进行了介绍,并且对软件可靠性设计方法着重进行了介绍。 相似文献
14.
针对航天软件高可靠性的特点,构建一种输入与输出模型测试方案,提出基于覆盖测试算法的测试方法,测试覆盖算法主要包含三种功能测试方法和三种结构测试方法。功能测试主要使用基于边界的方法、定义等价类、使用决策表分析三种方法。结构测试主要使用基于路径的测试、数据流测试、片测试三种方法。实例验证,该方法清晰明了、便于发现航天软件缺陷、降低航天软件开发风险与代价以及保证航天软件质量。 相似文献
15.
16.
P. R. Croll A. J. C. SharkeyJ. M. BassN. E. SharkeyP. J. Fleming 《Engineering Applications of Artificial Intelligence》1995,8(6):615-623
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. 相似文献
17.
为提高航天嵌入式软件的测试质量、确保航天型号任务的圆满完成,对航天嵌入式软件代码审查重要内容之一的代码逻辑分析进行了研究.通过对软件缺陷的机理、缺陷查找过程、缺陷暴露过程、以及缺陷引发后果的分析,结合多年软件测试工程实践经验的总结,提出了场景分析法、时序分析法、假想故障追源法等10种主要的代码逻辑分析方法.开展了代码逻辑分析方法的应用分析、代码审查与其它测试手段之间的对比分析,通过分析,给出了代码审查的工程适用性说明.研究成果已在航天型号软件第三方评测中全面推广应用,实践数据表明,应用效果良好,使代码审查的缺陷发现率由业界公认的30%~70%提升至90%以上.相关分析方法和分析思路对动态测试设计以及软件缺陷自动化检测工具的研发均具有一定的参考作用. 相似文献
18.
无线传感技术在遥测领域一直以来有着重要地位,具有广泛的应用前景。本文提出了适用于箭体内环境参数测量的无线传感网络设计方案,详述了硬件和软件的设计方案,并给出了基于CC430的适用于航天复杂环境的无线传感网络设计实例,以监测箭体内的温度、湿度环境参数,并通过实验证明了本设计具有低功耗,高可靠性,组网灵活的特点。 相似文献
19.
20.
随着计算机应用领域的日益扩大及实时控制系统的发展,对计算机系统的可靠性要求越来越高。例如在电话交换系统,航空航天控制系统,铁路交通控制系统中,哪怕是一个细微的故障,也可能带来灾难性的后果。本文设计了一个满足高可靠性要求的容错设计机系统,介绍了该系统的设计原则及硬件的软件的结构。 相似文献