一种基于未确知集的软件可靠性模型选择方法.pdfVIP

一种基于未确知集的软件可靠性模型选择方法 刘彦瑞1刘光远2 河北工程大学，信息与电气工程学院056038 坐坠一Y垦坠盟i@!鱼三：竺Q迹 1鱼三：鱼Q盟 ：gY丛垒垒!i丛筵2 我们首先介绍一下有关未确知数学的基本理 摘要：由于软件可靠性模型在应用时存在不一致 论。 性，本文提出了一种新的软件可靠性模型选择方法 §2．1可测空间 基于未确知集的软件可靠性模型选择方法。新方法 从模型的单个指标值出发，采用未确知集理论方法 设U为论域，需定量描述【，中元素具有某种质 为对多个指标进行综合评价，熵的方法确定指标分 (或处于某种状态)的程度，这种性质记作只称F 类权重，置信度识别准则对结果模型进行识别。最 为性质空间。设E(f-l，2，3，．．．)是F中的第i种具 后，用一个实例说明了新方法过程的简洁性和结果 体性质或状态，记作E∈F。 的合理性。基于未确知集的软件可靠性模犁选择方 定义1设由F的所有子集构成的集合为E，如 法有效地改进了可靠性模型应用的不一致性，有广 果VA∈E，则A．1∈E，即E对补运算是封闭的； 泛的应用前景。 } 关键字：软件可靠性，模型选择，不一致性，未确知集 i=1 有限个集合的并运算是封闭的，则称E为代数，是 §1引言 由F生成的代数。若再假设E对可列个集合的并也 是封闭的，即若A，∈E，则0A，∈E，，则称互是仃代 近年来，随着人们对软件可靠性越来越雨视， ’ i=l 产生了大量的软件可靠性模型及其变种，如 数。 andOkumoto Jelinsky—Moranda(J—M)模型，Goel定义2设U为论域，F是U上的性质空间， (G．O)NHPP模犁，Geometric模型，Littlewood E是F上的仃代数，称循日为可测空问。 Verrall(LV)模型，Musa．Okumoto及Musa基本执行 定义3 设(只D为可测空间，‘∈F， 时间模型等等。众多数目的lj丁靠性模型给模型的应 i=l，2，3…．，并且 用带来了极大的园难。 每一个模犁仪对一个数据 集表现出好的适用性，没有一个模型适用于所有的 辱n巧=≯矗≠力 _曩=F 1=1 数据集，这种现象被称为模型应用的不一致性 称编，B，B…)是F的一种划分。 (Inconsistency)【l】。由于提出普适模型的难度非常 定理1设【厂为论域，，为Ⅳ上的性质空间， 大，所以如何给出一种有效的软件可靠性模型选择