Web应用测试是保障Web应用质量一种非常有效的手段,对提高Web应用的可靠性与安全性至关重要。由于Web应用的一些不同于传统软件的特点,例如动态性,分布式,多样性等,给Web应用的测试带来了极大的挑战。因此,需要对传统软件测试方法进行改善或者研究新的适合Web应用的测试方法。基于模型的Web应用测试技术是一种针对Web应用测试的新途径与方法。通过对Web应用的结构与行为进行分析,构建出对应的模型,然后利用该模型生成测试用例,从而实现Web应用测试的自动化。基于导航模型的Web应用测试方法主要分为导航模型的构建和测试用例生成这两个部分。首先通过对Web应用进行自动的信息提取,得到Web页面中的表单与链接等元素,并分析出各个Web页面之间的导航关系,然后利用得到的Web站点结构信息来构建Web应用的导航模型,同时提出了等价类URL划分的方法来解决导航模型中的状态空间爆炸问题。接着为了使后续Web应用的测试更加自动化,将构建好的导航模型转换成FSM模型,这个过程保证了状态与迁移的不变性。然后利用状态迁移法将FSM模型构造成一棵状态迁移树,同时利用树中状态节点是否与用户存在输入交互这一特性来对状态迁移树进行约简,最后通过遍历约简后的状态迁移树获得所需要的测试用例。实验结果表明,基于导航模型的Web应用测试方法在实际应用中可以有效约简导航模型的状态空间数量,同时生成的测试用例冗余程度更低,能有效减少Web应用的测试成本,实现了预期的研究目标。