代码生成

摘要： Drools是开源业务规则引擎,规范的Drools规则代码具备简短、声明式、可读性强等特性。目前,Drools规则代码需人工编写,缺少一套机制自动生成代码。本文中,提出一套基于模板和规则的机制以生成声明式Drools规则代码,并针对物联网环境,构建了7500条Drools规则。基于构建的规则集,对本文提出的系统架构进行了验证,并取得了一定成果。高级编程语言依据编程规范,分为命令式语言、声明式语言。官方规范的Drools[1]规则语言是声明式的,包含命令式、条件式代码的复杂规则可转换为多条声明式规则。

摘要： 为解决目前安全苛求系统研发中的功能安全问题,以用于轨旁设备联锁控制的道岔控制系统为研究对象,基于系统需求规范,使用形式化软件开发方法(B方法)对系统的功能逻辑建立形式化模型,完成对需求规范、系统功能及决策过程的验证,最终生成C语言形式的可执行代码。在分析系统各类属性与联锁逻辑关系的基础上,使用一阶逻辑和公理化集合论的数学方式,严格定义系统各层的B语言模型。通过对不变式的证明义务进行证明,验证系统中的安全、时间特性,检查出需求规范中的缺陷,提出增强系统稳健性的改进方案,进一步修正系统设计原型。通过不变式冲突和死锁检验进一步确认系统的正确性。研究表明,在所有证明义务通过机器自动证明和手动交互式证明的验证后,B模型自动生成的C代码能够正常运行并且功能满足实际联锁需求。将形式化方法应用于系统开发的全过程,所使用的技术路线及开发方法可以有效提高道岔控制系统的安全可靠性,并减少编码阶段工作量,对其他安全苛求系统的开发有重要参考意义。

摘要： VAPS XT是专业的HMI工具,具有简洁可视化图形开发界面,集成了图形的绘制、UML逻辑图的绘制、代码生成、目标平台的自动化配置、应用编译、应用调试、控件扩展开发等功能,使用VAPS XT的编辑界面可以快速地进行原型设计。水平状态指示器(HSI:Horizontal Situation Indicator)一般位于地平仪(ADI:Attitude Director Indicator)下方,主要用来指示飞机的航向,同时显示导航台方位信息。本文利用VAPS XT软件,设计了通用的HSI符号,定义了HSI的输入输出接口,描述了HSI图符的设计过程。

摘要： 传统的“电力电子技术”和“电机控制”课程的实验平台功能单一,灵活性和可操作性较差,实验内容单调,拓展性和互动性较差,不利于培养学生的创造力和自主学习能力。以模块化、轻量化、可复用性为指导思想,设计了一种可灵活构建多种电力电子拓扑结构的模块化实验教学平台,并结合代码生成技术,实现了系统软件和硬件的灵活配置和可延展性,拓宽了实验范围,提高了学生解决复杂工程问题的能力。

摘要： 矩阵乘法是众多科学计算的核心,而向量化编程是提升其性能的主要手段之一。针对现有的向量化优化往往存在需要手工进行调优以及与硬件结构映射的问题,基于多面体编译器PPCG,在多面体模型中引入向量代码生成框架,提出了基于多面体模型的矩阵乘法向量代码生成框架。通过对矩阵乘法的向量化方案进行收益分析来确定向量化方案,指导应用框架的代码生成,基于该代码生成框架,有利于矩阵乘法的向量化快速优化。选取13个规模在64×64×64到1 024×1 024×1 024之间的矩阵乘法用例进行实验,结果表明,该框架能够正确生成向量化代码,与基础编译器ICC的自动向量化功能相比,应用该框架生成的向量化代码最高获得了5.09倍的加速和3.39倍的平均加速。

