软件可靠性建模概述及实例

来源 :电信技术研究 | 被引量 : 0次 | 上传用户:lk656lk55lk6
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文在对软件可靠性建模进行概述之后给出了一个模型实例。概述的内容涵盖软件可靠性的度量参数,软件可靠性模型的分类以及评价准则。模型的建立包括模型假设、性能度量、参数估计方法、数据要求。根据本文的建模结果可以方便地利用可靠性测试数据来估计待测软件的缺陷数和软件可靠性度量参数。
其他文献
通过几个微分恒等式,建立了几个非线性微分方程与线性微分方程之间解的导函数的Sturm比较定理。
构造具有三个极限环(其中两个稳定)的三次Kolmogorov系统.这个例子肯定地回答了Coleman(1982)提出的一个问题.在多项式处理中,利用了计算机代数系统Maple.
构造了一个Bernstein型求和算子Fn(f;x),并研究它的一致收敛性及收敛阶等问题。
本文在Dalal等人所提出的基于梯度方向直方图(HOG)的人体检测方法基础上进行改进,提出了基于区域HOG的人体检测方法,减少了人体特征向量的维数,降低了计算量,提高了检测速度。
软件测试是软件质量保证的重要手段,越来越受到人们的重视。本文描述了传统软件测试过程的主要模型V-模型,并在分析了V-模型优缺点的基础上给出了改进的软件测试模型W-模型。最
以第一类Tchebyshev多项式的零点作为插值节点,推广了伯恩斯坦提出的一个问题,构造了插值多项式算子Gn,b(f;x),它不仅对 f(x)∈Ca[-1,1](0ab-1,其中b为自然数)一致收敛,
本文将网络数据划分为数据流,通过提取数据流的多维特征,分别采用传统k-均值和自组织特征映射神经网络方法对其进行聚类,并运用聚类准确率和最近原型算法比较和分析了两种方法的
在充分分析DVB—s2标准中LDPC码具体特点的基础上,本文研究了适用的LDPC译码算法,然后采用部分并行的硬件体系结构,针对码长64800、码率1/2的LDPC编码格式,在单片Xilinx XC4VFX60
提出了模糊直方图的概念及其性质,给出了一种用信息分配手段去构造模糊直方图的方法,以实例说明了模糊直方图方法在自然灾害风险分析中的应用。
目前,对于相干信号测向有效的处理办法是空间平滑技术。空间平滑方法是建立在线阵的基础上的,工程中,利用线阵来进行测向的情况很少,因此空间平滑技术的使用受到了很大的限制。文