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

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

软件可靠性概要

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

基于未确知集的软件可靠性模型选择研究

针对目前普遍存在的软件可靠性模型应用不一致性问题,提出一种基于未确知集的软件可靠性模型选择方法.本文首先对未确知集合进行阐述,并介绍了软件可靠性模型选择的一般方法,然后将未确知集软件可靠性模型选择方法应用于一组失效数据,为该组失效数据选择一个适应性较好的软件可靠性模型,最后给出结论.     

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

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

软件可靠性模型的变点估计及仿真研究

软件可靠性模型是研究软件失效数据的重要工具,对软件产品质量的度量和评估有重要的意义.为了解决单个模型不能准确描述软件失效情况以及难以对未来的软件失效做出合理预测的问题,将变点分析引入到软件可靠性模型的问题研究,建立了有变点的软件可靠性模型,给出了软件可靠性模型变点的最小二乘估计.数值仿真表明最小二乘法适用于软件可靠性模型的变点估计,其估计结果具有好的准确性和稳健性.     

软件可靠性与费用权衡

软件可靠性与费用的关系是辩证的 :一方面增加可靠性可以减少软件的维修费用 ,避免软件因可靠性低不能使用所造成的开发费用的浪费 ;另一方面增加软件可靠性 ,大都以增加软件开发费用为代价 ,而软件成本的提高又制约了软件的销售和推广。对软件可靠性分配和软件测试终止时间的确定进行了深入分析 ,通过这两条途径实现了软件可靠性和费用的权衡。在此基础上 ,给出了在软件工程中权衡软件可靠性与费用的其它方法。     

CIMS软件可靠性保证与估计

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

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

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

软件可靠性模型评价方法与应用(Ⅰ)

本文讨论进行计算机软件可靠性模型评价工作的必要性及其实现方法,提出了软件可靠性模型评价的四条标准,并由此引入了一种进行软件可靠性模型评价的方法。在本文的(Ⅱ)中,我们将使用本方法和两组具体的软件失效数据,具体地评价两种软件可靠性增长模型:S-型模型和W-NHPP模型的性能,并讨论方法使用中的一些问题。     

成组缺陷纠正的通用指数类软件可靠性模型

指数类软件可靠性模型是应用广泛的一类软件可靠性预测模型,其基本假设之一是缺陷一经发现立即纠正。该假设过于苛刻,与实际情况不符,影响了模型的应用和预测准确性。针对通用指数类软件可靠性模型,提出了成组缺陷纠正的指数类软件可靠性模型。同时以指数类模型中的J-M模型为例,利用实际工程数据对成组缺陷纠正的J-M模型进行了验证。     

Ada在操作系统中的应用

Ada已被美国国防部选定为统一的军用实时和并发程序设计语言。它不仅适合编制应用软件,而且适合编制系统软件。操作系统是系统软件的主干项目。Ada在操作系统领域内的应用前景如何?本文讨论利用Ada实现操作系统,试图回答这个普遍关注的问题。     

信息融合技术在可靠性评估中的应用

针对复杂大系统可靠性评估中所遇到的困难 ,提出了采用信息融合技术解决该问题的思路 ,并就其实现形式及途径加以探讨。通过分析信息融合技术和可靠性评估有关的特点 ,得出了信息融合技术必将推动可靠性评估发展的结论。     

事件树方法的贝叶斯分析

事件树方法是安全风险分析的基本技术,其分析结果的可信度在很大程度上取决于控制系统失效概率估计的精度。由于可靠性试验费用昂贵,试验次数有限,因此控制系统失效概率的估计往往较粗糙。提出的贝叶斯分析方法能够有效地利用系统运行过程的事故统计数据,对控制系统失效概率进行修正,可显著提高估计的精度。     

指控系统的结构对防空战性能的影响

指挥控制系统是决定现代高技术战争胜负的关键因素，其重要性越来越受到国防和军事部门的重视，而系统的决策模型又是整个系统性能好坏的基础。建立了某防空指挥控制系统的变结构Petri网决策模型，并通过性能评估验证了变结构模型在提高系统抗毁性和灵活性等性能指标方面的作用。     

具有不确定性的多态系统可靠性

在对多态系统进行可靠性分析时,由于很难精确地估算元素各个状态的概率,人们常常利用模糊隶属函数及概率区间来表示这些概率。介绍了用模糊及区间模型估算多态系统可靠性的方法,并介绍了元素不确定性重要度的算法。在LevV.Utkin提出的元素不确定性重要度算法基础之上,提出了不确定性重要度的改进算法。改进算法不仅全面考虑了区间概率的不同含义,而且提高了可靠性分析的精度和可信度。     

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

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

红外气溶胶烟幕干扰效果的定量评估

红外气溶胶烟幕技术能有效对抗先进的光电武器,尤其是成像制导。定量评估干扰效果是衔接论证、研制、生产直至使用等各阶段工作的软技术接口,具有重要意义。但通常要求相当熟悉对方的光电制导机理,鉴于军事原因,难度较大。提出了基于灰色系统观点的定量评估方法,并导出其数学模型,通过计算机仿真研究及讨论,获得了一系列结论。     

2型模糊集对率模系统可靠性分析的推广

鉴于2型模糊集对于模糊现象的描述更为深刻的特点,将系统的模糊成功和模糊故障用2型模糊集表示,引入模糊随机变量等数学工具对率模系统可靠性进行了分析,得到了率模可靠度,率模寿命,率模故障率等结论,推广了文献［1］的结果     

一种基于模糊数算术运算的可靠性分析方法

可靠性是产品在规定的条件下和规定的时间内完成规定功能的能力。传统的可靠性分析方法是基于概率论的,其失效概率通常应根据大量的第一手数据进行估计。然而,实际上不可能收集到足够多的第一手数据。因此,这些失效概率通常是通过其它领域的参考数据,根据专家的工程和经验来判断估计的,这类判断通常与主观性和模糊性密切相关。为了处理这种主观性和模糊性,需要一种基于模糊数学的可靠性分析方法。提出了一种基于三角形模糊数算术运算的可靠性分析方法,并给出了应用该方法的一些例子。结果表明,该方法可以较好地表示失效率数据中存在的不确定性,而且其计算也十分简单。     

战争设计工程技术研究

在机械化战争向信息化战争发展过程中需要新的战争问题研究方法.战争设计工程把"设计"和"工程化"的思想引入到战争问题研究中,克服了以往研究方法中军事理论研究和装备研究分离的缺点,能够综合集成军事研究各领域专家的智慧.文章对战争设计工程的基本思想、基本流程和关键技术进行了初步阐述.