原文服务方: 现代电子技术       
摘要:
针对分布式系统的测试,需要测试环境及测试规范的支持,文档性质的测试规范不适合计算机仿真的测试环境.为了使测试规范,可以直接应用于测试环境.创造性地用针对系统的建模方法剖析文档性质的规范.通过一种特殊的类划分及关联方法,对测试规范建立基于UML类图的概念层静态模型,并根据一种从UML类图到XML Schema的三层设计方法将其转换为逻辑层静态模型,最终通过映射关系得到了XML Schema,获得了可以直接用于计算机仿真测试环境的形式化测试规范,这种形式化的测试规范具有较好的完整性与一致性.
推荐文章
OpenGL图形规范的Z形式化描述
Z语言
OpenGL
形式化
顺序图的形式化方法描述
形式化方法
B方法
统一建模语言
顺序图
基于CSP和RSL的协议形式化描述技术研究
形式化描述技术
通信顺序进程
RSL
基于Pi-演算的Web服务形式化描述模型
Web服务
Web服务组合
形式化描述模型
Pi-演算
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于UML和XML的测试规范形式化描述
来源期刊 现代电子技术 学科
关键词 软件测试 形式化描述 UML XML Schema
年,卷(期) 2011,(8) 所属期刊栏目 软件技术
研究方向 页码范围 91-94
页数 分类号 TN911-34
字数 语种 中文
DOI 10.3969/j.issn.1004-373X.2011.08.029
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 尹南 北京交通大学轨道交通控制与安全国家重点实验室 1 0 0.0 0.0
2 邓昌琪 北京交通大学轨道交通控制与安全国家重点实验室 1 0 0.0 0.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (2)
共引文献  (4)
参考文献  (3)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(1)
  • 参考文献(0)
  • 二级参考文献(1)
2006(2)
  • 参考文献(2)
  • 二级参考文献(0)
2009(1)
  • 参考文献(1)
  • 二级参考文献(0)
2011(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
软件测试
形式化描述
UML
XML Schema
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
现代电子技术
半月刊
1004-373X
61-1224/TN
大16开
1977-01-01
chi
出版文献量(篇)
23937
总下载数(次)
0
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导