摘要： 针对流式存储访问引起的缓存污染与强制性缺失问题,部分高性能通用处理器平台提供了不经过缓存而直接访问存储器的专用通路及配套指令支持。在常见的流式存储应用场景中,合理采用直访主存方式可以提高芯片存储器系统的整体性能。然而,判断何时使用直访主存能够获得收益对于程序员来说是一项十分繁琐且容易出错的任务,一种行之有效的方法是通过编译器自动实现。因此,文中在深入分析流式存储访问模式使用不同类型访存操作性能收益的基础上,提出了基于GCC编译器的流式存储优化方法。该方法由编译器自动实现对程序员透明,在GCC编译器SSA-GIMPLE阶段对程序循环中具有流式访问特征的连续写或者跨步写进行识别,并根据收益分析与依赖关系筛选优化对象,最后在编译器后端匹配指令模板生成直访主存指令。使用连续/跨步写用例与STREAM测试集及变体在申威国产处理器平台上进行实验评估,结果表明,文中提出的优化方法能够显著缩短流式存储应用程序的执行时间,优化后STREAM测试集的平均加速比为1.31。另外,文中实现的流式存储优化与循环展开优化一起使用效果更好,STREAM测试集的平均加速比能达到1.45。

摘要： 为优化DSP工程开发方式,将Simulink的可视化模型开发与TMS320C6678相结合,采用可视化的模块设计工具对算法模型和数据流进行建模。模型之间具有标准的数据流传输接口,由代码生成工具根据算法函数模型的描述生成DSP平台上的信号处理程序,完成了MATLAB算法模型到DSP工程的自动代码生成转换。相较于传统的人工翻译成DSP工程的方式,能够在设计阶段就对算法功能进行仿真测试,使得开发者能够更快捷、以更少的成本花费进行开发,也让后期的算法架构修改变得简单。

摘要： 随着向量长度的不断增长, SIMD扩展部件得以处理更为庞大的数据级并行,但程序的并行阈值也随之提高.对于现有的自动向量化编译器,如果在分析阶段不能从串行代码中发掘出足够的数据级并行以完全填充向量寄存器,则不会进入相应的向量代码变换阶段,从而无法向量化.较长的向量长度使得某些并行性不足的程序失去了向量化的机会,造成了性能下降.为了更加充分的利用SIMD部件,介绍了一种面向基本块的非满载向量化方法ISLP.基于开源GCC编译器,从并行性检测、代码生成和代价模型3个方面详细阐述了ISLP的设计与实现.在标准测试集上的实验结果表明,该方法可以有效地对超字级并行性不足的程序进行向量化处理,提高程序执行效率.选取的测试用例在向量化后的平均加速比达到1.14,性能较常规SLP方法提升11.8%.

摘要： 联合试验是指一个或多个试验主体完成某项试验任务。联合试验任务环境要求各试验基地场区的半实物模拟资源、全数字仿真资源、各类试验辅助设备等资源能够进行高效稳定的数据交互。为满足联合试验任务需求,实现各参试节点之间的互联、互通、互操作,文中设计一种柔性试验中间件系统。该系统基于Protobuf实现对待传输的对象模型信息进行自动编解码,提高中间件对各类型参试节点的数据兼容性。同时,系统预设面向不同类型数据传输要求及网络环境的服务质量策略可在任务过程中自适应调整。为满足联合试验平台运行中免编译的需求,系统采用基于模板的自动代码生成技术,为参试节点中的业务组件自动生成中间件代理可执行文件,即插即用。系统参与实际联合试验任务的验证结果表明,所设计柔性试验中间件功能正确,中间件信息处理时延小于1 ms,传输丢包率小于2%,性能符合联合试验任务需求。

摘要： 智能合约是运行在区块链上的数字协议,智能合约的开发涉及计算机、金融、法律等多个领域,近年来高级智能合约语言已被提出用于解决不同领域人员阅读、交流与协同开发难的问题,然而上述语言与可执行智能合约语言之间仍缺少有效的转化方法.针对这一问题,本文设计了一种SPESC到目标程序语言(Solidity)的转化规则,并提出了一种包括高级智能合约层、智能合约层和机器代码执行层的三层智能合约系统框架.首先,转化规则给出了根据SPESC合约当事人定义生成目标语言当事人子合约、以及SPESC其余部分生成目标语言主体子合约之间的对应关系;其次,除程序框架与存储结构外,目标语言程序还包含当事人人员管理、程序时序控制、异常检测等机制,这些机制能辅助编程人员半自动化地编写智能合约程序;进而,通过两个实验验证了上述高级智能合约框架的易读性以及转换的正确性,第一个实验邀请了计算机与非计算机人员分组阅读Solidity和SPESC的智能合约并回答问卷,结果表明阅读SPESC的速度约为阅读Solidity两倍,准确率也更高.然后以竞买合约为实例,给出了根据上述转化规则从SPESC合约转化到可执行Solidity合约语言程序,并通过以太坊私链部署运行来验证转化过程的正确性.实例表明上述转化规则和系统框架可简化智能合约的编写、规范智能合约的程序结构、辅助编程人员验证代码的正确性.

