本课题研究用形式规格说明语言和UML以及有限状态机（FSM）等描述方式对Web应用的结构和行为建模的方法。主要包括：研究对Web应用进行分解和划分的方法、用UML(包图、协作图、构件图和部署图等)对Web应用进行结构建模的方法和用FSM对Web应用的各组成部分进行行为建模的方法以及将Web应用模型转换为形式规格说明的方法；研究从Web应用的形式规格说明产生测试用例的方法，即从抽象的测试需求通过精化与推导以及模型检查方法获得测试用例的方法；对现有的测试准则改造并开发更加有效的测试准则从Web应用模型的规格说明构造有效的测试用例。通过对测试用例进行分析评估对各种用于Web应用测试的准则进行评估。对上述方法构造工具。这一研究在学术上对Web应用建模和测试、软件验证和确认、提高软件质量有重大意义，研究成果可以广泛应用到大量的Web应用开发过程中，具有广阔的应用前景。