计算机软件可靠性设计研究

本文介绍了软件可靠性设计的基本概念,软件故障产生的机理,软件质量的可靠性参数,并且着重介绍了软件可靠性设计方法。     

虚拟振动测试分析系统的的软件可靠性测试分析

介绍了应用动态链接库DLL技术构成虚拟振动测试系统的原理方法和编程特点,分析了虚拟振动测试系统的软件可靠性测试分析方法,提出虚拟振动测试分析系统的软件可靠性评价指标,分析了软件故障产生原因以及提出减少故障发生方法。     

关于软件可靠性测试的若干问题

软件可靠性测试是软件测试的一种形式,它强调软件测试与软件可靠性之间的定量关系,旨在定量改进和评估软件可靠性。从数学角度严格量化软件测试与软件可靠性之间的关系是一件困难的事情。本文举例说明软件可靠性测试中的几个问题,包括软件缺陷的估计、软件测试过程的数学建模、以及软件可靠度的最优估计等。由此可知,软件可靠性测试涉及到不同领域的知识和多种数学工具。     

故障诊断专家系统软件的测试

提高软件可靠性的关键是力求减少软件中的错误。软件的错误可能来源于软件寿命周期内的各个阶段,测试工作在软件生存期中占有重要位置。本文主要讨论一个自行高炮故障诊断专家系统软件的测试。文中介绍了该软件的功能、组成、故障分离过程和测试方法。通过该软件测试的运行,以期达到减少软件中的错误,提高软件可靠性,有效地解决现代军事装备的复杂性同管理体系,人员素质之间的矛盾。     

马尔科夫链模型在软件可靠性测试中的应用研究

现行的软件可靠性分析方法禁锢了人们从更简单层次对软件系统的可靠性进行研究.基于上述认识,为了缩短软件测试周期,文中提出了一种新的软件可靠性测试分析方法.该方法把马尔科夫链模型运用于软件可靠性测试中,在测试过程中使用了新的评判准则分析测试结果,通过实例证明了该评判准则的实用性和有效性,从而为更快速地评估软件的可靠性提供了可能.     

马尔可夫链模型在软件可靠性测试中的应用

现行的软件可靠性分析方法禁锢了人们从更简单层次对软件系统的可靠性进行研究。基于上述认识,为了缩短软件测试周期,文中提出了一种新的软件可靠性测试分析方法。该方法把马尔可夫链模型运用于软件可靠性测试中,在测试过程中使用了新的评判准则分析测试结果,通过实例证明了该评判准则的实用性和有效性。从而为更快速地评估软件的可靠性提供了可能。     

软件分域测试可靠性评估的注记

软件可靠性评估是软件可靠性研究的重要问题。文中通过反例证明了分域测试的Thayer-Lipow-Nelson评估方法是不正确的，将样本点百序法用于分域产生可靠性评估，获得了软件可靠性置信下限。最后给出一个实例说明该方法的可行性。     

软件测试数据的统计分析

软件可靠性评估是软件可靠性研究的重要问题,本文研究了软件测试数据的样本点序法,获得了软件可靠度的置信下限,证明了该置信限的最优性。最后给出一个实例说明该方法的可行性。     

软件无失效测试数据的统计分析

软件可靠性估计是软件可靠性研究的重要问题之一，文中对分布式软件系统可靠性的评估方法进行了研究．给出了软件系统可靠度的最优置信下限．最后以某大型软件的评估为例，说明该方法的应用。     

极紫外成像仪信息处理FPGA仿真测试与验证

为保证软件可靠性,仿真测试成为FPGA设计开发中不可或缺的重要环节。结合用于地球等离子体层探测的极紫外成像仪项目,对其信息处理FPGA进行代码规则检查、静态分析、波形仿真等仿真测试,测试结果表明FPGA设计满足功能和性能需求,通过成像实验验证FPGA工作正常、可靠。     

舰载指控系统软件可靠性模型分析

