【作者】 沙晓婷；

【导师】 查建中；

【作者基本信息】 北京交通大学 ， 软件工程， 2008， 硕士

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

【Abstract】 Software testing is an important stage of software engineering, it’s also an important instrument to ensure software’s quality.Software testing costs so much resource, but it lacks of great theory base. The testcases are always chosen by testers’ experience, and also full of individual idea and subjectivity. So it results in that the software’s quality isn’t according to users’ standard, and it reduces users’ degree of satisfaction about the software’s quality.This paper proposes a software 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 evaluate 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 helps testers to get testcases own strong sufficiency. It provides to testers an applied, easy-manipulative test tool based on statistical method.Using statistical testing tool "MBCGA" to test Vehicle engine compartment computer aided layout design system can validate software testing based on statistical method is a test method with strong availability. And it’s a successful software test based on model, so it can evaluate and forecast the software’s reliability.更多还原