Template-based model generation
Template-based model generation
复制标题
基于模板的模型生成
DOI：
10.1007/s10270-017-0634-5
复制
发表时间：
2019
影响因子：
2
通讯作者：
Hu Chang Jun
中科院分区：
文献类型：
--
作者：
He Xiao;Zhang Tian;Pan Minxue;Ma Zhiyi;Hu Chang Jun
鉴于它们在基于模型的软件工程中的重要作用，必须系统地测试与模型相关的操作（MO，如模型转换）的性能。然而，如何产生一组符合结构相关约束的大输入模型是此类测试的主要挑战。本文提出了一种基于模板的高效模型生成方法。首先，提供DSL来描述模板，该模板指定如何生成符合结构相关约束的有效模型。其次，定义了一个封装语义，将模板转换为一个封装器元模型。第三，使用现有的模型生成器（例如，随机模型生成器）。第四，指定一个展开语义来将包装器模型转换为所需的测试输入。最后，通过5个实例验证了该方法的有效性，结果表明，该方法可以根据结构相关约束生成大型模型，便于对MO进行性能测试。
Given their vital roles in model-based software engineering, the performance of model-related operations (MOs, such as model transformations) must be systematically tested. However, how to produce a set of large input models that conform tostructure-related constraintspresents a major challenge to such test. This paper proposes a template-based approach to efficient model generation. Firstly, a DSL is provided to describe templates that specifyhowto generate a valid model that conforms to structure-related constraints. Secondly, afoldingsemantic is defined to convert templates into a wrapper metamodel. Thirdly, a wrapper model is generated using the existing model generators (e.g., a random model generator) according to the wrapper metamodel. Fourthly, anunfoldingsemantics is specified to translate the wrapper model into the desired test input. This paper also presents five case studies to evaluate the proposed approach, and the results demonstrate that such approach can generate large models based on structure-related constraints and facilitate the performance testing of MOs.