摘要： 以Java EE技术为基础,设计了一个基于Java EE的数据库后台管理代码生成框架.框架使用Mysql/Oracle数据库、Properties文件、XML文件作为基础数据源,使用JDBC作和撑框架,使用Maven来管理项目依赖.通过FreeMarker编程语言来编写模板文件,经过模板引擎输出,生成代码.部署实验和测试的结果表明,本文设计开发的框架达到了设计的目标和要求,生成的代码具有一定的可用性和安全性.

摘要： 以Java EE技术为基础,开发实现了一个基于Java EE的数据库后台管理代码生成框架.该框架使用B/S系统架构,实现对关系型数据库(Mysql,Oracle)的增加、删除、修改和查询,同时支持一对一、一对多、多对一和多对多关系的查询.框架可以根据数据库直接生成持久层、业务层、表示层的代码,其中持久层和业务层使用设计模式,使得代码具有良好的可扩展性.

摘要： 航空电子系统是安全关键的嵌入式系统,其对安全性和可靠性有很高的要求.目前美国航空无线电委员会RTCA提出的航空机载软件适航认证标准DO-178B/C,是航空领域被国际普遍认可的安全标准和质量体系.提出一种符合DO-178B/C标准的机载软件系统建模与代码生成的方法,此方法结合DO-178B/C标准,将机载软件的开发分为软件需求的分析建模,软件体系结构的建模与相应代码生成,以及软件底层功能代码生成三个主要过程.这样将软件的架构与功能分离解耦合,并且实现相应的自动代码生成方法,极大方便了软件的正确开发与有效验证,这对生成安全可靠、高质量的机载软件系统很有借鉴意义。

摘要： 代码是规范流程的工具，能用代码生成的就避免手工开发，及时抽象通用的知识，及时重构迭代，数仓架构师必须有大局意识，从被动出数到主动提供洞察。

摘要： DSP是进行雷达信号处理的常用芯片,为了在实际开发过程中缩短开发时间,简化DSP代码开发流程,使用MATLAB中SIMULINK中的Embedded Coder工具箱实现了DSP(TMS320C6455)代码的自动生成,并以雷达信号处理基本流程为例进行了DSP软件仿真并对比了效率,验证了该方案的有效性.

摘要： 本文以基于HLA的仿真系统为对象,研究提升仿真系统开发效率的方法,提出了一种基于HLA的仿真系统快速生成方法.该方法综合利用高层体系下自动化建模、多学科、多模式工具适配和基于XML的代码生成等多种技术,大大缩短了基于HLA的仿真系统的开发周期和提升了仿真系统的稳定度.

摘要： 雷达系统仿真中为提高系统数据接口代码生成自主性,给出一种接口管理构件ICB-RSS (Interface Code Builder for Radar System Sim ulation).阐述了基于集群结构的雷达系统仿真数据接口管理构件的内涵及其研究的意义,给出了集群结构下雷达仿真系统模型、ICB-RSS构件数据接口描述规范、底层数据库访问技术,描述了ICB-RSS构件的数据处理流程、接口对象的定义和数据结构,最后给出实践验证结果.ICB-RSS构件目前己在多种雷达仿真系统中得到实际应用,为雷达系统标准化仿真建模奠定了良好的基础.

