基于ASL的模型驱动架构测试方法

J4 ›› 2014, Vol. 36 ›› Issue (04): 662-666.

基于ASL的模型驱动架构测试方法

张小艳，文辉

（西安科技大学计算机科学与技术学院，陕西西安 710054）

收稿日期:2012-09-11 修回日期:2012-12-19 出版日期:2014-04-25 发布日期:2014-04-25

Testing method for model driven architecture based on ASL

ZHANG Xiaoyan,WEN Hui

(College of Computer Science and Technology,Xi’an University of Science and Technology,Xi’an 710054,China)

Received:2012-09-11 Revised:2012-12-19 Online:2014-04-25 Published:2014-04-25

摘要/Abstract

摘要：

针对模型驱动架构（MDA）下的软件开发方法中测试启动比较晚、难以发现隐藏在模型中的缺陷及UML模型描述缺乏精确语义等问题，提出了基于ASL的模型测试方法：从UML模型出发，将动作规约语言（ASL）运用于平台无关模型（PIM）上建立测试模型。给出了ASL语句在MDA过程中的工作原理、平台无关模型的建立过程、测试用例建立的步骤、测试执行的实施过程，最后结合实例，在UML图的基础上运用ASL对测试环境进行构建，并创建了系统的测试用例，对模型及业务逻辑进行了测试。实验结果表明，提出的基于ASL的模型测试方法既能利用模型驱动对复杂的测试用例进行简化和抽象，又能在软件生存期早期揭示软件的缺陷，防止缺陷随着软件开发过程的进行而被放大。

关键词: 模型驱动架构, 动作规约语言, 平台无关模型, 测试用例

Abstract:

Aiming at the issues of late test startup in software development methods with model driven architecture (MDA), difficulty in finding the flaws hidden in models,deficient precise semantemes in UML model description and others, proposes a model test method based on ASL:Starting from the UML model, Action Specification Language (ASL) is applied to platform independent model (PIM) in order to build a test model. Narrates the operation mode of ASL sentences in MDA process,creating process of PIM, steps for building test cases,implementation of tests,and finally applies ASL to build test environment on the basis of UML diagrams by combining examples and creates systematical test cases to test the model and business logic.Experimental results show that the proposed model test method based on ASL can not only simplify and abstract the complicated test cases by using model driven, but also disclose the flaws in the earlier part of software life cycle,preventing the flaws from being amplified as the software development process continues.

Key words: model driven architecture;action specification language;platform independent model;test case

张小艳，文辉. 基于ASL的模型驱动架构测试方法[J]. J4, 2014, 36(04): 662-666.

ZHANG Xiaoyan,WEN Hui. Testing method for model driven architecture based on ASL [J]. J4, 2014, 36(04): 662-666.

参考文献

［1］Liu Jing, He Jifeng, Miao Huaikou. A strategy for model construction and integration in MDA［J］. Journal of Software, 2006,17(6):14111422. (in Chinese)
［2］OMG. Model driven architecture［EB/OL］.［20120820］.http://www.omg.org/mda/.
［3］Wang Linzhang, Li Xuandong, Zheng Guoliang. Research on modeldriven software testing［J］. Computer Science, 2005,32(10):230235. (in Chinese)
［4］Liu Yang,Li Yafen,Wang Pu.Automatic generation framework of modeldriven test cases［J］. Computer Engineering, 2011,37(1):3940. (in Chinese)
［5］Chris R, Paul F, John W, et al. Driven architecture with executable UML［M］.Zhao Jianhua, ZhangTian, Translation. Beijing:China Machine Press,2006. (in Chinese)
［6］Yang Jing, Gu Chunhua. Automatic test case generation method based on UML state diagram［J］. Journal of East China University of Science and Technology,2011,37(3):346351.(in Chinese)
［7］Stefan B. Model driven test case construction［C］∥Proc of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2007:587590.
［8］Wu Xuetao. Forecast in coal quality management［J］. Energy Technology and Management,2011(2):156157. (in Chinese)
［9］Xu Hongzhe, Chen Jianming. The autotesting technology of UML［M］. Xi’an Jiaotong University Press,2006. (in Chinese)
附中文参考文献:
［1］刘静, 何积丰, 缪淮扣.模型驱动架构中模型构造与集成策略［J］. 软件学报,2006,17(6):14111422.
［3］王林章, 李宣东, 郑国梁. 模型驱动的软件测试研究［J］. 计算机科学,2005,32(10):230235.
［4］刘扬, 李亚芬, 王普. 模型驱动的测试用例自动生成框架［J］. 计算机工程, 2011,37(1):3940.
［5］Chris R, Paul F, John W, 等. MDA与可执行UML［M］. 赵建华,张天,译.北京:机械工业出版社, 2006.
［6］杨晶, 顾春华. 基于UML状态图的测试用例自动生成方法［J］.华东理工大学学报,2011,37(3):346351.
［8］吴雪涛. 预测预报在煤质管理中的应用［J］. 能源技术与管理,2011(2):156157.
［9］徐宏喆, 陈建明. UML自动化测试技术［M］. 西安:西安交通大学出版社,2006.

[1]	张卫祥，齐玉华，魏波，张敏，窦朝晖. 基于蚁群算法的测试用例优先排序[J]. 计算机工程与科学, 2020, 42(02): 241-249.
[2]	占徐政. 一种针对高维输入域的适应性随机测试改进性算法[J]. 计算机工程与科学, 2018, 40(11): 1936-1943.
[3]	孙家泽1,2,王刚1. 利用佳点集遗传算法的白盒测试用例优先排序[J]. 计算机工程与科学, 2018, 40(10): 1815-1821.
[4]	杨羊,何柳柳,尚颖,李征. 面向测试生成的ASM模型约简研究[J]. 计算机工程与科学, 2018, 40(06): 1084-1092.
[5]	余晓菲，张仕，蔡蕊，陈慧峰，蒋建民. 基于改良程序谱的软件故障定位方法[J]. 计算机工程与科学, 2018, 40(02): 275-281.
[6]	殷鹏川，贲可荣. 基于路径引导的回归测试用例集扩增方法[J]. J4, 2014, 36(11): 2159-2163.
[7]	吴洁明，李硕征. CNONIX标准符合性测试研究[J]. J4, 2014, 36(05): 884-890.
[8]	李根,卢凯，张英，卢锡城，冯华，张巍. Hunter：一种指令集体系结构无关的二进制级动态测试用例生成技术[J]. J4, 2011, 33(4): 69-74.
[9]	苗春雨1,陈丽娜2,赵建民2. 基于一致性测试理论的Statechart描述的测试用例自动生成[J]. J4, 2011, 33(3): 82-89.
[10]	楼芳,李亮,贺志强. 基于本体的渗透测试用例复用模型[J]. J4, 2011, 33(2): 23-26.
[11]	朱海燕范辉谢青松刘培强. 测试用例排序的研究[J]. J4, 2008, 30(1): 79-81.
[12]	苏荟[1] 张毅坤[2]. 基于UML顺序图的面向对象软件簇级测试用例生成[J]. J4, 2007, 29(11): 66-68.
[13]	李宝林[1] 李志蜀[1] 李斌[1] 金虎[2] 王莉[1]. 基于Bayes的软件可靠性模型研究[J]. J4, 2007, 29(10): 92-94.
[14]	卢炎生雷波谢晓东毛澄映. 基于扩展有限状态机的定义-清除路径的生成方法[J]. J4, 2006, 28(7): 67-69.
[15]	杨劲涛[1] 郭荷清[2]. 黑盒测试用例基的研究[J]. J4, 2006, 28(5): 130-132.