AADL模型代码自动生成技术研究*

随着嵌入式系统在安全关键领域的广泛应用,必须采用现代软件工程的技术进一步提高其可信性,以保证人们的生命安全。基于模型驱动方法,对AADL（体系结构分析设计语言）模型的框架代码自动生成技术进行了研究,提出了从AADL模型元素到C和Ada的语法元素的映射规则,由此实现了自动代码生成器generator并集成在开源工具OSATE中。最后通过一个实例,说明将AADL模型自动转换为框架代码后与模块代码结合的有效性。     

基于AADL的航天嵌入式软件Ada代码自动生成方法

模型驱动开发方法逐渐应用于航空航天等领域的安全关键软件设计与实现中。体系结构分析设计语言(Architecture Analysis and Design Language, AADL)是一种标准化的嵌入式软件体系结构描述语言,通过建模、验证以及代码自动生成为安全关键软件的设计与实现提供完整支持。然而,工业界实际代码是运行在具有不同特性的目标平台上的,例如不同的软硬件体系结构和编程接口,而现有AADL代码生成研究主要是通过手工将自动生成的代码集成到平台当中,存在工作繁琐且易出错的问题。为此,本文提出一种基于AADL的航天嵌入式软件Ada代码自动生成方法。首先,给出卫星姿轨控系统的AADL建模;其次,给出AADL到平台相关的Ada代码自动转化规则;最后,给出代码生成原型工具,并对卫星姿轨控系统AADL模型所生成的代码进行航天编码规范检查,并运行在相关仿真环境中,验证了本文所提方法的有效性。     

AADL构件到RTLinux平台C代码的转换方法研究*

为了提高嵌入式软件开发的自动化程度,代码自动生成是一种值得采用的有效方法.在研究体系结构分析与设计语言(AADL)和RTLinux(real-time Linux)平台C代码的特性的基础上,提出了AADL构件到RTLinux平台C代码的转换规则;然后用一个实例实现了代码自动生成,从而验证了转换规则的有效性.     

基于应用描述的Android代码自动生成

在移动开发领域,安卓应用的开发吸引着广大移动终端厂商和开发者的加入。目前,开发者大多采用传统的方式,基于集成开发环境为安卓应用的每一项组成部分进行设置或编码,这些工作可能花费开发者较多的时间。然而,与应用框架相关的部分代码与配置文件具有类似的模式,通过复用及定制的方式可以有效提高应用的整体开发效率。为了实现这一目标,提出一套借鉴MDA(Model-Driven Architecture)思想的方法,基于安卓应用的描述来完成安卓代码框架部分的自动生成。该方法包括一种描述安卓应用基本元素及其关联关系的元模型,以及一套可复用且支持定制的应用代码模版。基于元模型标准的特定安卓应用的描述可以驱动基于模版的安卓框架代码的自动生成。在该方法基础上,开发Android应用框架自动生成工具,并以一个实例展示了方法与工具的可用性。     

基于Add-in的代码自动生成技术的研究

VB的Add—in技术提供了扩展VB开发环境的接口。文章论述了基于VBAdd—in技术的可视化代码自动生成系统的设计方法，该系统的实现与应用可以简化软件的开发过程。加快软件的开发速度，提高代码的重用率。     

OIL代码自动生成技术过程中的部分研究

针对OSEK标准的应用设计了一个从OIL代码到C代码的自动生成系统,该系统允许用户输入OIL配置文件信息,读取用户的输入转换为标准的C程序,返回给用户,在具体应用的时候.文法限制严格.该系统结合代码自动生成的过程,提出了一些具体的解决过程,消弱了对文法输入的限制,提高了对文法的适应能力.     

基于模型的用户界面代码自动生成

基于模型的用户界面开发环境(MB_UIDEs)旨在通过使用某种特定的方法给设计人员提供一种更加系统的用户界面开发途径。文章介绍的就是一个新的基于FMP模型的用户界面开发环境。文中主要介绍它的系统机构,代码生成模型,代码生成过程中所采用的技术和算法等。它能够自动地生成交互系统的源代码,当然也包括图形用户界面的源代码。     

Mediator模型的SystemC代码自动生成

Mediator是一种基于组件的建模语言,该语言主要通过自动机和系统对模型进行描述。将Mediator语言描述的模型自动生成为可执行代码,可以避免编码过程中由于人为疏忽而造成的错误,从而提高编码的可靠性,同时缩短模型开发周期。介绍一种从Mediator模型到SystemC代码的自动生成工具,该工具旨在将基于特定平台的模型转换为能直接仿真运行的代码。首先对Mediator语言的语法语义进行分析,选择合适的SystemC代码组织形式,然后针对Mediator模型的每一个组成部分 设计生成规则,其中重点对类型生成、状态转移语句生成、同步语句的生成进行分析。最后,通过一个机器掉电检测系统说明该工具运行结果的正确性。     

