运用代码模型自动化逆向工程技术高效理解开源和遗产软件系统.pptVIP

And失败经历与尝试 在动作语义的自然语言描述与编程语言的动作表达式之间的自动化变换方面，曾采用自然语言的分词和语义理解的传统处理方法，速度慢，效果不佳，成为关键技术瓶颈； 近年来，尝试基于形式语言的模式匹配与变换的自动处理方法获得成功，通过自动机将编程语言的动作表达式自动变换为自然动作模式语言的受限自然语言描述，高效快速，稳定可靠，在解决关键技术瓶颈问题上取得重要进展与突破。 案例ROI分析 （1）阅读理解遗产系统代码和学习开源软件编程技术的效率提高5-10倍，将使维护和学习周期缩短，人力成本下降； （2）自动变换得到的三维程序蓝图模型容易阅读和理解。蓝图模型将作为公司负资产的遗产程序代码（代码越多，花费越多）转变为正资产（模型越多，花费越少），三维的程序蓝图模型及变换将取代二维的代码和传统文档成为公司的核心资产； （3）代码与模型的双向可视自动化变换技术和代码文本自动对比验证技术，可及时维护模型与代码的一致性，保证模型不会过时和它具有的智能资产价值； （4）对中小规模的企业和直接编码的项目，可在代码开发完成后进行代码模型可视自动化逆向工程，自动快速生成项目的模型文档，减少60-80%的程序核心文档书写工作，使项目开发敏捷化； （5）从代码逆向自动创建的可视化程序蓝图模型具有直观和容易理解的特性，这将有效降低项目关键人员变动的风险并有利于控制人员费用的增加。 （6）模型到代码的正向自动变换技术提供模型自动转换和代码自动生成的功能，减少4/5以上的编码工作量；另外，可视化蓝图建模语言和本地化动作模式语言取代传统编程语言作为开发语言工件，简单易懂，直观自然，显著提高开发工作效率，并改进软件的可维护性。 案例启示---程序蓝图可视自动化逆向工程过程 开源软件代码 遗产系统代码 教学程序代码 项目开发代码 其他代码资源 程序蓝图可视自动化逆向变换 程序蓝图文档与代码自动生成 中文程序代码 英文程序代码 文本自动对比验证 类图模型 过程蓝图模型 蓝图模型制品 案例启示---类图三层抽象视图逆向变换过程 类源代码 从类图模型重新生成的类英文框架代码 从类图模型重新生成的类中文框架代码 文本自动对比验证 自动生成 自动生成 词法语法分析 从类图模型重新生成的类中文框架代码 概念层---PIM 逻辑层---PSM 框架信息提取模型格式变换标识符变换 信息过滤 信息抽取 格式转换 属性方法逆向映射变换 概念类图 逻辑类图 实现类图 类图 类图三层视图模型 自动生成 实现层—PSM 案例启示---过程蓝图三层抽象视图逆向变换过程 方法源代码 重新生成的类方法英文代码 重新生成的类方法中文代码 文本自动对比验证 自动生成 自动生成 词法语法分析 从类图模型重新生成的类中文框架代码 概念层---PIM 逻辑层---PSM 实现层—PSM 抽象概念结构图 （编程思维导向图） 抽象逻辑结构图 抽象实现结构图 过程蓝图 结点描述变换 格式变换 标识符变换 结点语义抽象 控制结构抽象 过程蓝图三层视图 自动生成 案例启示---程序蓝图可视自动化再工程过程 开源软件代码 遗产系统代码 教学程序代码 项目开发代码 其他代码资源 程序蓝图模型可视自动化逆向工程 逆向程序蓝图 程序蓝图模型可视自动化正向工程 再工程中文程序代码 文本自动对比验证 类图模型 过程蓝图模型 再工程程序蓝图 程序蓝图模型重构 逆向程序代码 再工程英文程序代码 案例启示 软件可视自动化逆向工程技术发展的核心动力在于模型驱动和语言驱动开发前沿方向关键技术的创新与突破 程序动作语义描述的自动变换技术建立在严格的形式语言与经典成熟的有限状态自动机理论上，基础扎实，稳定可靠 软件可视自动化逆向工程技术有望成为： （1）学习掌握复杂开源软件的利器 （2）IT企业提高软件维护效率，降低维护成本,解决代码与文档一致性维护难题的有效途径 （3）高校IT专业师生提高编程技术教学效率，改进教学效果，降低教学成本的得力助手 （4）降低编程技术的学习门槛，可能成为推动中小学信息技术教育的新动力和新技术 潜在用户群包括IT企业软件开发维护人员、企事业单位信息化系统的运维人员、高校与程序技术课程相关的教师和学生，推广应用前景广阔 进一步的工作和打算 面向IT企业和高校积极开展软件代码模型可视自动化逆向工程服务，分享成果、扩大影响 新技术的宣传培训、推广应用、标准化和产业化 程序蓝图可视自动化逆向工程的云服务平台开发 重点在大数据背景下的海量程序代码可视自动化实时处理关键技术、领域特定语言及其自动化变换技术、程序蓝图模式（分析模式、设计模式、算法模式、过程模式和动作模式等）的发现与挖掘、重用与重构等技术方向和领域开展研究 与科研院所、高校和企业在联合申请相关项目、交叉方向研究、应用推广等方面展