星载软件可靠性工程研究与实践

为提高星载软件的可靠性,针对某星载软件的特点,讨论了开展软件可靠性工程的实施框架和过程,分别从软件可靠性设计、分析、度量和测试四个方面进行了总结和评述.重点论述了软件可靠性设计准则,软件故障模式及影响分析和软件故障树分析技术的特点,软件可靠性度量的选择方法,以及软件可靠性测试的评估规程和可靠性模型的选择方法,并给出了技术应用的结果,证明了这些方法的可行性和适用性.     

软件可靠性数据收集的方法和技术

软件可靠性数据是进行软件可靠性分析和估测的基础，在整个软件可行性研究中占着重要的地位。本文在汇总分析软件可靠数据的基础上，对其进行了合理的分类，从而提出一个套收集软件可靠性数据的系统化方法，并探讨了实现自动化收集软件可靠性数据的基本技术。     

以软件可靠性增长测试推动软件可靠性工程的实施

针对航空机载武器系统嵌入式软件可靠性工程实施现状,提出以软件可靠性增长测试为基础。推动软件可靠性工程的实施的观点,并给出由软件可靠性增长测试推动软件可靠性工程实施的具体过程。     

软件可靠性工程综述

软件可靠性工程是近年来随着软件开发规模不断扩大,为了降低开发风险、减少成本、保证软件质量而提出的。一直以来,对于软件可靠性的理解都相对片面,不能有效地指导工程实践。本文介绍了有关软件可靠性工程的一般概念,并对其中的工作过程、软件可靠性建模、软件可靠性设计以及软件测试等问题进行了探讨和研究。基本涵盖了近一段时间以来软件开发当中为了保证软件可靠性所需或可选的一些工作过程和方法。     

IEEE软件可靠性系列标准分析

对IEEE软件可靠性系列标准进行分析,总结了IEEE制定软件可靠性标准的经验,以软件可靠性发展趋势。同时,结合我国软件可靠性标准化工作现状,提出软件可靠性标准的制定及关标准修订的可借鉴之处。     

防空高炮数字化改进中的软件可靠性技术综述

防空高炮数字化改进是高炮实现数字化和满足信息化战争需求的重要内容,改进中软件的可靠性是影响数字化改进质量的关键因素,如何提高和保证数字化高炮软件的可靠性成为重点研究的问题.针对该问题,从数字化高炮软件系统构成及分析着手,对数字化高炮的软件可靠性设计、软件可靠性测试以及量化分析技术进行了综合探讨.具体分析了数字化高炮软件可靠性可进行分配的CSCI、软件可靠性测试的阶段、测试中的关键技术以及数字化高炮软件可靠性评估所应当采用的模型方法,通过上述研究可为数字化高炮研制过程中的软件可靠性工作提供参考.     

软件缺陷及软件可靠性技术

近年来的研究表明,系统发生的失效更多的是由于软件缺陷引起的。因此软件可靠性成为系统可靠性的关键,也是高可靠性和高可用性系统的一个主要的研究内容。该文在描述了软件可靠性与硬件可靠性不同的基础上,对软件可靠性模型、软件缺陷,以及软件可靠性技术进行了总结和论述。     

FRP系统中软件可靠性数据的收集与分析

软件可靠性研究已有四十多年的历史，近百个软件可靠性模型被建立起来，然而作为软件可靠性建模基础的可靠性数据在国内外文献中却不多见，软件可靠性数据是一切软件可靠性研究活动的基础，其重要性不言而喻，在ERP项目运行中收集了一批可靠性数据，分析这些数据发现，各类软件错误产生是有先后顺序的。     

软件可靠性度量方法

分析软件故障暴露率与软件测试次数之间的关系,提出在保证可靠性测试结果客观准确的前提下,有效减少验证测试次数的方法。结合软件可靠性和体系结构相关理论,提出基于组件的软件失效率定量计算方法。研究并利用软件可靠性度量方法,提高了软件可靠性测试效率和可靠性评估准确性。     

基于软件可靠性工程的测试模型

软件可靠性工程是软件工程的一个重要分支,主要建立在操作剖面、软件可靠性模型、概率论和软件测试等理论的基础之上。该文结合软件可靠性、软件可靠性工程和软件测试的相关理论,设计了可靠性测试模型,并在市政交通一卡通工程系统中进行了实际验证。     

使用基于量度的分类树的软件开发技术

近几年来,模式识别、神经网络、关联测试、决策树等大量的技术发展非常迅速,“数据挖掘”这个词也逐渐在软件工程出版物中出现,文章对软件工程中使用的数据挖掘技术之一“基于量度的分类树”进行了详细的调查。     

一种软件可靠性的随机测试模型研究

本文提出一种基于随机测试模型的软件可靠性测试方法、评判准则和测试策略,并利用蒙特卡罗方法进行了分析。通过实例证明了该模型在软件测试中的实用性和有效性,使用该模型可以提高软件测试的准确性和正确率、缩短软件测试的周期。     

软件可靠性工程框架和评估系统实现

给出了软件可靠性工程的实施框架,它规范了软件可靠性评估的过程.文章还提出一个软件可靠性评估系统的体系结构,并给出了实现所需要的一些关键技术.已经依此实现了一个软件可靠性评估系统CaSoR(Computer aid Software of Reliability),并已经被实际     

软件可靠性综合模型的分析和研究

软件可靠性是系统可信性的重要属性之一.首先讨论了传统软件可靠性模型的主要弱点,接着提出了一种新的软件可靠性估算模型.当前,传统的软件可靠性度量模型中并未涉及大多数软件的复杂性及测试用例的有效性,从而使得在评估软件可靠性时不够精确,甚至是错误的.因此,提出了一些改进软件可靠性度量的方法.这些方法的主要思想是将影响软件复杂性的因素和测试用例的有效性并入软件可靠性模型中,以便使得该模型能更精确地反映实际情况.最后,大量的实验结果也表明了该模型的合理性及有用性.     

软件体系结构的分析

软件体系结构是软件工程领域研究的热点之一,文章对近年来国内外的研究作了初步总结,并且分析了现在存在的问题,在此基础上提出了未来研究的发展预测。     

基于Agent的软件可靠性评估系统

1 引言现代软件产品的重要特征之一是软件质量,而软件可靠性被认为是软件质量的关键因素。软件可靠性指软件在特定环境和给定时间内无故障运行的概率。它面向用户而不是开发者,是软件质量诸多因素中最容易度量的属性。软件可靠性模型是随机过程的一种表示,可以将软件可靠性或与其直接有关的量(如平均无故障时间或故障率)表示成时间以及软件产品     

Markov控制转换多模块软件可靠性测试资源动态分配方法

考虑到软件任务模块执行的不均衡性以及模块级软件可靠性增长测试的具体情况,针对Markov控制转换多模块软件,提出了一种模块级的可靠性测试资源动态优化分配方法,以减少测试代价.与静态资源分配方法相比,本方法更加优化利用测试资源,在确保可靠性指标的前提下可降低总的测试代价.