| 本文已被：浏览 4490次 下载 5680次 |
码上扫一扫！ |
|
|
| 一种随机化的软件模型生成方法 |
|
何啸1,2,3, 李文峰1, 张天3, 麻志毅2, 邵维忠2, 胡长军1
|
|
1.北京科技大学 计算机与通信工程学院, 北京 100083;2.高可信软件技术教育部重点实验室(北京大学), 北京 100871;3.计算机软件新技术国家重点实验室(南京大学), 江苏 南京 210093
|
|
| 摘要: |
| 模型转换是模型驱动开发的核心技术.当要把模型转换用于工业生产时，其性能成为影响这一技术成败的关键因素之一.为了测试模型转换程序的性能，需要能够快速地生成一组具有较大规模的模型数据用于作为测试的输入数据.提出一种随机化的模型生成方法，该方法能够根据元模型的定义以及用户输入的约束条件随机且正确地生成模型文件.实验结果表明：该方法与其他方法相比，具有更好的生成效率，从而更适合支持模型转换的性能测试. |
| 关键词: 模型生成 模型转换 性能测试 随机测试 模型驱动工程 |
| DOI：10.13328/j.cnki.jos.005055 |
| 分类号: |
| 基金项目:国家重点基础研究发展计划（973）（2013CB329606）；国家自然科学基金（61300009） |
|
| Randomized Approach to Software Model Generation |
|
HE Xiao1,2,3, LI Wen-Feng1, ZHANG Tian3, MA Zhi-Yi2, SHAO Wei-Zhong2, HU Chang-Jun1
|
|
1.School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing 100083, China;2.Key Laboratory of High Confidence Software Technologies for the Ministry of Education(Peking University), Beijing 100871, China;3.State Key Laboratory for Novel Software Technology(Nanjing University), Nanjing 210093, China
|
| Abstract: |
| Model transformation is the key to model-based software engineering. When the model transformation is applied to industrial developments, its scalability becomes an important issue. To test the performance of model transformations, developers must be able to generate a set of models, i.e. the test inputs, efficiently. This paper proposes a randomized approach to generating large models. This approach can produce a model randomly and correctly based on the definition of metamodel and user-defined constraints. And the evaluation result also shows that the proposed approach is more efficient than other approaches, and therefore is more suitable for supporting performance testing of transformations. |
| Key words: model generation model transformation performance testing random testing model-driven engineering |
