论文范文 基于规约的构件黑盒测试支持平台的设计与实现.docVIP

硕士研究生学位论文 题目: 基于规约的构件黑盒测试支持平台的设计与实现 基于规约的构件黑盒测试支持平台的设计与实现 摘 要 随着软件测试的开销在整个软件开发过程中所占的比重不断增大，高效的自动化测试越来越突显其在软件测试过程中的重要性。自动化测试除了能有效的降低测试开销、提高测试复用的水平、还可以弥补手工测试中测试充分度低，测试用例数量难以提高等不足。近年来，为了更好的实施测试自动化过程，大量的测试工具软件被开发出来。但随着软件本身的不断发展变化，新的测试对象、测试实施环境的改变都会导致原有的测试方法与测试工具不再适用。 EJB构件技术是近来年被广泛应用的商业化构件技术，它的应用同样带来了软件开发与测试形式的转变。构件的开发与复用过程各自独立，开发者所发布的构件信息中能用于黑盒测试的往往有限。构件分布式的使用方式也使得测试过程的实施更加复杂化。 为更有效的实施针对EJB构件的测试自动化，本文提出了一个以规约的自动化验证为核心的EJB构件黑盒测试方案。规约由构件测试者提出，是对构件功能的一种描述，用于指明在输入数据满足一定约束的条件下，构件的输出所应满足的约束。测试系统将依据这样的规约，生成可执行的EJB构件远程客户端检测程序与相应的测试数据，并自动化执行测试，通过在测试执行中判断规约是否被违反来达到对构件功能的验证。 系统同时也实现了一种基于规约变异的测试数据分析方法，通过分析已有测试数据杀死规约变异体的能力来估计测试所能达到的充分度，并在此基础上对测试数据进行一定的筛选与优化。 为方便用户的使用和更全面的支持测试过程，本文还提出了一个基于Internet的开放式构件黑盒式测试平台的设计。通过访问Web页面，用户可以方便的设定测试目标、组织和实施测试过程。平台提供对构件相关的测试信息与测试结果的统一管理，多用户间可以借助于测试平台实现测试信息的充分共享。 在本文的最后，给出一个实例研究，并对将来的改进方向做了一些探讨。 关键词：测试自动化、测试平台、构件规约、前/后置条件、测试数据生成、测试程序生成、测试充分度 The Design and Realization of Supporting Platform of Component Black-box Testing Based on Specification Abstract With the increasing proportion of software test cost in the whole course of software development, efficient test automation is becoming more and more important in the process of software test. Automation test can not only reduce the test cost, increase the level of test reusing, but also make up the disadvantages of low test coverage in manual test, and the low amount of the test data. In recent years, in order to put the process of the software test automation into practice, a great number of testing tools have been developed. But with the increasing development of software itself, the change of new test subjects and test environments will lead to the decreasing use of the utilization of the original test methods and tools. EJB technique is a business component technique which is widely used in recent years, its utilization also brings the changes of software development and software test. The development and reusing process of components are independent respectively, the component informati