代码注释自动生成研究进展

代码注释作为软件中的重要组成部分,在软件维护、复用等领域中发挥着重要作用。代码注释自动生成技术旨在减轻人工编写注释的工作量,从而提高软件开发效率。现有的注释自动生成方法分为基于规则、文本摘要、数据驱动、主题模型、深度学习等层次。综述了代码注释自动生成的相关概念,对比总结各类代码注释自动生成方法,对近年来代码注释自动生成相关应用进行了梳理和总结,最后对注释自动生成所面临的挑战进行了分析,展望了该领域未来的研究。     

面向对象CASE工具中的代码自动生成

代码的自动生成可以极大地提高软件的生产率,而面向对象技术则为代码的自动生成提供了强有力的支持,本文引放了一个面向对象软件设计的规格说明方法,并在此基础上,介绍了面向对象ＣＡＳＥ中心信息库的作用和面向对象代码自动生成工具的系统构成及其实现。     

AADL建模工具的设计

设计一种架构分析与设计语言(AADL)建模工具,便于用户建立AADL模型.基于模型驱动体系结构思想,在Eclipse插件开发平台上开发可扩展的插件集合AADL模型设计工具.用户根据该工具建立的嵌入式系统AADL架构模型,通过XML文档保存,分析与验证工具以第三方插件的形式集成到该工具中,提取系统的AADL架构模型.通过应用实例验证了该工具的有效性.     

基于MDA的Web服务开发与集成

描述了Web服务的特征及其开发集成中的问题，然后讨论了模型驱动架构在Web服务开发中的使用，最后给出了一个Web服务的集成架构。     

MDA技术在手机游戏开发中的应用

针对如何快速高效率开发手机游戏,提出一个代码生成器的设计方案,用来在手机开发过程中实现手机游戏代码的自动生成。介绍模型驱动架构以及代码生成技术的相关知识。讨论代码生成技术的实现原理和代码生成器的结构,并使用代码生成器生成一个通用的手机游戏的例子。     

计算机挖掘软件的源代码注释自动生成研究

本文基于计算机挖掘软件源代码注释数量与质量偏低的问题,设计了代码注释自动生成方法.同时,对本文设计方法与Clocom法进行了实验对比分析,结果表明,相比Clocom法,本文方法所检测出的克隆代码类型更多,产量明显较高;自动生成的代码注释质量都明显较高,代码注释质量较好,总之,本文设计方法下计算机挖掘软件自动生成的代码注...     

支持MDA的J2EE PSM模型描述及代码生成方法

为解决模型驱动体系结构(MDA)中PSM模型描述存在的问题,以软件体系结构为基础,综合当前J2EE平台下广泛使用的多种应用框架,提取其共同特征并加以抽象分析,建立了一种包括领域构件模型、行为构件模型和界面展示构件模型3部分的J2EE平台模型描述方法。用该方法描述的模型不仅具有J2EE平台的特性信息,还便于向多种目标框架下的代码进行转换。以此为基础,引入抽象平台有关模型和具体平台有关模型的概念,进一步扩展了MDA开发框架。介绍了相应代码生成器的框架设计和实现过程。     

基于SSH 框架的java 代码自动生成

利用软件复用技术可以大大提高软件的生产效率,有效的减轻开发者的负担。代码自动生成是软件复用常用的一种技术手段。在SSH框架的基础上,研究了控制层的代码,从hibernate生成的javaBean数据对象入手,利用模板生成技术和配置树的层次方法,自动化生成控制层的代码,利用eclipse 的SWT 技术做可视化界面,实现了一个原型系统,并测试了该系统。     

基于MDA的代码生成器设计与实现

针对如何将业务模型转换为程序代码的问题,提出一种代码生成器设计方案,用以实现模型驱动架构中代码的自动生成。介绍采用XML描述的面向业务对象的平台无关模型,在此基础上设计实现代码生成器,完成从平台无关模型到代码的自动转换,以支持在业务模型变化后系统行为的快速变化和代码的自动生成,通过实例演示该代码生成器的应用。     

可视化业务模型的设计与实现

针对xUML, OCL, ASL等模型驱动的执行工具过于侧重语义完整,不够直观,使得设计人员难以理解的问题,在MOF第二层基础上改造UML元模型元素,建立一种支持人机交互的元模型可视化动作模型(VAM),在此基础上实现一个VAM执行引擎。模型的执行过程和实际代码的执行过程相似,提高了模型驱动开发在需求验证和测试中的可用性。