基于马尔可夫链模型的软件可靠性测试方法的研究

计算机软件技术在人们生活各个领域的大量应用，对软件系统的可靠性提出了很高的要求。但目前，软件可靠性测试并没有真正开展，即使在航空、航天、核能、军用、医疗等高可靠性领域也是如此。究其原因，在于现有软件可靠性测试方法存在不足。基于马尔可夫链模型的可靠性测试方法是软件可靠性测试的经典方法之一，也是目前最主要和相对成熟的一种可靠性测试方法。本论文对基于马尔可夫链模型的可靠性测试方法进行了探索性的研究和实验，主要内容如下：首先，对软件可靠性和软件可靠性测试进行介绍。重点分析了软件可靠性的特征、软件可靠性的模型表述，阐述了可靠性测试定义、可靠性测试研究的基本问题和可靠性测试步骤等。其次，分析了基于马尔可夫链模型的测试方法。详尽阐述了马尔可夫链模型的同时，重点研究了基于马尔可夫链模型测试方法的两个最主要和最基本的问题：测试充分性判定和测试用例生成算法，并指出了其中的不足。接着，提出了基于马尔可夫链模..