主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第6期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
陆一飞,潘敏学,张天,王林章,李宣东.面向安卓应用建模的IFML扩展.软件学报,2019,30(10):0
面向安卓应用建模的IFML扩展
Extension to Interaction Flow Modeling Language (IFML) for Android application Modeling
投稿时间:2018-08-31  修订日期:2018-10-31
DOI:
中文关键词:  交互流建模语言  安卓应用  模型驱动工程  基于模型的测试
英文关键词:Interaction Flow Modeling Language  Android application  model-driven engineering  model-based testing
基金项目:国家重点研发计划项目课题(2017YFA0700604);国家自然科学基金项目(61502228,61632015);中央高校基本科研业务费专项资金(020214380045)
作者单位E-mail
陆一飞 南京大学 计算机软件新技术国家重点实验室, 江苏 南京 210023  
潘敏学 南京大学 计算机软件新技术国家重点实验室, 江苏 南京 210023 mxp@nju.edu.cn 
张天 南京大学 计算机软件新技术国家重点实验室, 江苏 南京 210023 ztluck@nju.edu.cn 
王林章 南京大学 计算机软件新技术国家重点实验室, 江苏 南京 210023  
李宣东 南京大学 计算机软件新技术国家重点实验室, 江苏 南京 210023  
摘要点击次数: 148
全文下载次数: 179
中文摘要:
      随着智能机以及平板电脑的普及,安卓应用逐渐成为日常生活中不可或缺的重要元素之一,其复杂度也呈几何倍数增长.安卓平台存在的多设备类型、多操作系统版本问题,使得应用的设计和开发更为复杂.在这一现状下,本文提倡在安卓应用开发中使用模型来描述其开发需求与设计,以帮助开发人员更好地将注意力集中于应用,加深对开发意图的理解,更好进行后续的开发工作.然而当前对安卓应用的建模都采用了传统模型,无法满足安卓应用事件驱动和注重图形用户界面的特点.为此本文将注重前端展示以及事件交互的交互流建模语言(IFML)应用于安卓应用的建模,描述应用中的GUI结构以及其中工作流的传递,从而指导应用的开发工作.考虑到安卓平台的特点,本文对IFML进行了相应的面向安卓的扩展,提高了其可用性与对安卓应用的适用性,并对IFML模型进行了形式化定义,使得IFML模型能以丰富而又精确的语义来刻画开发者对于安卓应用的设计,并在应用的实现和演化中不断发挥指导作用.本文还进一步探索了IFML模型在应用测试这一场景中的作用.基于模型的测试方法能检验设计和实现的一致性,还能在应用的演化过程中避免测试用例的重复编写.本文在案例研究中针对5个安卓应用进行了IFML建模与测试.实验结果表明,扩展后的IFML在安卓应用的建模上可行有效,所建立的IFML模型可直接用于测试工作,用于检测应用实现与设计是否保持一致,从而保证应用的开发质量.
英文摘要:
      Under the widespread of smartphones and tablets, Android devices have gradually become one of the most important elements in our daily life. Along with it, Android applications are now flourishing and their complexity increases geometrically. Meanwhile, Android fragmentation is aggaravating, which forces developers to design and develop the same Android apps for different Android versions and devices. In this case, we propose to employ models for requirements and designs in Android app development. With models, we can divide and conquer these requirements and designs which reduces the general complexity. At the same time, models of high expression help developers to better understand the purpose and finally guides the development work. However, the traditional models are no longer suitable, since Android apps are even-driven and GUI centric. Therefore, we adopt Interaction Flow Modeling Language (IFML), the new OMG standard for front-end design and event interaction, in Android app modeling to describe apps' GUI structures and workflows and guide the development. Furthermore, we propose an extention of IFML for Android to improve its usability and compatibility for Android apps. A formal definition of the IFML model is also given in this paper. The rich semantics of IFML models can elaborate the designs for Android apps, which will further systematically guide the development of these apps during their evolution. Moreover, we can use these IFML models to check the consistency between design and implementation in the form of testing. In this way, the effort of writing test cases is reduced and productivity is enhanced as the apps evolve. We present a tool for modeling and testing for Android apps with IFML, called ADAMANT. To verify our approach's feasibility, we apply ADAMANT on five real-world apps. The results show that the use of the extended IFML in Android app development is effective, and the IFML models can directly be used for testing, ensuring the design is in consistent with the implementation. In this manner, it ensures the quality of development and benefits the sustainable development of apps.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利