软件测试是软件工程的一个重要阶段,也是保证软件质量的重要手段,占用了软件开发过程中大量资源,然而软件测试却缺乏较好的理论基础,测试用例的选择往往是根据测试人员经验做出的,充满了个人的色彩和主观性。从而造成了软件质量不符合用户需求,降低客户对软件质量满意度的结果。本文提出的基于统计方法的软件测试方法,是能生成具备一定充分性的测试用例的方法,是更适合软件工程实践的测试方法。该方法根据用户对软件的使用方式展开,对使用频繁的操作会进行更多的测试,因此可以有效地发现那些对软件可靠性影响较大的错误。统计测试首先构造出软件的马尔科夫链使用模型,根据该使用模型生成测试用例,实施测试后按照统计学模型对测试结果进行分析,从而评价软件可靠性和质量。鉴于关软件可靠性测试用例充分性准则的研究较少,本文提出了如何判断测试用例充分性的新方法。在研究基于统计方法的软件测试基础上,本文设计实现了一个基于马尔科夫链模型的统计测试工具“MBCGA”,它实现了构建软件马尔科夫链使用模型,参数分析,生成测试用例,分析测试用例等功能,帮助测试人员生成具备充分性的测试用例,为测试人员提供了一个实用、易操作的基于统计方法进行软件测试的辅助工具。利用统计测试工具“MBCGA”对车辆动力舱计算机辅助布局设计系统进行测试。更好地验证了基于统计方法的软件测试是一种有效加高效的测试方法,是成功的基于模型的软件测试,可以很好的用于软件可靠性评估与预测。