基于IFML元模型自动生成RIA用户界面测试用例研究

摘要：

最近OMG推出的交互流建模语言(IFML),其强大的用户界面建模功能现已逐渐应用于RIA用户界面模型驱动开发早期的建模阶段.然而针对RIA用户界面测试依旧停留在开发后期才能使用传统技术进行的问题,使得测试工作需要花费大量的时间和成本.文章给出一种基于IFML元模型自动生成RIA用户界面测试用例的方法.首先,通过Eclipse IFML编辑器建立RIA用户界面的IFML元模型;然后,分别阐述了将IFML元模型转换到测试用例、时间自动机的转换规则,并通过转换引擎生成对应文件;其次,通过UPPAAL对生成的自动机导航模型进行死锁和可达性验证;最后以实例进行了方法验证.

关键词：RIA用户界面测试、用例自动生成、交互流建模语言、元模型建立、转换规则、文件生成

所属期刊栏目：43

分类号：TN911.23-34;TP311

资助基金：国家自然科学基金项目61462055

在线出版日期：2020-09-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：43-46