基于领域工程的软件模块自动生成的研究

摘要

随着软件工程和软件设计理论和方法的不断发展，现代软件产品的制作逐渐向自动化发展。这要求使用面向重用的软件工程方法来面向软件系统族进行软件组件的制作，形成特定的软件组件库，然后使用领域特定语言，根据软件模块的规范，实现软件组件自动装配成所需要的软件模块。　　使用面向特征领域工程方法和C++程序设计语言，本文实现了软件模块的自动生成。本文关注的特定领域是经典的链表容器领域，软件系统族的建立使用C++程序设计语言和面向对象的程序设计方法。由特定的产生器来实现软件模块的自动生成，产生器使用C++的模板编译机制来设计，产生器中包括了DSL的定义和解释。整个链表容器的实现过程使用领域工程技术方法，包括领域分析、领域实现和领域设计，其中领域分析使用了特征建模的方法，领域设计和实现使用Genvoca架构。　　通过对C++模板编程机制的研究和实践表明，C++的模板机制本身构成一个图灵完备的静态程序设计语言，可以由C++编译器解释执行，本文实现了一个面向静态程序设计的基本模板库(BTL)，BTL做为C++静态元程序设计的基础库运行在编译期，包括：流程控制元函数、基本工具元函数、错误处理和编译期确认、编译期类型容器、类型特性元函数，可以作为C++面向对象程序设计的有益补充。