题目：Web应用建模及自动化测试技术研究

       近年来，随着Internet技术在全球范围内的飞速发展和普及，基于网络的Web技术因其便捷易用的特性得到广泛的应用，已经成为当前软件系统开发的主流，在人们生活和工作的各个方面都产生着深远的影响。随着市场需求的变化，Web应用的规模越来越大，复杂性也越来越高，Web应用的正确性、可靠性和安全性都已成为备受人们关注的事情。而Web应用具有分布、异构、并发、平台无关的特性，这使得传统的软件测试技术难以满足它的测试需求，因此探索适合于Web应用的测试方法，确保Web应用的质量是当今软件界极具挑战的课题。

       本文首先深入了解了Web应用的技术和特点，分析了Web应用现有的测试模型，在此基础上，提出了一种从对象、导航行为、系统结构三个方面进行分析的建模方法。文中分别介绍了三种模型的建模方法，扩充了以往对象模型的关系结构，将浏览器行为的影响加入到导航行为模型中，根据控制流和数据流两方面来反映系统结构。这种组合模型充分考虑了Web应用的特性，直观全面地反映了Web应用的各方面关系，为下一步形成测试用例，执行测试奠定了基础。

       其次，根据构建的对象、导航行为、系统结构模型，提出了针对每种模型的测试用例生成方法。为了方便测试生成，对象模型和导航行为模型都可以转化为有限状态机，介绍了基于有限状态机的测试用例生成技术。为了得到高质量、覆盖全面的测试用例集，还提出了基于控制流和数据流的测试充分性准则，对生成的测试用例进行精简。

       最后，依托eclipse平台的插件技术，设计并实现了一个基于模型的自动化测试插件pillar4WebTest，该插件集成于eclipse平台，可以利用selenium的自动录制功能进行自动化测试，并将测试过程以模型化的方式展现，还可以根据编辑后的模型来进行测试，得到测试结果。文中通过实验，证明了这种自动化测试方法便捷有效，并能显著提高测试效率。