基于UML和XML的测试规范形式化描述

摘要：

针对分布式系统的测试,需要测试环境及测试规范的支持,文档性质的测试规范不适合计算机仿真的测试环境.为了使测试规范,可以直接应用于测试环境.创造性地用针对系统的建模方法剖析文档性质的规范.通过一种特殊的类划分及关联方法,对测试规范建立基于UML类图的概念层静态模型,并根据一种从UML类图到XML Schema的三层设计方法将其转换为逻辑层静态模型,最终通过映射关系得到了XML Schema,获得了可以直接用于计算机仿真测试环境的形式化测试规范,这种形式化的测试规范具有较好的完整性与一致性.

关键词：软件测试、形式化描述、UML、XML Schema

所属期刊栏目：34

分类号：TN911-34

在线出版日期：2011-07-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：91-94