Cradle-SWE 软件工程模块

       Cradle-SWE模块提供了逆向工程和代码生成工具，用来维护系统详细设计和软件实现之间的一致性。
       软件设计是和图表以及数据库条目一起创建的，可以包含有伪代码、注释和实际代码。软件设计还可以与设计和分析模型、需求和测试以及所有其他数据交叉引用。
       初始设计可以生成为C 、Ada和Pascal类型定义头文件和原型源文件，原型源文件包含设计中的调用层次、所有的调用参数、局部变量声明、以及设计模型伪代码内容或详细设计资料。
       一旦建立了完整的算法代码，源程序结果可以通过逆向工程反映到设计数据库中，用以更新设计图表（Diagram）、图表标记中的数据定义和模块规范。
       逆向工程将实际的代码合成到设计定义和规范中，细分每个程序并将对用部分储存在数据库条目中的单独框架 (Frame) 数据中。源程序中的每一行都存储在数据库中一个条目的一个框架数据中。
       代码生成器可以运行逆向工程的结果，以重构源代码，生成的源文件可以和以前的代码完全一样，也可以包含设计模型中的任何改变。
       整个流程可以开始于将现有的代码通过逆向工程转变为初始的设计模型，可以从仅存的已实现代码恢复出对应的设计。通过代码生成和逆向工程保证详细设计和代码的一致性。