基于V模型的软件测试方法研究-计算机软件与理论专业论文.docxVIP

摘要 随着社会的发展和计算机技术的提高，软件系统的规模在不断扩大，软件需求也日益复杂， 对软件质量的要求也越来越高。软件测试技术就是保证软件质量最主要的手段，它可以有效地提 高软件的可靠性。 本文针对测试过程模型和测试方法对软件测试进行了研究。 在整个测试过程模型的发展历程中，先后出现了瀑布模型、V 模型、W 模型、前置测试模型 等多个具有代表性的测试过程模型，它们都从不同的角度对测试进行了阐述。在本文中，通过对 这些模型进行分析和归纳，秉持着要把测试融入到整个软件开发生命周期的理念，对每一个测试 阶段中间交付的产品和文档的变化都进行修改测试。并且随着全球化发展的程度越来越高，要求 软件的适用范围越来越广，对软件进行国际化测试，保证其符合相应的语言环境和文化习惯，使 软件更适应全球市场经济的发展。 在软件测试的过程中，生成测试用例是软件测试的关键和难点。好的测试用例可以有效地降 低测试的复杂度，提高软件测试的质量和效率。基于形式规格说明具有准确性和无二义性的特点， 本文提出了一种基于 Z 规格说明生成测试用例的方法，使用分类树的方法和域测试策略技术有效 地产生了正确测试用例、错误测试用例和边界测试用例，并且通过实例进行了进一步的说明。 关键字：测试过程模型，形式规格说明，分类树，域测试 Abstract With the development of the society, the improvement of the computer science and the scale of the software system continue to expand, the demand for the software quality requirements have become more and more sophisticated. The software testing, which can improve software reliability effectively, is the main means to ensure the software quality. In this paper, research on software testing focuses on testing process models and testing methods. In the developing of testing process models, waterfall model、V model、W model、pre-test model which are representative , have appeared in turns. They describe the testing from the different aspects. In this paper, through analyze and summarize those models, and uphold the concept what puts testing into the whole life cycle of software development, the model tests all the intermediate deliverables products and documents of every stage after modified. With increasingly globalize, the applicable scope of software is demanded more and more widely. International testing makes sure software conform the language environment and cultural practices, and makes software adapt to the global market economy. In the testing process, the important point is the generation of test cases. A good test case can reduce the complexity effectively and improve the quality of the software testing. Based on the formal specification characteristics of accuracy and unambiguous, this paper presents a method