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

　测量与设备　 马尔科夫链模型在软件可靠性测试中的应用研究 马海云1 ,2 张忠林2 ( 1 天水师范学院数信学院 ,天水 741001 ; 2 兰州交通大学信息与电气工程学院 ,兰州 730070) 摘　要 　现行的软件可靠性分析方法禁锢了人们从更简单层次对软件系统的可靠性进行研究。基于上述认 识 , 为了缩短软件测试周期 ,文中提出了一种新的软件可靠性测试分析方法。该方法把马尔科夫链模型运用于软 件可靠性测试中 ,在测试过程中使用了新的评判准则分析测试结果 ,通过实例证明了该评判准则的实用性和有效 性 ,从而为更快速地评估软件的可靠性提供了可能。 关键词 　软件可靠性 ;软件测试方法 ;测试用例 ;马尔科夫链 ;马尔科夫链模型 ) 2 从 t 时刻到 t + 1 时刻的状态转移与 t 的值 0 引言 无关。一个马尔科夫链模型可表示为 M = ( S , P , 软件测试在软件生存周期中占有重要地位 ,这 Q) , 其中各元的含义如下 : 不仅因为测试阶段占用的时间、花费的人力和成本 ① S 是系统所有可能的状态所组成的非空的 占软件开发的很大比重,而且它直接影响着软件的 状态集, 有时也称之为系统的状态空间, 它可以是有 质量 ,是保证软件可靠性的重要方法之一 ,其目的是 限的、可列的集合或任意非空集。本文中假定 S 是 ( ) [1 ] ( ) ( 保证发现软件缺陷 错误 。目前 , 简化测试难 可数集 即有限或可列 。用小写字母 i , j 或 S i , 度、提高测试准确性的测试方法的研究已经成为测 Sj ) 等来表示状态。 试的发展方向。在对文献[2 - 4 ] 中提出了一些用于 ② P = | p ij | n ×n 是系统的状态转移概率矩阵, 异常检测的 Markov chain 模型学习的基础上 ,探索 其中 p ij 表示系统在时刻 t 处于状态 i , 在下一时刻 t 出了一种实用性强的测试方法。 + 1 处于状态 j 的概率, N 是系统所有可能的状态 N 1 　马尔科夫链模型 的个数。对于任意 i ∈S , 有 p ij = 1 。 j = 1 11 　马尔科夫链的基本概念 ③ Q = [ q 、q …q ] 是系统的初始概率分布, 1 2 n 马尔科夫过程是研究事物的状态及其转移的理 N q 是系统在初始时刻处于状态 i 的概率, 满足 q