一个集成的软件可靠性工程环境

针对软件可靠性工程实施中发现的核心问题，本文介绍了我们在软件可靠性关键技术上取得的突破，以及以此为支撑的集成环境SREE。该系统依托Eclipse，支持软件可靠性工程的关键活动：使用模型生成和构建、软件可靠性测试、软件可靠性评估和预测以及软件开发过程中可靠性的跟踪分析等。     

一种面向开发过程的软件可靠性预测方法

在进行软件开发时,该如何回答这样的问题,＂当前开发的软件可靠性是什么？＂这个对于用户来说是非常重要的信息,却难以表述。以此为方向,研究了一种面向开发过程的软件可靠性预测方法,结合软件开发各个阶段的特点,通过合理地采用软件可靠性早期预测模型,实现对开发中软件可靠性的预测。实践应用表明,该方法紧密结合软件开发的实际,反映了软件可靠性与开发人员的水平、开发规范的标准之间的联系,有助于采取必要的措施提高其以后的可靠性,从而也验证了该方法的工程实用性。     

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

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

软件可靠性定量评估过程研究

软件可靠性定量评估过程贯穿软件开发和验收使用的全过程,是软件可靠性的重要评价手段。重点介绍该过程中的关键技术与方法,阐述了软件可靠性参数分析、可靠性预测、可靠性模型选择和可靠性测试充分性等主要内容,对软件可靠性定量评估过程进行较全面的分析探讨。     

具有错误修复的非齐次马尔可夫模型

软件可靠性工程是对软件的质量进行管理和控制的实用性学科,而软件可靠性模型又是软件可靠性工程的基础之一,为了保证靠性模型的估测精度,好的软件可靠性模型应该包括对测试覆盖的说明,并且能够反映的错误修复过程。本文在基于测试覆盖的ＮＨＰＰ模型的基础上,讨论了一有反映软件错误修复过程的非齐次马尔可夫模型。     

基于测试覆盖的NHPP模型

软件可靠性工程是对软件的质量进行管理和控制的实用性学科,而软件可靠性模型又是软件可靠性工程的基础之一,为了保证可靠性模型的估测精度,好的软件可靠性模型必须包括对软件可测试性及测试覆盖等的说明功能。     

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

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

基于UML的软件使用模型的研究与实现

UML作为事实上的工业标准,在软件开发中得到了日益广泛的应用。软件可靠性测试是高可靠软件质量保证的重要过程。研究基于UML的软件可靠性测试具有很强的现实意义。软件使用模型是进行软件可靠性测试的基础,可利用在软件开发早期阶段生成的UML模型,如用况图、顺序图、活动图,自动生成软件使用模型。     

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

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

软件可靠性测试及其实践

软件可靠性测试是软件可靠性工程的一项重要工作内容,是满足软件可靠性要求、评价软件可靠性水平及验证软件产品是否达到可靠性要求的重要途径。本文探讨、研究了软件可靠性测试的基本概念,软件可靠性测试过程以及软件可靠性测试中的主要问题,还介绍了一个实际软件的可靠性测试工作。     

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

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

软件可靠性建模研究

依据软件可靠性特征,提出以解决软件开发逻辑思维正确性为建模基本问题的可靠性建模思想。给出基于失效过程的软件可靠性定义,以及一种基于“任务-事件-功能”的软件体系结构准则,进行了形式化描述和理论证明。阐述从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法,在建模中融合了软件可靠性设计以及软件测试和管理。     

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

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

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

给出了软件可靠性工程的实施框架,它规范了软件可靠性评估的过程。文章还提出一个软件可靠性评估系统的体系结构。并给出了实现所需要的一些关键技术。已经依此实现了一上软件可靠性评估系统ＣａＳｏＲ（Ｃｏｍｐｕｔｅｒ ａｉｄ Ｓｏｆｔｗａｒｅ ｏｆ Ｒｅｌｉａｂｉｌｉｔｙ）,并已经被实际应用。     

软件可靠性保证与评测技术

软件可靠性评测是对软件进行测试,通过采集系统运行期间的软件可靠性参数,运用统计技术进行处理并评估软件可靠性的过程。在软件生存期中,有效地控制影响软件可靠性的各种因素,才能提高软件可靠性,实现软件产品的无故障运行。文中着重介绍了提高软件可靠性的方法和技术以及软件可靠性的评测技术。     

软件可靠性预测技术研究

首先分析多种软件可靠性预测模型，指出其不足；充分考虑了模块内复杂度和模块间关系以及改错能力对可靠度的影响后，提出一种正交体系结构下基于Markoff链的软件可靠性定量分析方法。该方法考虑了复杂度、开发能力、修改能力和使用频率对软件可靠性的影响，使用时对数据的要求不严格，易满足，可用于软件开发中后期。     

软件可靠性保证与评测技术

软件可靠性评测是对软件进行测试,通过采集系统运行期间的软件可靠性参数,运用统计技术进行处理并评估软件可靠性的过程.在软件生存期中,有效地控制影响软件可靠性的各种因素,才能提高软件可靠性,实现软件产品的无故障运行.文中着重介绍了提高软件可靠性的方法和技术以及软件可靠性的评测技术.     

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

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

军用软件可靠性测试管理中模型的应用

软件可靠性测试是软件开发过程中的一个重要环节,将软件可靠性增长模型应用到软件可靠性的测试过程中,可以为测试的进行提供有价值的管理决策依据。军用软件可靠性的测试及管理是控制军用软件质量的重要方法。该文给出了一种军用软件测试管理模型,在此基础上进一步讨论了Musa模型在测试管理中的应用,最后对实例进行了分析。     

基于软件过程的软件可靠性预测运作模型

提出了基于软件开发过程数据,构造用于可靠性预测的过程数据库,并分析了此数据库的内容与运作模型,以期得到更加可信、准确的软件可靠性预测结果,为后续的研究奠定数据基础.