在对软件可靠性模型领域的众多模型进行全面分析研究的基础上，通过对从事海军指挥控制系统软件研制单位的部分专家的实地调查，运用Ｂａｙｅｓ检验方法对专家信息进行处理，进而提出了适合舰载指挥控制系统的软件可靠性推荐模型。借鉴Ｓｃｈｎｅｉｄｅｗｉｎｄ模型在美国航天飞机飞行控制系统模型评估中的成功应用，把Ｓｃｈｎｅｉｄｅｗｉｎｄ模型参数估计的思想方法运用到我们所选择的舰载指控系统软件可靠性模型中，并给出了用数     

多任务处理软件可靠性分配模型研究及应用

对各类软件可靠性分配模型研究基础上,针对多任务处理软件提出一种基于任务的可靠性分配模型及技术方法,并以某多任务处理软件为实例进行指标分配验证,分配结果表明,在满足系统或软件任务书可靠性的情况下,能够实现多任务处理软件可靠性指标分配。     

软件质量保证技术研究综述

概述了软件可靠性研究的必要性，从软件开发过程管理，质量保证标准，测试技术、可靠性评估与预测以及形式化规范和验证等5个方面人出了软件质量问题的解决办法，并对所研究的成果做了介绍，最后指标了在统计测试，形式化方法方面有待进一步研究的问题。     

一个故障检测与故障修正相结合的软件可靠性增长模型

针对现有软件可靠性增长模型(SRGM)缺乏故障修正过程的可靠性分析,从故障数量上研究了故障检测过程和故障修正过程的相关性,提出了一个S形的相关性函数,并以此建立了一个故障检测与故障修正相结合的非齐次泊松过程类软件可靠性增长模型(RDC-SRGM)。通过实例应用最小二乘法对模型的参数进行了估计。实验结果表明,RDC-SRGM在故障检测过程和故障修正过程上,均比其它模型的拟合效果和预测能力更好。     

基于故障树的软件分析技术(SFTA)浅析

故障树分析法FTA(Fault Tree Analysis)是硬件可靠性、安全性分析的传统技术工具。20世纪80年代,软件的可靠性和安全性开始成为科技界关注的课题,为了适应软件可靠性和安全性分析的需要,故障树分析法被移植到软件这个新领域。故障树分析是很重要的软件分析方法。本文主要介绍了软件故障树分析(SFTA)的概念、分析步骤、用途和局限性,并结合软件实例加以说明。     

基于概率论的测试用例优化技术研究

软件可靠性测试是软件工程中的一个新的研究领域.为了缩短软件测试周期,测试用例的生成是关键.基于马尔可夫链模型,提出了一种测试用例优化技术,该理论采用适应度比例的概率方法进行优化.通过例子证明.该方法在产生均匀、优化的测试用例方面是有效的.     

软件可靠性分配的遗传模型研究

对软件可靠性分配的遗传模型进行了研究，结合相关知识缩小了基本遗传算法的搜索区域，比较灵活地处理了非线性约束条件，提高了搜索效率，避免了早熟收敛现象。此外，在基本遗传算法中增加了保优操作，从而能够在理论上保证实现分配的最优化．算例表明，该算法十分有效。     

基于假设检验的软件可靠性模型预测精度比较

提出一种基于假设检验的软件可靠性模型预测精度比较方法，该方法将模型预测值与真实值的RE(相对误差)看作随机变量，利用假设检验思想度量模型预测精度，并给出多个模型之间预测精度的比较标准。     

浅谈基于分层混合专家网络的组合模型

随着软件应用的日益广泛及其重要性的不断增加,人们对软件质量的要要求也越来越高。软件可靠性作为衡量软件质量的重要特性,其定量评估和预测已成为人们关注和研究的重点。本文提出将分层混合专家网络模型运用于模型的组合及选择,阐述了该方法的原理及思路,对各独立模型及组合模型进行数据验证及比较,进而验证了该方法的优越性。     

实现构件软件可靠性分析的改进的可加模型

可加模型是构件软件可靠性分析领域中的创新式尝试,建立了构件软件应用的非齐次泊松过程(NHPP)类模型.但是可加模型中没有采用白盒方法分析构件软件应用的体系结构,并且它假设构件的NHPP模型已知,而不考虑如何根据构件软件的实际测试过程来建立构件的NHPP模型.本文针对可加模型存在的问题进行改进.利用仿真方法实现构件测试剖...