本文提出的基于统计方法的软件测试方法，是能生成具备一定充分性的测试

用例的方法，是更适合软件工程实践的测试方法。该方法根据用户对软件的使用

方式展开，对使用频繁的操作会进行更多的测试，因此可以有效地发现那些对软

件可靠性影响较大的错误。统计测试首先构造出软件的马尔科夫链使用模型，根

据该使用模型生成测试用例，实施测试后按照统计学模型对测试结果进行分析，

从而评价软件可靠性和质量。鉴于关软件可靠性测试用例充分性准则的研究较少，

本文提出了如何判断测试用例充分性的新方法。

在研究基于统计方法的软件测试基础上，本文设计实现了一个基于马尔科夫

链模型的统计测试工具“MBCGA’’，它实现了构建软件马尔科夫链使用模型，参

数分析，生成测试用例，分析测试用例等功能，帮助测试人员生成具备充分性的

测试用例，为测试人员提供了一个实用、易操作的基于统计方法进行软件测试的

辅助工具。

利用统计测试工具“MBCGA”对车辆动力舱计算机辅助布局设计系统进行测

试。更好地验证了基于统计方法的软件测试是一种有效加高效的测试方法，是成

功的基于模型的软件测试，可以很好的用于软件可靠性评估与预测。-This paper proposes a SOfhare testing method based on statistical．It is a method

that Can generate sufficient testcases，and it is also a method more fit for software

practice．This method bases on the users’using mode，and pays more attention to

frequent operation，SO it’S effective to find the mistakes that own much more influence．

Statistical testing constructs software’S Markov chain usage model firstly,generates

testcases according to usage model，analyses the test result according to statistical

model after test the software，then　uate the software’S reliability and quality．Rule of

judging adequate testcase about software’S reliability is deficient，SO this paper proposes

a new method that Can generate sufficient testcases．

With the basis of statistical testing theory，this dissertation designs and develops a

statistical testing tool“MBCGA”based on Markov chain，it supports Markov chain

usage model building，parameters analysis，test cases generation and analysis and SO on．

It