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

2011年 4月 I5日 现代电子技术 Apr．2011 第 34卷第 8期 ModernElectronicsTechnique Vo1．34No．8 基于 UML和XML的测试规范形式化描述 尹 南 ，邓 昌琪 (北京交通大学 轨道交通控制与安全 国家重点实验室 ，北京 100044) 摘 要 ：针对分布式系统的测试 ，需要测试环境及测试规范的支持 ，文档性质 的测试规范不适合计算机仿真的测试环 境 。为 了使测试规范，可 以直接应用于测试环境 ，创造性地用针对系统 的建模方法剖析文档性质 的规 范。通过一种特殊的 类划分及 关联方 法，对测试规 范建立基 于UMI类图的概 念层静态模型 ，并根据 一种从 UMI类 图到 XMISchema的三层设 计方疾将其转换为逻辑层静态模 型 ，最终通过 映射关系得到 了XMISchema，获得 了可以直接用于计算机仿真测试环境的形 式化测试规 范，这种形式化的测试规范具有较好 的完整性 与一致性 。 关键词 ：软件 测试 ；形式化描述 ；UMI；XM ISchema 中图分类号 ：TN9l1—34 文献标识码 ：A 文章编号 ：l004—373X(2O11)08—0091一O4 FormalDescriptionofTestingSpecificationBasedonUM L XM L YIN Nan，DENG Chang—qi (StateKeyLaboratoryofRailTrafficControlandSafety，BeijingJiaotongUniversity，Belling100044．China) Abstract：Sincethetestingofdistributedsystem needsasupportoftestingenvironmentandtestingspecification，thetes tingspecification in documentsisnotapplicabletO the testing environmentbased oncomputersimulation．An innovative methodwhichanalysesspecification indocumentformatwithasimilarwaytosystem modeling isadaptedtodirectlyusingtes— tingspecification intestingenvironment．Byassociatingmethodanddividingclassification inaspecialway。astaticmodelin conceptuallevelfortestingspecification isbuiltwith UM I classdiagram．ThenalogicalmodelthatfinallymapstoaXM I Schemaisgeneratedfrom thismodelbyathree—leveldesignapproach forconvertingofUM I，tOXM I Schema．Thiskindof testing specificationwith good completnessand consistency canbeused directly fortesting environmentbased on computer simulation． Keywords：softwaretesting；formaldescription；UM I；XM I Schema 序列，用于测试。同时，系统的高复杂性需要该系统执 0 引 言