Randomized Model Generation for Performance Testing of Model Transformations

被引:7
作者
He Xiao [1 ,2 ]
Zhang Tian [3 ]
Ma Zhiyi [2 ,4 ]
Shao Weizhong [2 ,4 ]
机构
[1] Univ Sci & Technol Beijing, Sch Comp & Commun Engn, Beijing 100083, Peoples R China
[2] Peking Univ, Key Lab High Confidence Software Technol, Minist Educ, Beijing 100871, Peoples R China
[3] Nanjing Univ, State Key Lab Novel Software Technol, Nanjing 210008, Jiangsu, Peoples R China
[4] Peking Univ, Sch Elect Engn & Comp Sci, Software Inst, Beijing 100871, Peoples R China
来源
2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC) | 2014年
关键词
Model generation; Model Transformation; Performance of Model Transformation;
D O I
10.1109/COMPSAC.2014.103
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Mode transformation is the key to model-based software engineering. When the model transformation is applied to industrial developments, its scalability becomes an important issue, since the model to be transformed may have a large size. To test the performance of model transformations, this paper proposes a randomized approach to generating large models as test inputs. First, the paper discusses the basic requirements and constraints for performance test input generation of the model transformation. Then, the paper presents our model generation algorithm. It can generate a model having a large size randomly and correctly within a reasonable time, according to the metamodel and user-defined constraints. Finally, an evaluation is also presented. And the result shows that our approach is more suitable for generating performance test inputs compared with existing model generation approaches.
引用
收藏
页码:11 / 20
页数:10
相关论文
共 22 条
[1]   On challenges of model transformation from UML to Alloy [J].
Anastasakis, Kyriakos ;
Bordbar, Behzad ;
Georg, Geri ;
Ray, Indrakshi .
SOFTWARE AND SYSTEMS MODELING, 2010, 9 (01) :69-86
[2]  
[Anonymous], ARXIV12116322
[3]  
Apt K.R., 2007, CONSTRAINT LOGIC PRO
[4]  
Brottier E, 2006, ISSRE 2006:17TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, P85
[5]  
Cabot Jordi, 2008, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW), P73, DOI 10.1109/ICSTW.2008.54
[6]   Boltzmann samplers for the random generation of combinatorial structures [J].
Duchon, P ;
Flajolet, P ;
Louchard, G ;
Schaeffer, G .
COMBINATORICS PROBABILITY & COMPUTING, 2004, 13 (4-5) :577-625
[7]  
Gonzalez Carlos A., 2012, Model Driven Engineering Languages and Systems. Proceedings 15th International Conference, MODELS 2012, P449, DOI 10.1007/978-3-642-33666-9_29
[8]  
Gonzalez Perez C. A., 2012, FORMAL METHODS SOFTW
[9]  
Hemel Z, 2008, LECT NOTES COMPUT SC, V5063, P183, DOI 10.1007/978-3-540-69927-9_13
[10]  
Hermann F, 2011, LECT NOTES COMPUT SC, V6981, P668, DOI 10.1007/978-3-642-24485-8_49