摘要： 由并行应用编程框架已经成为解决并行应用程序设计难、编程难的重要途径之一,一个重要的并行编程框架实现——PETS(Portable,Extensible Toolkit for Scientific Computation)已经得到了越来越广的应用.本文所述的编程工具融合图形化编程与代码自动生成技术,可以支撑基于PETSc数值模拟应用程序的实现,并且集成编译、运行等功能.编程者只需设计程序执行流程图并设置相应构件的参数,代码全部通过编程工具自动生成.以该工具在中子输运程序实现过程中的实际应用表明,该工具可以有效提高软件开发效率,降低用户编程难度.

摘要： 由并行应用编程框架已经成为解决并行应用程序设计难、编程难的重要途径之一,一个重要的并行编程框架实现——PETS(Portable,Extensible Toolkit for Scientific Computation)已经得到了越来越广的应用.本文所述的编程工具融合图形化编程与代码自动生成技术,可以支撑基于PETSc数值模拟应用程序的实现,并且集成编译、运行等功能.编程者只需设计程序执行流程图并设置相应构件的参数,代码全部通过编程工具自动生成.以该工具在中子输运程序实现过程中的实际应用表明,该工具可以有效提高软件开发效率,降低用户编程难度.

摘要： 由并行应用编程框架已经成为解决并行应用程序设计难、编程难的重要途径之一,一个重要的并行编程框架实现——PETS(Portable,Extensible Toolkit for Scientific Computation)已经得到了越来越广的应用.本文所述的编程工具融合图形化编程与代码自动生成技术,可以支撑基于PETSc数值模拟应用程序的实现,并且集成编译、运行等功能.编程者只需设计程序执行流程图并设置相应构件的参数,代码全部通过编程工具自动生成.以该工具在中子输运程序实现过程中的实际应用表明,该工具可以有效提高软件开发效率,降低用户编程难度.

摘要： 本发明公开一种基于形式化模型的ROS代码生成器，由四部分构成：输入模块，Java解析器，逻辑控制器以及输出模块；及一种基于形式化模型的ROS代码生成方法，包括如下步骤：S1、建立模型；S2、解析模型数据并且构建数据表；S3、定义模型到代码的映射规则；S4、进行代码生成。本发明优点及功效在于：本发明能够从UPPAAL工具验证的时间自动机模型中快速、高效地生成可执行的C++代码，不仅避免了手写代码容易引入错误的情况，而且极高地提高了代码生成的效率，提高准确率，从而缩短了软件开发的周期。

摘要： 本公开是关于代码生成方法，包括：根据接收到的指令，确定业务聚合服务的接口的输入和输出，服务调用的输入和输出，以及业务逻辑的输入和输出；根据服务调用的输入和输出，与业务逻辑的输入和输出之间的关系，确定每个服务调用与每个业务逻辑的调用顺序，其中，调用顺序不分先和/或后的服务调用和/或业务逻辑并行调用；根据调用顺序，接口的输入和输出，服务调用的输入和输出，以及业务逻辑的输入和输出，生成可执行代码。根据本公开的实施例，可以使得调用顺序不分先后的服务调用和业务逻辑能够并行调用，而无需按照不同的服务依次调用业务逻辑和服务调用，有利于减少线程切换，进而减少开销。

摘要： 公开了一种代码生成方法、代码生成装置和电子设备。该方法包括：通过深度神经网络从输入数据集获得第一长度的第一代码，所述深度神经网络的每个神经元输出所述第一代码的一位代码；通过神经元融合层将所述深度神经网络的神经元划分为多个分组；以及，选择所述每个分组中的一个神经元的输出以生成第二长度的第二代码，所述第二长度小于所述第一长度。这样，可以得到更精确的代码生成模型，从而减小所生成的代码的冗余。

摘要： 本发明实施例公开了一种应用程序的代码生成方法、代码生成器、电子设备及存储介质，包括：获取新表结构，根据新表结构修改原数据库表的表结构，根据修改后的表结构和原数据库表中的数据生成新数据库表；根据新表结构修改原后端代码中的数据库操作方法，得到新的后端代码；根据新表结构中的字段修改原前端代码，得到新的前端页面代码；获取单元测试参数，根据单元测试参数、新的后端代码和字段生成单元测试代码，根据单元测试代码测试新的后端代码和新的前端页面代码；在测试结果为测试通过时，将新的后端代码和新的前端页面代码作为修改后的代码。本发明实施例减少了代码重复的概率和手动修改代码导致出错的概率，简化表数据修改流程。

