代码生成技术在MDA中的实现

针对如何将具体的业务模型转换为应用程序代码的问题,提出了一个采用XSLT技术的代码生成器设计方案,用来实现MDA中的自动代码生成。从介绍代码生成器的输入文件入手,讨论了代码生成器的处理原理,最后举了一个采用XSLT技术的代码生成器生成代码的例子。     

面向MDA的业务逻辑模型到代码的转换方法研究

业务逻辑自动生成是代码自动生成领域中一个匾待解决的问题。为了解决这个问题,分析了业务逻辑难于生成的原因,在MDA的基础上引入产生式规则的思想,研究PSM模型到代码的转换过程。提出一种基于产生式规则的建模方法对逻辑中业务规则及业务流程进行建横,并基于产生式系统原理,对代码生成器进行设计与实现。基于本方法实现的代码生成器,实现了业务规则及业务流程模型到代码的转换,使目标代码业务逻辑与数据分离,一定程吱上解决了业务逻辑代码自动生成问题。     

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

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

一个自动编译系统ACS

本文介绍一个自动编译系统ACS。对某上下文无关文法语言,写出其词法描述、语法描述、语义描述和目标机描述。ACS系统可以自动生成此语言在目标机上的编译程序。ACS系统由六个子模块组成:词法自动生成器、语法自动生成器、语义自动生成器、中间语言转换程序、优化程序和代码自动生成器。本文将分别讨论这六个子模块的原理和功能,还将给出用ACS系统生成的一个编译程序实例—Mini_Ada编译程序。     

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

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

AADL模型的代码自动生成及集成技术

体系结构分析设计语言（AADL）是一种基于模型驱动体系结构的建模语言,针对如何将AADL模型自动生成框架代码的问题,提出AADL模型元素同C语言元素间的转换规则,设计AADL模型转换为C语言框架代码的自动代码生成器Generator。实例证明了AADL模型自动转换为可执行C代码的有效性。     

基于J2EE开源框架的业务组件代码生成器设计

根据J2EE体系结构特点,提出基于模板技术的代码自动生成模型,实现由业务模型描述文件到业务组件的自动生成。从分析J2EE结构入手,确定生成的目标代码,讨论基于模板技术的代码生成器原理和模型,设计模板文件,定义业务模型描述文件的规格,实现了代码生成器。介绍了应用代码生成器的开发模式。     

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

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

基于UML类图和顺序图的C++代码自动生成方法的研究

UML是一种被广泛用于软件系统需求分析和详细设计的标准建模语言,研究将UML描述的软件详细设计自动生成代码的技术可以大大加速软件产品的开发进度,提高软件的质量。提出一种将UML类图和顺序图相结合生成具有静态结构和动态行为信息的C++代码的方法,从而解决现在多数代码生成工具只能将静态图转换为C++代码框架而不能处理动态行为模型转换的问题。该方法包括UML类图和顺序图的元模型以及相应的转换规则。最后通过一个采用Velocity技术实现的代码生成器生成代码的实例描述了代码生成的具体过程及结果。     

面向嵌入式系统的优化编译器生成器设计

构造嵌入式系统是一个硬件软件的协同设计问题 .嵌入式软件的有效开发需要相应编译器的支持 .由于嵌入式系统存储空间有限 ,所以编译器生成的机器代码必须非常紧凑 .我们可以使用编译器的生成器来提高编译器的开发效率 .本文给出了一种编译器生成器的设计原理 ,利用该编译器生成器可以迅速生成面向某种指令系统和机器特征 ,并且能够对输出代码进行自动紧凑的编译器     

值对象模式在劳动保障系统中的应用研究

基于J2EE的应用程序开发总伴随着大量数据存取、转换等问题,值对象用于封装数据以解决该类问题。综述模式概念后,分析和研究值对象在劳动保障领域的应用,这其中包括不同类别值对象的应用以及值对象自动生成工具的设计,最后对值对象的应用现状进行概括。     

虚拟试验平台软件灵活性用户界面技术研究

虚拟试验平台软件是为多种虚拟试验提供数据交换、运行控制等基础功能的平台软件;为适应不同类型虚拟试验参数修改及显示试验过程和结果的需要,该平台软件的用户界面必须具有足够的灵活性;为解决这一问题,自动代码生成技术和界面自定义排版技术被用于虚拟试验用户界面的生成与显示;所使用的自动代码生成技术以XML格式定义文件为输入,利用自行开发的代码生成器可自动生成参数修改用户界面代码;界面自定义排版技术则通过对虚拟试验各组成部分用户界面的封装,实现根据用户要求自动生成集成后的虚拟试验平台界面;研究结果表明,上述技术的使用提高了虚拟试验平台软件对各种类型虚拟试验的适应性,在一定程度上统一了虚拟试验参数修改用户界面风格;保证了虚拟试验平台软件的通用性和开放性。     

An optimizing compiler for the icon programming language

Compiling code for the Icon programming language presents several challenges, particularly in dealing with types and goal-directed expression evaluation. In order to produce optimized code, it is necessary for the compiler to know much more about operations than is necessary for the compilation of most programming languages. This paper describes the organization of the Icon compiler and the way it acquires and maintains information about operations. The Icon compiler generates C code, which makes it portable to a wide variety of platforms and also allows the use of existing C compilers for performing routine optimizations on the final code. A specially designed implementation language, which is a superset of C, is used for writing Icon's run-time system. This language allows the inclusion of information about the abstract semantics of Icon operations and their type-checking and conversion requirements. A translator converts code written in the run-time language to C code to provide an object library for linking with the code produced by the Icon compiler. The translation process also automatically produces a database that contains the information the Icon compiler needs to generate and optimize code. This approach allows easy extension of Icon's computational repertoire, alternate computational extensions, and cross compilation.     

