基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
提出了一种基于扩展UML statecharts的协议一致性测试方法.实时扩展使得UML statecharts可直接描述时间约束,方便进行一致性测试;以FREE(Flattened Regular Expression)模型图为基础生成抽象测试序列,然后根据时间覆盖准则,生成实时测试序列.
推荐文章
基于扩展UML的实时系统建模方法
面向对象技术
统一建模语言UML
实时系统
基于UML扩展的面向方面建模水
面向方面
统一建模语言
元模型
面向方面建模
Profile
UML Statecharts的层次组合验证
UML
模型检验
组合验证
UML Statecharts的切片模型检验方法
UML Statecharts
模型检验
切片
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于扩展UML statecharts的协议测试
来源期刊 计算机应用与软件 学科 工学
关键词 一致性测试 扩展UML Statecharts 测试用例
年,卷(期) 2007,(12) 所属期刊栏目 基金项目论文
研究方向 页码范围 15-16,125
页数 3页 分类号 TP3
字数 2914字 语种 中文
DOI 10.3969/j.issn.1000-386X.2007.12.007
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 缪淮扣 上海大学计算机工程与科学学院 100 1030 16.0 26.0
2 费立志 上海大学计算机工程与科学学院 2 15 1.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (9)
共引文献  (30)
参考文献  (4)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1988(1)
  • 参考文献(0)
  • 二级参考文献(1)
1992(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(4)
  • 参考文献(1)
  • 二级参考文献(3)
2001(3)
  • 参考文献(2)
  • 二级参考文献(1)
2005(1)
  • 参考文献(1)
  • 二级参考文献(0)
2007(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
一致性测试
扩展UML Statecharts
测试用例
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机应用与软件
月刊
1000-386X
31-1260/TP
大16开
上海市愚园路546号
4-379
1984
chi
出版文献量(篇)
16532
总下载数(次)
47
总被引数(次)
101489
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导