摘要： 本申请公开了一种测试代码生成方法、测试代码生成装置以及存储介质，该测试代码生成方法包括：获取待测试项目，待测试项目包括至少一个控制类；对至少一个控制类中的目标控制类进行扫描，获取目标控制类中接口的关键信息；将关键信息填入预先配置的测试模板，生成与待测试项目中目标控制类对应的测试代码，测试代码用于测试目标控制类中接口的功能是否正确。通过上述方式，本申请能够通过对待测试项目中的控制类进行扫描自动化生成与其对应的测试代码，实现接口测试代码的灵活配置与生成。

摘要： 本说明书提供了一种代码生成方法，包括：设置至少一个代码模板；其中，所述代码模板中包括至少一个变量；获取创建数据表的结构化查询语言(SQL)语句；对所述创建数据表的SQL语句进行语义解析，获取其中的表信息；其中，所述表信息可以包括至少一个表信息参数；建立所述至少一个表信息参数与所述至少一个代码模板的至少一个变量的对应关系；以及按照对应关系填入所述至少一个代码模板中，生成与所述至少一个模板对应的源代码。本说明书还提供了代码生成器、电子设备及存储介质。

摘要： 本公开提供一种代码生成方法及装置、计算机可读存储介质、电子设备；涉及计算机技术领域。其中，代码生成方法包括：获取待处理接口文档中的接口信息对应的数据对象；针对所述接口信息对应的数据对象所包含的每个属性，根据所述属性的值的类型，将所述属性封装为节点，以生成所述接口信息对应的属性树；对所述接口信息对应的属性树进行解析，得到所述接口信息的类型模板字符串；根据所述接口信息的类型模板字符串，生成所述待处理接口文档对应的接口代码。本公开能够基于接口文档自动的生成接口代码，提高代码开发效率。

摘要： 本申请提出了一种代码生成方法和代码生成装置。本申请提出的技术方案中，根据用户输入的第一参数信息获取元框架中对应的目标功能模块，然后使用脚手架，结合用户输入的第一参数信息中的配置参数，生成最终的业务代码。该方法既可以为开发人员提供可以选择的功能模板，还能生成具有完整功能的、可直接运行的代码。

摘要： 本申请公开了一种代码生成方法、装置、代码生成器以及存储介质，该方法包括：获取配置文件，配置文件包括N个渠道的配置信息，每个渠道的配置信息在配置文件中以关键字和值的形式设置，每个渠道的配置信息包括渠道名称和至少一个策略组，接着对配置文件进行解析，分别将解析出的每个渠道的配置信息增加语义后拼接为符合预设语法的代码块，得到N个渠道的代码块，N个渠道的代码块包括N个渠道的渠道名称和N个渠道的代码块的映射关系，将N个渠道的代码块分别填入N个渠道的代码模板，生成N个渠道的源代码。从而，可根据配置文件自动生成每个渠道的源代码，简化了源代码的生成过程，效率高且具有较好的灵活性。

摘要： 本发明适用于计算机技术领域，提供了代码生成方法及代码生成装置，该代码生成方法通过响应在第一界面选择数据源的操作，在第一界面显示该数据源对应的数据表格，并响应于对该数据表格的选择操作，获取该选择操作的表字段信息，根据该表字段信息从第一存储位置读取对应的代码模板，并根据该表字段信息更新该代码模板中的目标变量，最后将更新目标变量后的代码模板进行转换，得到目标代码。本发明实施例能够提供多种具有变量的代码模板，在用户选择相应的数据源及表字段信息后，即可根据选择结果确定代码模板，并且将代码模板中的变量更新为表字段信息后即可得到目标代码，极大节省了开发时间并且统一了代码风格，易于后期维护。