一种随机化的软件模型生成方法

来源：软件学报杂志2017年第4期北京时间：

作者：何啸,李文峰,张天,麻志毅,邵维忠,胡长军

单位：何啸，北京科技大学 计算机与通信工程学院, 北京 100083;高可信软件技术教育部重点实验室(北京大学), 北京 100871;计算机软件新技术国家重点实验室(南京大学), 江苏 南京 21009311,李文峰，北京科技大学 计算机与通信工程学院, 北京 10008302,张天，计算机软件新技术国家重点实验室(南京大学), 江苏 南京 21009303,麻志毅，高可信软件技术教育部重点实验室(北京大学), 北京 10087104,邵维忠，高可信软件技术教育部重点实验室(北京大学), 北京 10087105,胡长军，北京科技大学 计算机与通信工程学院, 北京 10008306

摘要：模型转换是模型驱动开发的核心技术.当要把模型转换用于工业生产时，其性能成为影响这一技术成败的关键因素之一.为了测试模型转换程序的性能，需要能够快速地生成一组具有较大规模的模型数据用于作为测试的输入数据.提出一种随机化的模型生成方法，该方法能够根据元模型的定义以及用户输入的约束条件随机且正确地生成模型文件.实验结果表明：该方法与其他方法相比，具有更好的生成效率，从而更适合支持模型转换的性能测试.

关键词：模型生成;模型转换;性能测试;随机测试;模型驱动工程

基金资助：国家重点基础研究发展计划（973）（2013CB329606）；国家自然科学基金（61300009）