软件可靠性是衡量软件质量的一个重要指标,软件可靠性测试是确保和提高软件可靠性的一个重要手段,在众多可靠性测试模型中,Markov模型一直是研究热点。在基于Markov模型的可靠性测试中,首先要根据软件使用情况构建相应的Markov模型,然后根据模型生成测试用例,最后执行测试用例,统计测试结果,评估软件的可靠性。整个测试的关键之一就在于如何生成测试用例。本文研究了现有的可靠性测试流程,对测试用例生成的相关技术做了深入探讨,并针对测试用例生成的各个环节进行优化。在模型构建阶段,提出了一种通过CR值构建约束,然后结合重要度和轨迹熵来优化模型的方法。在测试用例生成阶段,设计了一个快速生成测试用例的方案:通过构建基础测试路径集,然后结合快速映射的方式加速生成测试用例,取得了良好效果。在充分性判定阶段,结合已有准则的优势提出了一种混合停止准则,并给出了一种能根据期望可靠性和模型复杂度自适应调节的阈值方案。最后结合本文提出的方法,设计和实现了一个测试用例生成工具MCTGEN,并通过实验验证工具简单易用,方法切实可行。