基于3SF技术嵌入式软件可靠性定性仿真分析

针对嵌入式系统软件可靠性设计中存在的失效问题,从可靠性的概念和特点入手,将“3F”技术—故障模式影响及危害性分析FMECA,故障树分析FTA和故障报告、分析与纠正措施系统FRACAS引入到软件可靠性定性分析中,称之为“3SF”技术。深入研究了3SF技术在软件可靠性定性分析中的应用,给出软件FMECA和FTA分析实例,并对将两者与软件FRACAS的结合作了研究。     

可靠性与维修性指标综合权衡

本文首先采用定量与定性相结合的方法，分别建立了费用、效能与可靠性、维修性的关系式。然后通过费用－效能分析的方法，把可靠性、维修性综合权衡问题转化为二元非线性规划问题。通过连续变化费用，最后得到最优组合曲线，根据最优组合曲线权衡出可靠性、维修性指标。     

考虑用户行为和排错延迟的多版本软件可靠性增长模型

软件在测试阶段和使用阶段操作环境的差别导致软件测试可靠性和运行可靠性不完全相同.软件在发布后的使用和维护阶段,软件可靠性的增长不仅体现在软件固有故障的排除,而且用户对软件的熟悉程度也会影响软件的可靠性.本文研究了软件固有故障检测过程、固有故障纠正过程和外在失效过程的特征,建立了考虑用户行为和排错延迟下的多版本软件可靠性增长模型.通过一组来自于开源软件用户缺陷跟踪系统中的真实数据进行数值分析,试验结果表明提出的模型具有较好的效果.     

一种实时多任务软件可靠性验证方法

针对软件可靠性增长模型难以满足实时多任务软件可靠性验证的可信性要求,提出了一种基于任务模块软件统计测试的实时多任务软件可靠性验证方法.该方法利用实时多任务软件的结构和运行特点,建立了一个可靠性模型并给出了模型参数的求解方法;通过该模型把待验证的软件系统可靠性指标分配到各个任务模块,然后用统计测试的方法对任务模块的可靠性指标进行验证,以达到对整个软件系统可靠性指标验证的目的.实验证明该方法的有效性和灵活性.     

基于混合体系结构的软件可靠性评估方法与应用

基于体系结构的软件可靠性模型建立在软件研制周期的初期阶段,能够对软件进行较早的可靠性分析,对早期软件结构的变更以及后期软件的更新与升级都提供了一定的指导依据。然而,早期的基于体系结构的软件可靠性模型只对单一的软件结构进行分析,这显然不满足如今同时存在多种体系结构风格的复杂软件的需求。分析了目前常用的软件体系结构风格,在基于混合体系结构的软件可靠性模型的基础上,阐述了应用体系结构模型进行评估的步骤,并结合实例进行了分析与验证。     

软件可靠性度量实例研究

为适应软件的不同特点和使用阶段,必须根据软件的具体情况,考虑在软件开发的整个生命周期中,从不同角度对可靠性进行度量和评价。在现有软件可靠性度量的基础上,选择改造了9个可用于评价软件可靠性的度量,在航天软件中进行了应用,并详细阐述了各个度量的目标、方法和过程,最后对度量结果进行了综合分析以及给出了对软件的改进建议。     

基于面向对象技术的软件可靠性预测模型

针对面向对象技术、面向对象软件工程的普遍应用 ,以前结构化程序设计理论下的软件可靠性模型解决目前的软件效果较差。提出并分析了面向对象技术软件的可靠性度量准则 ,综合可靠性理论和方法 ,给出了可靠性预测模型。结果表明可靠性度量准则提出合理 ,预测模型能较好地解决面向对象软件的可靠性预测问题。     

基于率的软件可靠性过程仿真

基于率的软件可靠性过程仿真将软件开发过程看作是由率函数控制的随机过程,是传统软件可靠性解析模型的自然扩展,可以在软件开发的早期阶段中预测软件的可靠性。通过构造不同的率函数,可以实现对不同特征的过程仿真。本文阐述了基于率的软件可靠性仿真的数学基础,提出了基于C语言的仿真实现方法,包括单事件仿真和多事件仿真。本文还应用Softrel对竞争性设计和结对编程两种工程方法对软件产品可靠性的影响进行了仿真分析。     

基于指数环境因子函数的软件可靠性增长模型

绝大部分软件可靠性增长模型采取的软件可靠性标准都是测试可靠性,实际上,软件的测试剖面很难真实地反映运行剖面,软件运行环境和测试环境不可能一致。考虑测试环境与运行环境差别,根据经验数据拟合环境因子,提出一种随时间变化的指数环境因子函数;并建立基于指数环境因子的非齐次泊松过程类软件可靠性增长模型;利用一组公开发表的数据集对模型进行评估。结果表明,本文提出的环境因子函数计算复杂度低,基于该函数的软件可靠性模型具有更好的拟合和预测能力。     

