论文部分内容阅读
针对Web应用的特点，从整体功能层面和交互行为层面用UML协作图构建了Web应用模型，以便精确、有效地描述参与协作对象问的结构关系和交互行为，保证在利用UML形式的规格说明推导测试用例时所需的语义信息。研究了运用Object-Z语言来形式化描述Web应用模型，提出了相应的转换规则。设计了形式化规格说明自动化生成的工具（IMfTOZ）中的主要相关类库。