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

Formal Description of Testing Specification Based on UML & XML

作　　者：尹南[1] 邓昌琪[1] 

机构地区：[1]北京交通大学轨道交通控制与安全国家重点实验室,北京100044

出　　处：《现代电子技术》2011年第8期91-94,共4页Modern Electronics Technique

摘　　要：针对分布式系统的测试,需要测试环境及测试规范的支持,文档性质的测试规范不适合计算机仿真的测试环境。为了使测试规范,可以直接应用于测试环境,创造性地用针对系统的建模方法剖析文档性质的规范。通过一种特殊的类划分及关联方法,对测试规范建立基于UML类图的概念层静态模型,并根据一种从UML类图到XML Schema的三层设计方法将其转换为逻辑层静态模型,最终通过映射关系得到了XML Schema,获得了可以直接用于计算机仿真测试环境的形式化测试规范,这种形式化的测试规范具有较好的完整性与一致性。Since the testing of distributed system needs a support of testing environment and testing specification,the testing specification in documents is not applicable to the testing environment based on computer simulation.An innovative method which analyses specification in document format with a similar way to system modeling is adapted to directly using testing specification in testing environment.By associating method and dividing classification in a special way,a static model in conceptual level for testing specification is built with UML class diagram.Then a logical model that finally maps to a XML Schema is generated from this model by a three-level design approach for converting of UML to XML Schema.This kind of testing specification with good completness and consistency can be used directly for testing environment based on computer simulation.

关 键 词：软件测试 形式化描述 UML XMLSCHEMA 

分 类 号：TN911-34[电子电信—通信与信息系统]