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

马尔科夫链模型 在软件可靠性测试中的应用研究 马海云,张忠林 计量技术 2007．No 9 汇报人：程绪超 导航 概述 软件可靠性测试方法(运用马尔科夫链模型) 实例分析 总结 LOGO 一、概述(为什么写这篇文章) 现行的软件可靠性分析方法禁锢了人们从更简 单层次对软件系统的可靠性进行研究。基于上述认 识，为了缩短软件测试周期，文中提出了一种新的 软件可靠性测试分析方法。该方法把马尔科夫链模 型运用于软件可靠性测试中，在测试过程中使用了 新的评判准则分析测试结果，通过实例证明了该评 判准则的实用性和有效性，从而为更快速地评估软 件的可靠性提供了可能。 LOGO 二、软件可靠性测试方法 马尔科夫链模型 2.1 马尔科夫过程及马尔科夫链 2.2 马尔科夫链模型 测试模型 2.3 构造模型 2.4 测试策略 测试方法的特点 LOGO 2.1 马尔科夫过程及马尔科夫链 马尔科夫过程(MarKov Process)是一个典型的随机过程。设X(t) 是一随机过程，当过程在时刻t0所处的状态为已知时，时刻t(tt0) 所处的状态与过程在t0时刻之前的状态无关，这个特性成为无后 效性。无后效的随机过程称为马尔科夫过程。 注：马尔科夫过程可以简单地这样表述 —— 给定过程的“现在”，它的“将来”与“过去”无关 马尔科夫链是时间离散、状态离散的马尔科夫过程。 满足： t+l时刻系统状态的概率分布只与t时刻的状态有关，与t时刻以前的状 态无关； 从t时刻到t+l时刻的状态转移与t 的值无关。马尔科夫链中，各个时刻 状态的转变由一个状态转移的概率矩阵控制。 LOGO 2.2 马尔科夫链模型 一个马尔科夫链模型可表示为M =(S，P，Q)，其中各元的含义 如下： ① S是系统所有可能的状态所组成的非空的状态集，有时也称之 为系统的状态空间，它可以是有限的、可列的集合或任意非空集。 本文中假定S是可数集(即有限或可列) 。用小写字母i，j(或S ，S ) i j 等来表示状态。 ②P= ׀P ׀ 是系统的状态转移概率矩阵，其中P 表示系统在时刻t ij n ×n ij 处于状态i，在下一时刻t+1处于状态j 的概率，N 是系统所有可能 的状态的个数。对于任意i ∈S，有 N ∑p ij 1 j 1 ③Q=[q 、q ⋯q ]是系统的初始概率分布,q 是系统在初始时刻处于状 1 2 n i 态i 的概率，满足 N q 1 ∑ i