题目：模型驱动Web应用测试中模型发现技术的研究与实现

随着网络技术的发展，Web应用成为越来越广泛的应用程序模式，Web应用的质量和测试因而也越来越受到了重视。模型驱动的测试技术是一项新颖的，充满前景的软件自动化测试方法。建模是模型驱动测试的核心步骤，测试人员根据需求创建测试模型，设计测试用例，测试系统自动生成测试脚本，通过模型进行测试的部署和调度，执行测试脚本。开展模型驱动测试，需要描述测试需求，对于模型驱动的Web应用测试也不例外。本文研究使用导航模型来表示测试需求，基于U2TP和MOF研究了Web应用的导航模型的元模型，重点研究了逆向构建导航模型的方法。为了逆向构建导航模型，本文研究了面向模型驱动测试的Web页面抓取器和页面处理器。Web抓取器和页面处理器自动解析被测系统获取元模型所定义的信息，构建导航模型图。本文研究的网页抓取器和页面处理器允许测试人员增量进行网页抓取和网页处理，允许对已经构建的模型进行重用，同时也允许测试人员从指定的某个页面进行动态扩展。如何提高网页抓取器和网页处理器的性能是本文重点研究的一个问题，本文通过引入指纹算法，有效地解决了传统网页抓取器的性能瓶颈问题。为了表示测试需求和提高测试用例设计的效率，本文研究了Web应用的特征和测试需求，并定义了相应的元模型，从而使得本文所建立的导航模型能够从Web应用功能或业务场景的角度描述测试需求。导航模型以页面导航结构为基础，从功能测试的角度将页面元素描述为具有不同功能的对象，从而把每个页面描述成一个具有业务功能的对象。基于本文所定义的导航模型，测试人员通过在模型上选择导航路径即可定义功能测试场景，从而把功能测试转变成一个页面（功能）迁移路径覆盖问题，使得自动化生成功能测试用例成为可能。