Web应用是全球信息基础组织的重要组成部分，因此，必须保证其行为的正确性，彻底检测其功能。已有一些辅助自动检测错误的工具，如VeriWeb等。此外，研究者也提出很多方法，用来验证其功能需求。然而，这些方法和工具通常难以解决这一问题：自动判断生成页面(在当前页面提交表单或点击某个链接后所产生的后续页面)是否是预期的。 为了解决这个问题，本文提出了一种基于本体的方法来自动判断该生成页面是否与预期结果一致的方法。该方法首先用本体对Web应用的规格说明进行建模，然后利用该本体来验证生成页面。每次验证Web应用前，通常都需手工输入相关领域知识进Cyc本体库。为了避免这种情况，成功地重用了先前存储在Cyc库中的规格说明来验证当前的系统，并且这些规格说明已被验证并确保正确。 论文的工作主要包括以下几个方面：(1)深入地分析了现存的关于Web应用自动化验证的相关方法和技术，并指出其不足之处，如自动化程度低、逻辑错误检测不全面等。为此，提出了一个新的基于本体的方法来建模Web应用并且验证其功能需求。(2)提出了用SME(structure-MappingEngine)对先前的规格说明片段进行重用，能有效节省手工输入相关知识的时间和精力。(3)引入了特征概念的概念，并指出这些特征概念一起反映了Web应用的主要的业务逻辑，从而可以把主要精力集中在验证这些特征概念上。实验表明：本文提出的方法，成功地检测到了预先注入的所有的相关逻辑错误。