摘要

Web应用中有许多动态生成的页面,取决于当时的系统状态、用户输入等条件,现有方法难以自动判断其是否是预期页面。为此,提出一种自动判断该页面是否是预期的方法,该方法基于一个知识库(Cyc),用知识的形式来表示一个Web应用的规格说明,然后依据此规格说明,对生成的页面进行判断。