原文服务方: 现代电子技术       
摘要:
最近OMG推出的交互流建模语言(IFML),其强大的用户界面建模功能现已逐渐应用于RIA用户界面模型驱动开发早期的建模阶段.然而针对RIA用户界面测试依旧停留在开发后期才能使用传统技术进行的问题,使得测试工作需要花费大量的时间和成本.文章给出一种基于IFML元模型自动生成RIA用户界面测试用例的方法.首先,通过Eclipse IFML编辑器建立RIA用户界面的IFML元模型;然后,分别阐述了将IFML元模型转换到测试用例、时间自动机的转换规则,并通过转换引擎生成对应文件;其次,通过UPPAAL对生成的自动机导航模型进行死锁和可达性验证;最后以实例进行了方法验证.
推荐文章
一种基于高阶Markov使用模型的测试用例自动生成方法
高阶马尔可夫使用模型
快速轮盘赌
二分查找
相对熵
软件测试
测试用例自动生成
软件测试用例自动生成算法综述
软件测试
测试用例生成
随机测试
启发性测试
测试用例自动生成方法的现状及研究
测试用例
自动生成
模型检查
形式化建模
测试用例自动生成方法研究与实现
测试用例
目标搜索
测试数据
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于IFML元模型自动生成RIA用户界面测试用例研究
来源期刊 现代电子技术 学科
关键词 RIA用户界面测试 用例自动生成 交互流建模语言 元模型建立 转换规则 文件生成
年,卷(期) 2020,(18) 所属期刊栏目 计算机科学与应用
研究方向 页码范围 43-46
页数 4页 分类号 TN911.23-34|TP311
字数 语种 中文
DOI 10.16652/j.issn.1004-373x.2020.18.012
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 刘晓燕 昆明理工大学信息工程与自动化学院 68 129 6.0 9.0
2 严馨 昆明理工大学信息工程与自动化学院 40 122 5.0 10.0
3 李丹丹 昆明理工大学信息工程与自动化学院 16 2 1.0 1.0
4 曹荣凯 昆明理工大学信息工程与自动化学院 12 2 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (5)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
2016(1)
  • 参考文献(1)
  • 二级参考文献(0)
2017(2)
  • 参考文献(2)
  • 二级参考文献(0)
2018(2)
  • 参考文献(2)
  • 二级参考文献(0)
2020(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
RIA用户界面测试
用例自动生成
交互流建模语言
元模型建立
转换规则
文件生成
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
现代电子技术
半月刊
1004-373X
61-1224/TN
大16开
1977-01-01
chi
出版文献量(篇)
23937
总下载数(次)
0
总被引数(次)
135074
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导