自动代码生成技术的发展现状与趋势

自动代码生成技术在敏捷开发和提高软件工程生产力中发挥着重要作用,已成为精准软件工程不可或缺的一部分。以模型驱动构架技术为主导,自动代码生成技术的未来发展趋势将是基于人工智能的软件开发构造、代码生成及其技术。分析自动代码生成技术的发展状况、原理和方法,由此可以梳理并形成自动代码生成观点和思路。     

基于模板工程的软件开发自动化框架研究

为了使得软件开发人员对于特定领域问题的成熟解决方案得以固化并复用，提出了一套完整的软件开发自动化框架Xauto.Xauto包含层语言、模板、框架和构件4项核心要素，在对软件开发自动化本质的深入分析基础上，基于软件系统无处不在的模式，引入模板工程的概念，通过模板工程和层语言的映射转化来支持和实现自动化开发流程.描述了Xauto框架在模型、视图和控制器 3个方面的映射模式，并结合了具体模板实例加以说明.结果表明，Xauto框架的运用使得软件开发方式从个体作坊转变为模板工程，这个转变显著提升了软件开发的自动化程度，提高了软件生产率.     

Matlab／Simulink模型到C／C＋＋代码的自动实现

介绍了如何利用Matlab/Simulink的RTW(Real_Time Workshop)代码生成工具将Simulink模型自动转换成C/C 代码的方法,通过这种方式可以利用Simulink方便地建立系统模型,同时也解决了Simlink模型在Matlab/Simulink环境下速度较慢的问题,大大减少了软件工程师的编程工作量.转换后的C代码能脱离Matlab环境独立运行,这进一步扩大用该方法生成的C代码的适用范围.     

一种基于MDA的分布式对象模型框架代码生成方法

基于模板技术的分布式对象模型框架代码生成系统提高了二次开发人员的工作效率。但是,代码生成规则是在程序中硬编码实现的,耦合度较高。在此技术架构基础之上,提出了一种基于MDA((model driven architecture)的分布式对象模型框架代码生成方法。该方法以模型为基本输入,通过灵活的转换规则配置,生成具体平台的模型,并依次自动生成框架代码,从而有效提高了分布式对象模型框架代码生成系统的扩展性和可维护性。     

基于SSH框架的构件组装技术研究与应用

构件技术是支持软件复用的核心技术,构件组装技术是构件技术研究的重点与难点。分析了构件组装技术与分类,提出了基于SSH框架的构件组装模型,最后将这一模型应用到集中支付管理系统的开发中,实践表明这种构件组装模型能提高构件组装效率,提高软件开发质量。     

一种代码生成器框架研究

在实际软件项目开发中,采用代码生成技术能大幅提高软件开发的质量和生产率,降低软件开发的风险,一个企业级项目中的代码生成器是非常有必要的。本框架是一款代码生成器框架,可以作为一个平台帮助开发者快速实现自己的代码生成器。框架提供一些元数据处理的基本服务,并且提供简单灵活的接口,供程序员定制自己的代码生成器。     

基于Simulink嵌入式Boost升压系统快速原型开发

将Simuilink基于模型设计和自动代码生成的思想应用于Boost升压系统的开发中.首先对Boost升压系统进行建模与仿真,在仿真环境下进行参数优化,并根据参数搭建硬件实验平台,最后使用Real-Time Work Shop将控制算法直接生成可执行代码,经过CCS编译后烧写入控制芯片中,在线调试通过RTDX方式与DSP进行通讯.硬件试验结果表明,由Simuilink自动生成的嵌入式代码运行状况良好,试验结果与仿真结果基本相符.这种开发方式实现了系统的快速预期与特性评估.     

基于Matlab模型异步电机控制代码的开发

为了实现高效可靠的嵌入式代码开发,采用基于模型的开发方法,利用MATLAB强大的建模和仿真功能,并结合Matlab/RTW及CCS进行DSP程序调试及控制代码自动生成的工作,在异步电机仿真试验平台上实现了控制代码的自动生成和测试.试验结果表明:应用自动代码生成的方法,加速了代码开发速度,减少了开发周期,有较好的应用前景.     

核能装备安全控制代码自动生成软件研发与应用的构想与成果展望

目前,核能装备等安全关键系统中软件的作用越来越重要,对系统的安全稳定运行具有至关重要的影响。安全关键软件规模的增长和复杂度的增加给设计和开发高可信的软件带来了新的挑战,亟需新的软件开发和验证方法与模式。针对此需求,本文围绕核能装备安全控制代码自动生成软件研究面临的三大关键科学问题,分别开展一个基础理论、七大关键技术及一套原型系统的研究。通过核能安全控制代码自动生成软件总体设计集成与评估、核能安全控制与交互系统软件建模技术、核能安全控制系统模型分析与验证技术、核能安全控制系统可信软件代码自动生成技术等方面的研究,突破核能装备安全控制代码自动生成软件在建模、代码生成和测试验证面临的系统性技术瓶颈,建立起新的安全关键软件开发和验证方法与模式。通过可信安全控制代码自动生成软件工程化应用与认证技术研究,构建一个核能装备安全控制代码自动生成的原型系统,并在核能、汽车等领域对研究成果进行验证。通过上述研究实现以下5个方面创新：一是形式化方法与模型驱动开发融合理论,用确定的数学理论保证模型的高可信;二是状态机扩展同步数据流语言形式化定义方法,建立适用于核能、航空、汽车等场景的软件建模方法;三是基于交互...     

Microsoft未来技术发展的核心策略——.NET

.NET是Microsoft推出的下一代基于互联网平台的软件开发构想,本文介绍了.NET将给软件开发带来的变化,以及.NET框架的基本结构,并对基于.NET框架的开发组件Vi-sualStaudio.NET作了简要的介绍。