基于随机集证据推理的构件软件体系可靠性模型

将随机集证据推理应用于军事信息系统软件可靠性建模研究,采用其分析软构件故障过程,计算 软构件可靠性参数,并在此基础上构建了一个基于随机集证据推理-贝叶斯网络的军事信息系统软件可靠性模型.本模型实现了对构件软件体系全过程的可靠性跟踪和监控.仿真实验验证了该模型的实用性和有效性.本模型还可应用于对大型设备系统的故障诊断.     

软件测试费用及资源优化模型研究

软件测试是保证软件可靠性的主要手段 ,软件测试费用则是软件可靠性工程费用的重要组成部分。为对其进行研究 ,首先对Musa的软件可靠性的增长日历时间模型进行了简化 ,建立了软件测试日历时间模型。在此基础上 ,提出了软件测试费用模型 ,并结合软件开发的实际经验 ,对测试资源进行了优化     

论航天系统中软件可靠性工程

本文从工程应用角度讨论计算机软件可靠性问题,讨论了航天系统中有关软件可靠性的问题,并提出三点建议:(1)亟需加强航天软件可靠性技术应用研究;(2)软件可靠性工程研究的基本内容;(3)当前工作的几点原则。     

基于可重用性的软件维护

软件维护工具的短缺造成了软件维护费用不断上升,软件维护工具的开发又是一个很难的课题。本文提出软件重用将有助于软件维护费用的降低,软件重用技术不仅可提高软件开发生产率,还可提高软件维护生产率。本文还介绍了一个基于可重用性的软件维护方法和工具。     

适用于成组数据的Jelinski-Moranda模型研究

针对软件可靠性测试的成组测试数据，建立了适用于成组测试数据的软件可靠性Ｊｅｌｉｎｓｋｉ－Ｍｏｒａｎｄａ增长模型，并对其参数解特性进行了分析。通过分析得知，适用于成组测试数据的Ｊｅｌｉｎｓｋｉ－Ｍｏｒａｎｄａ模型的参数估计方程存在多个解，且只有在一定条件下才有合理解。最后给出了其参数解估计的有效数值算法。     

软件无线电技术在先进雷达导引头中的应用

提出将软件无线电的思想应用于雷达导引头系统的设计中，讨论了软件无线电技术在先进空空导弹中应用的关键技术、实现方案和应用前景。软件无线电技术可以大幅度缩短新装备的研制周期，降低研制费用。采用软件无线电技术的雷达导引头具有结构简单、可靠性高、易于维护升级、抗干扰性能强等优点。随着硬件性能的提高以及数字信号处理技术水平的发展，新一代先进空空导弹采用软件雷达导引头已经成为可能。     

支持软件重用的新方法

本文提出一个支持软件重用的软件开发新方法。新方法既可降低软件开发成本又可减少软件维护费用。本文还简要讨论了支持新方法的软件开发环境,本环境主要由软件重用工具、系统设计描述工具、模型建立工具和可重用软件管理工具等组成。     

软件可靠性概要

本文概述作者对软件可靠性的若干总体看法,具体技术问题不作深入讨论,甚至许多问题仅仅提及而不加展开,数以千计的有关文献也不加列举。本文试图阐述软件可靠性理论研究和工程实践的基本范畴,内容包括软件可靠性与软件工程的关系、软件可靠性的含义、软件可靠性的基本问题、国内外软件可靠性研究现状、当前软件可靠性面临的主要问题,以及当前我国软件可靠性领域应开展的工作。     

软件可靠性评估的误差分析

软件可靠性模型是评估软件可靠性的重要工具，由于受一些不为模型所控制的随机因素的制约，软件可靠性评估结果中往往含有大量的误差，给工程应用带来许多困难。在对现代计算机应用系统的故障特征、软件可靠性模型的机理及引起误差的因素进行深入分析的基础上，提出了一种误差分析法，并用之校正软件可靠性模型的评估值。     

CIMS软件可靠性保证与估计

本文论述了保证ＣＩＭＳ软件可靠性的技术，阐述了估计ＣＩＭＳ软件可靠性的方法，并讨论了软件可靠性测试时应注意的问题。     

软件可靠性模型及其参数估值技术

软件产品的可靠性评估主要取决于软件可靠性模型及其参数估值技术。本文探讨了六种软件可靠性增长模型的内在关系,提出了一个统一的软件可靠性增长模型,并从数理统计角度介绍了两种可靠性模型参数估值方法:最大似然估值法和最小均方误差估值法。最后,通过实例说明了软件可靠性模型及其参数估值技术在软件产品的可靠性评估方面的具体应用。