[论文解读] A Comparison of Mechanisms for Integrating Handwritten and Generated Code for Object-Oriented Programming Languages

Timo Greifenberg, Katrin Hölldobler+11 more|arXiv (Cornell University)|Sep 15, 2015

Model-Driven Software Engineering Techniques被引用 8

一句话总结

本文评估并比较了在面向对象系统中集成手写代码与生成代码的机制，提出了一套基于可维护性、工具支持和演化安全等标准的框架。研究识别出基于模板的代码生成与显式分离、基于注解的方法最为有效，为MDD工具开发者提供了减少技术债务、提升复杂项目长期可维护性的指导。

ABSTRACT

Code generation from models is a core activity in model-driven development (MDD). For complex systems it is usually impossible to generate the entire software system from models alone. Thus, MDD requires mechanisms for integrating generated and handwritten code. Applying such mechanisms without considering their effects can cause issues in projects with many model and code artifacts, where a sound integration for generated and handwritten code is necessary. We provide an overview of mechanisms for integrating generated and handwritten code for object-oriented languages. In addition to that, we define and apply criteria to compare these mechanisms. The results are intended to help MDD tool developers in choosing an appropriate integration mechanism.

研究动机与目标

• 解决大规模模型驱动开发（MDD）项目中集成手写代码与生成代码的挑战。
• 识别并分析面向对象语言中模型生成代码与手动编写代码的现有集成机制。
• 对集成机制进行系统性比较，以指导工具开发者选择合适解决方案。
• 突出说明当集成机制选择不当所导致的代码重复、可维护性下降和工具不兼容等风险。
• 建立评估集成机制的标准，以支持长期软件演化与项目可持续性。

提出的方法

• 调查并分类了面向对象编程语言中集成手写代码与生成代码的现有机制。
• 定义了一套评估标准，包括可维护性、工具支持、演化安全性和关注点分离。
• 应用这些标准比较了模板化生成、注解方法以及源码合并技术等机制。
• 通过案例研究和对真实世界MDD工具实践模式的分析评估了各机制。
• 使用结构化比较框架评估了透明度、可维护性与工具集成之间的权衡。
• 基于比较分析，为MDD工具开发者提出了推荐框架。

实验结果

研究问题

• RQ1 面向对象系统中集成手写代码与生成代码的主要机制有哪些？
• RQ2 不同集成机制在可维护性、工具支持和演化安全性方面的表现如何？
• RQ3 在代码集成中，透明度、关注点分离与长期代码可持续性之间的主要权衡是什么？
• RQ4 哪些集成机制最能支持协作开发并减少MDD项目中的技术债务？
• RQ5 工具开发者如何根据项目特定约束和目标选择最合适的集成机制？

主要发现

• 基于模板的代码生成并显式分离生成代码与手写代码，可实现最高的可维护性与工具支持。
• 基于注解的方法集成效果良好，但存在模型与源码紧耦合的风险，增加了维护复杂度。
• 源码合并技术常导致冲突并降低可维护性，尤其在频繁变更的大规模项目中更为明显。
• 强制实现生成代码与手写代码清晰分离的机制，能显著降低意外覆盖和产生技术债务的风险。
• 研究表明，没有一种机制在所有情况下都最优；最佳选择取决于项目规模、团队结构和演化频率。
• 工具支持与与IDE的集成是决定任何集成机制实用性与长期可行性的关键因素。