本文提出的基于统计方法的软件测试方法，是能生成具备一定充分性的测试 用例的方法，是更适合软件工程实践的测试方法。该方法根据用户对软件的使用 方式展开，对使用频繁的操作会进行更多的测试，因此可以有效地发现那些对软 件可靠性影响较大的错误。统计测试首先构造出软件的马尔科夫链使用模型，根 据该使用模型生成测试用例，实施测试后按照统计学模型对测试结果进行分析， 从而评价软件可靠性和质量。鉴于关软件可靠性测试用例充分性准则的研究较少， 本文提出了如何判断测试用例充分性的新方法。