文章从判定语义正确性的基本准则、需求验证方法两方面分析当前研究的不足。在此基础上,针对应用本体特点,提出一个基于测试用例的需求验证模型,并深入分析测试用例的具体内涵,探讨现有的本体测试工具的特点及不足,最后总结需求验证方法与其他评价方法的区别。