随着计算机软件技术的发展,软件产品已渗透到人们日常生活的各个领域,软件失效带给人们的影响越来越大,上至航空,航天,医疗等领域的重大经济损失或人员伤亡,下至给人们日常生活造成的不便。为了保障软件的可靠性,必须对软件进行可靠性测试,给出软件的可靠性指标,衡量是否满足用户的要求。目前,基于马尔可夫链使用模型的可靠性测试研究主要集中在两个方面:一是对软件进行马尔可夫链建模,如何使得所建立的模型能精确表现软件的实际使用;二是基于马尔可夫链使用模型的测试方法研究,即根据模型生成测试用例及测试充分性的判定。本文针对第二方面进行研究,并假设已得到软件的马尔可夫链使用模型。文章主要内容如下:首先,详细介绍软件测试、软件可靠性等概念,引入软件可靠性测试。由软件可靠性测试目的,深入分析软件可靠性测试的各种特征,明确给出软件可靠性测试的概念;之后,从测试用例生成和测试充分性判定两方面,分析现有基于马尔可夫模型的可靠性测试方法,指出其存在的不足。分析不足的根本原因,提出二阶马尔可夫链模型,并依据此模型,提出新的可靠性测试用例生成方法及测试充分性判定方法。最后实现了依据模型自动生成用例的辅助工具,利用该工具产生的数据,对文中提出的方法进行了验证。