Please wait a minute...
Front. Inform. Technol. Electron. Eng.  2015, Vol. 16 Issue (2): 85-97    DOI: 10.1631/FITEE.1400111
    
测试驱动的模式转换检验/认证
László Lengyel, Hassan Charaf
Department of Automation and Applied Informatics, Budapest University of Technology and Economics, Budapest 1117, Hungary
Test-driven verification/validation of model transformations
László Lengyel, Hassan Charaf
Department of Automation and Applied Informatics, Budapest University of Technology and Economics, Budapest 1117, Hungary
 全文: PDF 
摘要: 目的:通过检验/认证模式转换,提升转换质量,从而提升软件工件质量。确保软件工件具有特定属性,满足实际中对软件产品的生成、改善、优化等不同需求。
创新:提供一种模式转换自动生成测试输入模型解决方案。
方法:强调模式转换验证与认证方法必要性,讨论模式转换验证与认证的不同场景(图1)及实际模式转换验证与认证领域内的开放性问题。
结论:介绍一种新型测试驱动模式转换检验与认证原理,为模式转换自动生成测试输入模型提供一种解决方案(算法1,2)。收集并讨论实际模式转换验证与认证领域内亟待解决的问题。
关键词: 基于图重写的模式转换检验/认证测试驱动检验    
Abstract: Why is it important to verify/validate model transformations? The motivation is to improve the quality of the transformations, and therefore the quality of the generated software artifacts. Verified/validated model transformations make it possible to ensure certain properties of the generated software artifacts. In this way, verification/validation methods can guarantee different requirements stated by the actual domain against the generated/modified/optimized software products. For example, a verified/ validated model transformation can ensure the preservation of certain properties during the model-to-model transformation. This paper emphasizes the necessity of methods that make model transformation verified/validated, discusses the different scenarios of model transformation verification and validation, and introduces the principles of a novel test-driven method for verifying/validating model transformations. We provide a solution that makes it possible to automatically generate test input models for model transformations. Furthermore, we collect and discuss the actual open issues in the field of verification/validation of model transformations.
Key words: Graph rewriting based model transformations    Verification/validation    Test-driven verification
收稿日期: 2014-03-26 出版日期: 2015-01-29
CLC:  TP311  
服务  
把本文推荐给朋友
加入引用管理器
E-mail Alert
RSS
作者相关文章  
László Lengyel
Hassan Charaf

引用本文:

László Lengyel, Hassan Charaf. Test-driven verification/validation of model transformations. Front. Inform. Technol. Electron. Eng., 2015, 16(2): 85-97.

链接本文:

http://www.zjujournals.com/xueshu/fitee/CN/10.1631/FITEE.1400111        http://www.zjujournals.com/xueshu/fitee/CN/Y2015/V16/I2/85

[1] Deng Chen, Yan-duo Zhang, Wei Wei, Shi-xun Wang, Ru-bing Huang, Xiao-lin Li, Bin-bin Qu, Sheng Jiang. 基于改进规则检查静态分析技术的高效脆弱性检测方法[J]. Frontiers of Information Technology & Electronic Engineering, 2017, 18(3): 332-345.
[2] Long-xiang Wang, Xiao-she Dong, Xing-jun Zhang, Yin-feng Wang, Tao Ju, Guo-fu Feng. TextGen:用于新型存储系统基准测试的真实文本数据集生成方法[J]. Front. Inform. Technol. Electron. Eng., 2016, 17(10): 982-993.
[3] Shahab Pourtalebi, Imre Horváth. 用于定义系统表现特征的基因型与表型仓库数据库的信息图式构造方法[J]. Front. Inform. Technol. Electron. Eng., 2016, 17(9): 862-884.
[4] Saif Ur Rehman Khan, Sai Peck Lee, Mohammad Dabbagh, Muhammad Tahir, Muzafar Khan, Muhammad Arif. RePizer:一种软件需求排序架构[J]. Front. Inform. Technol. Electron. Eng., 2016, 17(8): 750-765.
[5] Hui-zong Li, Xue-gang Hu, Yao-jin Lin, Wei He, Jian-han Pan. 基于共同共现群体相似度的社会化标签聚类方法[J]. Front. Inform. Technol. Electron. Eng., 2016, 17(2): 122-134.
[6] Mohammad Alshayeb, Nasser Khashan, Sajjad Mahmood. 一种集成的统一建模语言框架[J]. Frontiers of Information Technology & Electronic Engineering, 2016, 17(2): 143-159.
[7] . Dr. Hadoop: an infinite scalable metadata management for Hadoop—How the baby elephant becomes immortal[J]. Front. Inform. Technol. Electron. Eng., 2016, 17(1): 15-31.
[8] Ignacio Marin, Francisco Ortin, German Pedrosa, Javier Rodriguez. 使用模型变换为多种终端生成原生用户界面[J]. Front. Inform. Technol. Electron. Eng., 2015, 16(12): 995-1017.
[9] Hong Yin, Shu-qiang Yang, Xiao-qian Zhu, Shao-dong Ma, Lu-min Zhang. 基于趋势特征的时间序列符号化方法[J]. Front. Inform. Technol. Electron. Eng., 2015, 16(9): 744-758.
[10] Ping Xie, Jian-zhong Huang, Er-wei Dai, Qiang Cao, Chang-sheng Xie. 一种负载平衡的RAID-6存储方案[J]. Front. Inform. Technol. Electron. Eng., 2015, 16(5): 335-345.
[11] Xiao-xia Zhang, Qiang-hua Xiao, Bin Li, Sai Hu, Hui-jun Xiong, Bi-hai Zhao. OMMR:一种关键模块重叠部分评价指标[J]. Front. Inform. Technol. Electron. Eng., 2015, 16(4): 293-300.
[12] Yu-xiang Li, Yin-liang Zhao, Bin Liu, Shuo Ji. 基于人工免疫算法的推测多线程线程划分参数的优化[J]. Front. Inform. Technol. Electron. Eng., 2015, 16(3): 205-216.
[13] Alireza Parvizi-Mosaed, Shahrouz Moaven, Jafar Habibi, Ghazaleh Beigi, Mahdieh Naser-Shariat. 基于扩展型服务导向建模与应用(SOMA)的一种自适应服务导向方法[J]. Front. Inform. Technol. Electron. Eng., 2015, 16(1): 43-69.
[14] Zi-ying Dai, Xiao-guang Mao, Li-qian Chen, Yan Lei. Automatic recovery from resource exhaustion exceptions by collecting leaked resources[J]. Front. Inform. Technol. Electron. Eng., 2014, 15(8): 622-635.
[15] Juan J. Cuadrado-Gallego, Alain Abran, Pablo Rodriguez-Soria, Miguel A. Lara. An experimental study on the conversion between IFPUG and UCP functional size measurement units[J]. Front. Inform. Technol. Electron. Eng., 2014, 15(3): 161-173.