利用随机Petri网分析软件可靠性.PDFVIP

第２６卷第８期　　　 计算机应用与软件 Ｖｏｌ２６Ｎｏ．８ ２００９年８月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ａｕｇ．２００９ 利用随机Ｐｅｔｒｉ网分析软件可靠性 李 妍 琛 （胜利油田物探研究院　山东东营２５７０２２） 摘　要　　提出一种基于随机Ｐｅｔｒｉ网的软件可靠性分析方法。该方法的可靠性模型可以很好地描述软件系统的动态变化过程，并 可以得到软件系统处于各个状态的瞬时及稳态概率，为系统运行一定时间后的可靠性情况提供有利的分析手段。此外，所获得的结 果也可以直接用于指导后期的开发过程。 关键词　　随机Ｐｅｔｒｉ网　软件可靠性　瞬时可靠度　马尔可夫链 ＡＮＡＬＹＺＩＮＧＳＯＦＴＷＡＲＥＲＥＬＩＡＢＩＬＩＴＹＢＹＵＳＩＮＧＳＴＯＣＨＡＳＴＩＣＰＥＴＲＩＮＥＴ ＬｉＹａｎｃｈｅｎ （ＳｈｅｎｇｌｉＧｅｏｐｈｙｓｉｃａｌＲｅｓｅａｒｃｈＩｎｓｔｉｔｕｔｅ，Ｄｏｎｇｙｉｎｇ２５７０２２，Ｓｈａｎｄｏｎｇ，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　ＩｎｔｈｉｓｐａｐｅｒｉｔｇｉｖｅｓａｎａｐｐｒｏａｃｈｂａｓｅｄｏｎｓｔｏｃｈａｓｔｉｃＰｅｔｒｉｎｅｔｔｈａｔｃａｎｅｖａｌｕａｔｅｓｏｆｔｗａｒｅｒｅｌｉａｂｉｌｉｔｙ．Ｔｈｅｓｏｆｔｗａｒｅｒｅｌｉａｂｉｌｉｔｙ ｍｏｄｅｌｂｕｉｌｄｂｙｔｈｉｓｍｅｔｈｏｄｉｓａｂｌｅｔｏｄｅｓｃｒｉｂｅｔｈｅｄｙｎａｍｉｃｃｈａｎｇｅｐｒｏｃｅｓｓｏｆｓｏｆｔｗａｒｅｗｅｌｌａｎｄｔｏｇｅｔｔｒａｎｓｉｅｎｔａｎｄｓｔｅａｄｙｓｔａｔｅｐｒｏｂａｂｉｌｉｔｙｏｆ ｓｏｆｔｗａｒｅｓｙｓｔｅｍｉｎｖａｒｉｏｕｓｓｔａｔｅｓ，ｗｈｉｃｈｐｒｏｖｉｄｅｓａｐｏｗｅｒｆｕｌｍｅａｎｓｆｏｒａｎａｌｙｚｉｎｇｔｈｅｒｅｌｉａｂｉｌｉｔｙａｆｔｅｒｓｏｆｔｗａｒｅｈａｓｏｐｅｒａｔｅｄｆｏｒａｐｅｒｉｏｄｏｆｔｉｍｅ． Ｍｏｒｅｏｖｅｒ，ｔｈｅｅｖａｌｕａｔｅｄｒｅｓｕｌｔｓｃａｎｂｅｕｓｅｄｄｉｒｅｃｔｌｙａｓｔｈｅｇｕｉｄａｎｃｅｏｆｓｏｆｔｗａｒｅｐｏｓｔｄｅｖｅｌｏｐｍｅｎｔ． Ｋｅｙｗｏｒｄｓ　　ＳｔｏｃｈａｓｔｉｃＰｅｔｒｉＮｅｔ（ＳＰＮ）　Ｓｏｆｔｗａｒｅｒｅｌｉａｂｉｌｉｔｙ　Ｔｒａｎｓｉｅｎｔｒｅｌｉａｂｉｌｉｔｙ　Ｍａｒｋｏｖｃｈａｉｎ 对得到的模型加以分析化简，然后利用与之同构的马尔可夫链 ０　引　言 ＭＣ（ＭａｒｋｏｖＣｈａｉｎ）对软件可靠性进行评估。这种软件可靠性分 析方法不但可以降低可靠性描述与分析的复杂度，还可以提高 为了分析系统的可用性和可靠性，人们提出了可靠性框图、 评价和预测可靠性的精确度。 故障树、Ｍａｒｋｏｖ模型等多种分析方法。可靠性框图和故障树分 本文的随机Ｐｅｔｒｉ网模型中，圆圈表示位置，时间变迁画成 析方法虽然能够建立简明的模型，但有许多约束条件，例如要求 长方形（指数变迁）或粗棒（定时变迁），瞬时变迁画成线段。当 各基本事件在统计意义上独立；基本事件和顶事件之间的逻辑 弧的权值大于 １或为位置中标记的函数时，则标注在弧旁边。 关系确定等，而且这些模型通常无法表达系统的动态行为。 弧和变迁相连的那端加小圆圈表示该弧为禁止弧。 Ｍａｒｋｏｖ模型通过系统的状态以及状态的转移来建立可靠性模 型，它能够较全面地描述系统的动态行为。Ｍａｒｋｏｖ模型和排队 １　利用ＳＰＮ对软件进行可靠性分析和评估 论相结合可以解决具有指数分布的系统的性能分析，但很难对 Ｍａｒｋｏｖ模型进行扩展，例如在实际系统中，一旦系统资源变化， １．１　与故障事件相关的逻辑关系的表述 相应的Ｍａｒｋｏｖ链的结构就可能会发生很大的变化。