二进制代码安全分析综述

近几十年来,计算机硬件性能和软件规模技术已不同以往,其承载了人类社会生活生产的方方面面.计算机技术的飞速发展,也带来了人们对程序安全问题的关注.由于市面上存在着较多的遗留软件,这些软件无人维护且缺乏源代码支持,其安全性令人担忧,而二进制分析技术被用来解决该类软件问题.二进制分析技术根据其检测方式不同可分为:基于静态的二进制代码分析技术、基于动态的二进制代码分析技术和动静态混合的二进制代码分析技术.本文调研了近年来的二进制代码安全分析领域上相关研究,分别详细阐述了这3类技术中的主要方法,并对其关键技术进行详细介绍.     

利用主轴因子法的严重性代码异味相关性分析

代码异味的存在对源代码的可理解性和可维护性有着糟糕的负面影响.通常情况下,研究人员更多是考虑单一代码异味对源代码的影响,但有研究指出,多种代码异味的共同存在以及它们之间的交互往往比单一代码异味有着更严重的负面影响.本文针对主成分分析在布尔类型变量分析中容易产生难以解释的主成分的弊端,提出了一种基于主轴因子法及异味严重性...     

面向设计流图的代码支撑工具

在通信网络软件中,代码的可靠性格外重要,编码与测试在很大程度上决定着代码的可靠性。如果让机器自动生成代码,将会减少人工编码出错的概率,而且,也为代码的跟踪、测试提供了方便。为此,本文结合UML的相关理论,提出了设计流图的概念并描述基于设计流图的代码生成的原理及其应用。本文首先描述设计流图在软件开发过程中的作用,然后,给出设计流图的形式化定义,第3部分给出代码自动生成算法,第4部分给出基于设计流图的跟踪、测试方法,最后一部分对工具作了简要的介绍。本文详细描述了如何根据设计流图生成代码,并简要介绍实现基于设计流图的跟踪与测试。本文还实现了一个集成开发环境AutoCodeGen,在该环境中可以编辑设计流图、对设计流图进行简单的检查、编译设计流图（生成代码）、编译代码、执行设计流图（执行编译后的代码）、基于设计流图的跟踪与洲试（动态显示执行路径、当前执行点、路径覆盖情况、异常点位置等）。在实践中,利用该工具实现了TCAP（Transaction Capabilities Application Part）协议中部分编码与解码。     

A code compression system based on pipelined interpreters

This paper describes a system for compressed code generation. The code of applications is partioned into time‐critical and non‐time‐critical code. Critical code is compiled to native code, and non‐critical code is compiled to a very dense virtual instruction set which is executed on a highly optimized interpreter. The system employs dictionary‐based compression by means of superinstructions which correspond to patterns of frequently used base instructions. The code compression system is designed for the Philips TriMedia VLIW processor. The interpreter is pipelined to achieve a high interpretation speed. The pipeline consists of three stages: fetch, decode, and execute. While one instruction is being executed, the next instruction is decoded, and the next one after that is fetched from memory. On a TriMedia VLIW with a load latency of three cycles and a jump latency of four cycles, the interpreter achieves a peak performance of four cycles per instruction and a sustained performance of 6.27 cycles per instruction. Experiments are described that demonstrate the compression quality of the system and the execution speed of the pipelined interpreter; these were found to be about five times more compact than native TriMedia code and a slowdown of about eight times, respectively. Copyright © 1999 John Wiley & Sons, Ltd.     

嵌入式Linux的BootLoader在DM6446上的实现

移植引导装载程序（BootLoader）是嵌入式系统开发的关键技术。介绍了BootLoader的特点及其在DM6446平台上的引导方式,分析U—Boot源代码的运行机制,并对U—Boot代码进行修改和调试,最后总结出移植BootLoader的成功经验,详细阐述了U—Boot在DM6446平台上的移植步骤和关键技术。这对DM6446双核处理器上的产品开发有一定的借鉴作用。     

基于代码注释调优的智能合约自动生成方法

针对智能合约开发效率不高、安全漏洞频发等问题,提出了一种基于代码注释调优的智能合约自动生成方法。首先结合智能合约代码关联注释的语义信息,构建智能合约聚类分析模型,实现功能类似智能合约的快速精准聚类;接着划分注释关联的合约层、函数层、接口层等不同层次智能合约知识库,以聚类后的代码及注释信息为基础,构造多样化Prompt特征提示语句数据集;最后,以大语言模型ChatGLM2-6B为基础,借助P-Tuning v2微调技术,实现特定需求智能合约的自动生成。为检测该方法的有效性,借助双语互译质量评估辅助工具BLEU和代码安全检测工具Mythril与VaaS,同现有方法进行了对比。实验结果表明,该方法生成的代码BLEU平均值提升了13%左右,代码安全性提高6%左右。此方法将代码注释信息融入智能合约的自动生成,有效提升了智能合约的质量,为安全可靠智能合约的高效开发提供了一种新的方法。