检索结果-维普期刊中文期刊服务平台

LLM赋能的Datalog代码翻译技术及增量程序分析框架: 1; 作者王熙灶沈天琪 +1 位作者宾向荣卜磊《软件学报》北大核心 2025年第6期2515-2534,共20页; Datalog是一种声明式逻辑编程语言,在不同领域得到了广泛应用.近年来,学术界和工业界对Datalog的兴趣高涨,设计并开发了多种Datalog引擎和相应方言.然而,多方言带来的一个问题是以一种Datalog方言实现的代码,一般而言不能在另一种方言... 展开更多; 关键词 DATALOG 代码翻译大语言模型程序分析增量分析框架; 在线阅读下载PDF 职称材料

NC代码翻译器检错模块的设计被引量：3: 2; 作者崔丽华杨文通 +1 位作者李富萍吴喜文《组合机床与自动化加工技术》北大核心 2003年第9期42-43,共2页; 在分析数控程序的组成和特点的基础上 ,提出了一种NC代码翻译器检错模块的设计方法 ,并给出了详细的模块分解图。经过实践证明 ,这种方法是切实可行的。; 关键词数控程序 NC代码翻译器检错模块设计数控加工数控机床; 在线阅读下载PDF 职称材料

遗产软件的代码翻译被引量：2: 3; 作者杨卫平赵合计《计算机工程》 CAS CSCD 北大核心 2004年第6期83-85,共3页; 介绍了在遗产软件的基础上建立新系统的一种方法——代码翻译。讨论了代码翻译及在代码翻译中出现的问题，及怎样用再工程的思想来解决源语言和目标语言不兼容的问题。论述了面向对象的上下文无关文法的一些基本概念和一些限定规则，讨... 展开更多; 关键词遗产软件代码翻译再工程面向对象的上下文无关文法无对象; 在线阅读下载PDF 职称材料

动态二进制翻译与优化技术研究被引量：26: 4; 作者李剑慧马湘宁朱传琪《计算机研究与发展》 EI CSCD 北大核心 2007年第1期161-168,共8页; 动态二进制翻译技术是一种即时编译技术,它将针对源体系结构编译生成的二进制代码(源机器码)动态翻译为可以在目的体系结构上运行的代码(翻译码).动态优化技术是指在运行时获取动态信息并进行代码优化的技术.动态二进制翻译及优化系统... 展开更多; 关键词动态二进制翻译动态二进制优化精确异常自修改代码翻译翻译开销; 在线阅读下载PDF 职称材料

利用返回地址保护机制防御代码复用类攻击被引量：2: 5; 作者陈林博江建慧张丹青《计算机科学》 CSCD 北大核心 2013年第9期93-98,102,共7页; 尽管现有多种防御方法和技术,但是针对软件系统和网络的攻击仍然是难以防范的威胁。在引入只读/写和地址空间随机化排列方法后,现代操作系统能有效地应对恶意代码注入类型的攻击。但是攻击者可以利用程序中已经存在的代码,将其组装成具... 展开更多; 关键词代码复用类攻击 ROP攻击返回地址保护二进制代码动态翻译; 在线阅读下载PDF 职称材料

面向固件代码分析的虚拟指令集体系结构设计: 6; 作者赵远曾光裕 +2 位作者王炜崔晨高洪博《计算机工程》 CAS CSCD 2012年第9期271-274,共4页; 传统虚拟指令集体系结构不能同时满足简单性和高效性的要求。为此,提出一种面向固件代码分析的虚拟指令集体系结构构造方法。设计多目标固件代码分析平台,在可配置虚拟硬件结构的基础上,获取最小完备指令集,并说明扩展虚拟指令集的方法... 展开更多; 关键词固件代码虚拟指令集体系结构翻译代码膨胀率最小完备指令集虚拟硬件; 在线阅读下载PDF 职称材料

IEC61850通讯标准中的编码规范ASN.1 被引量：8: 7; 作者李永亮葛维春王芝茗《电力系统保护与控制》 EI CSCD 北大核心 2008年第22期66-71,共6页; ASN.1规范是广泛应用在ISO/OSI七层开放互联模型的网络通讯中的国际标准,由于它具有丰富且规范的语义表达和统一的编码规则等优点,许多的国际通讯标准都采用ASN.1作为协议描述和编解码的规范。本论文简要介绍了ASN.1规范的语法、标记和... 展开更多; 关键词抽象语法标记 IEC61850 数字化变电站标记语法编码规则代码翻译工具; 在线阅读下载PDF 职称材料

一种针对单元测试框架的测试脚本重用方法被引量：2: 8; 作者祁琳莹洪玫 +2 位作者冯丽云周宁文婷婷《计算机应用研究》 CSCD 北大核心 2013年第6期1764-1768,共5页; 单元测试框架下的软件测试将产生大量的测试脚本,在软件测试过程中如何有效利用现有的测试脚本,实现软件测试脚本(代码)的重用成为业界关心的一个重要问题。业界最常见的复用需求是当开发项目更换新的测试框架时,如何重用开发人员在原... 展开更多; 关键词软件测试单元测试框架单元测试脚本重用源代码翻译; 在线阅读下载PDF 职称材料

题名LLM赋能的Datalog代码翻译技术及增量程序分析框架: 1; 作者王熙灶沈天琪宾向荣卜磊; 机构计算机软件新技术全国重点实验室(南京大学) 南京大学计算机学院南京大学软件学院; 出处《软件学报》北大核心 2025年第6期2515-2534,共20页; 基金国家自然科学基金(62232008,62172200) 江苏省前沿引领技术基础研究专项(BK20202001)。; 文摘 Datalog是一种声明式逻辑编程语言,在不同领域得到了广泛应用.近年来,学术界和工业界对Datalog的兴趣高涨,设计并开发了多种Datalog引擎和相应方言.然而,多方言带来的一个问题是以一种Datalog方言实现的代码,一般而言不能在另一种方言的引擎上执行.因此,当采用新Datalog引擎时,需要将现有Datalog代码翻译到新方言上.目前的Datalog代码翻译技术可分为人工重写代码和人工设计翻译规则两类,存在耗时长、大量重复劳动、缺乏灵活性和可拓展性等问题.提出了一种大语言模型(LLM)赋能的Datalog代码翻译技术,利用LLM强大的代码理解和生成能力,通过分治翻译策略、基于少样本提示和思维链提示的提示工程、基于检查-反馈-修复的迭代纠错机制,可以在不同Datalog方言之间实现高精度代码翻译,减轻开发人员重复开发翻译规则的工作量.基于此代码翻译技术,设计并实现了一种通用的基于Datalog的声明式增量程序分析框架.在不同Datalog方言对上评估了所提出的LLM赋能的Datalog代码翻译技术的性能,评估结果验证了所提代码翻译技术的有效性.对通用声明式增量程序分析框架进行了实验评估,验证了基于所提代码翻译技术的增量程序分析的加速效果.; 关键词 DATALOG 代码翻译大语言模型程序分析增量分析框架; Keywords Datalog code translation large language model(LLM) program analysis incremental analysis framework; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名NC代码翻译器检错模块的设计被引量：3: 2; 作者崔丽华杨文通李富萍吴喜文; 机构北京工业大学机电学院CAD中心; 出处《组合机床与自动化加工技术》北大核心 2003年第9期42-43,共2页; 文摘在分析数控程序的组成和特点的基础上 ,提出了一种NC代码翻译器检错模块的设计方法 ,并给出了详细的模块分解图。经过实践证明 ,这种方法是切实可行的。; 关键词数控程序 NC代码翻译器检错模块设计数控加工数控机床; Keywords numerical control NC code translator check error module; 分类号 TG659 [金属学及工艺—金属切削加工及机床]; 在线阅读下载PDF 职称材料

题名遗产软件的代码翻译被引量：2: 3; 作者杨卫平赵合计; 机构山东大学计算机科学与技术学院; 出处《计算机工程》 CAS CSCD 北大核心 2004年第6期83-85,共3页; 文摘介绍了在遗产软件的基础上建立新系统的一种方法——代码翻译。讨论了代码翻译及在代码翻译中出现的问题，及怎样用再工程的思想来解决源语言和目标语言不兼容的问题。论述了面向对象的上下文无关文法的一些基本概念和一些限定规则，讨论了基于面向对象的上下文无关文法的元对象分析法。; 关键词遗产软件代码翻译再工程面向对象的上下文无关文法无对象; Keywords Legacy software Code-to-code translation Re-engineering Object-oriented context free grammar Metaobject; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名动态二进制翻译与优化技术研究被引量：26: 4; 作者李剑慧马湘宁朱传琪; 机构复旦大学计算机科学与工程系英特尔中国软件中心上海英特尔中国软件中心; 出处《计算机研究与发展》 EI CSCD 北大核心 2007年第1期161-168,共8页; 文摘动态二进制翻译技术是一种即时编译技术,它将针对源体系结构编译生成的二进制代码(源机器码)动态翻译为可以在目的体系结构上运行的代码(翻译码).动态优化技术是指在运行时获取动态信息并进行代码优化的技术.动态二进制翻译及优化系统使得源软件无需重编译就可以直接在目标体系结构上高效地运行.目前几种比较有影响的动态二进制翻译及优化系统有Intel公司的IA-32 Execution Layer,IBM公司的DAISY,Transmeta的CMS及HP的Dynamo等.这些系统对动态二进制翻译系统关键技术有不同的实现.对动态二进制翻译和优化技术的研究是计算机领域的研究热点,具有深远的现实意义和应用前景.; 关键词动态二进制翻译动态二进制优化精确异常自修改代码翻译翻译开销; Keywords dynamic binary translation dynamic binary optimization precise exception self modified code translation translation overhead; 分类号 TP314 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名利用返回地址保护机制防御代码复用类攻击被引量：2: 5; 作者陈林博江建慧张丹青; 机构同济大学软件学院; 出处《计算机科学》 CSCD 北大核心 2013年第9期93-98,102,共7页; 文摘尽管现有多种防御方法和技术,但是针对软件系统和网络的攻击仍然是难以防范的威胁。在引入只读/写和地址空间随机化排列方法后,现代操作系统能有效地应对恶意代码注入类型的攻击。但是攻击者可以利用程序中已经存在的代码,将其组装成具有图灵完全计算功能的连续的代码块,用以绕过已有的防御机制。针对代码复用类攻击防御方法的局限性,提出了一种利用返回地址实时保护机制的防御方法,以有效防御代码复用类攻击,特别是ROP攻击。在程序运行时,通过对其栈中返回地址值的加密保护和实时检测,防止所有的以0xC3字符(即ret指令)结尾的短序列代码段的连续执行。该方法不需要源代码和调试信息,能完全防御ROP攻击,并且其性能开销也具有明显的优势。; 关键词代码复用类攻击 ROP攻击返回地址保护二进制代码动态翻译; Keywords Code reuse attacks, Return-oriented programming attacks, Return address protection, Binary dynamic trans-lation; 分类号 TP303.08 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名面向固件代码分析的虚拟指令集体系结构设计: 6; 作者赵远曾光裕王炜崔晨高洪博; 机构解放军信息工程大学信息工程学院; 出处《计算机工程》 CAS CSCD 2012年第9期271-274,共4页; 基金国家"863"计划基金资助项目(2009AA01Z434); 文摘传统虚拟指令集体系结构不能同时满足简单性和高效性的要求。为此,提出一种面向固件代码分析的虚拟指令集体系结构构造方法。设计多目标固件代码分析平台,在可配置虚拟硬件结构的基础上,获取最小完备指令集,并说明扩展虚拟指令集的方法。实验结果表明,该方法能降低翻译代码膨胀率,目标指令模拟时间比传统方法减少19%～35%。; 关键词固件代码虚拟指令集体系结构翻译代码膨胀率最小完备指令集虚拟硬件; Keywords firmware code Virtual Instruction Set Architecture（V-ISA） translated-code expansion rate minimal complete instruction set virtualhardware; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名IEC61850通讯标准中的编码规范ASN.1 被引量：8: 7; 作者李永亮葛维春王芝茗; 机构中国电力科学研究院鞍山供电公司辽宁省电力有限公司; 出处《电力系统保护与控制》 EI CSCD 北大核心 2008年第22期66-71,共6页; 文摘 ASN.1规范是广泛应用在ISO/OSI七层开放互联模型的网络通讯中的国际标准,由于它具有丰富且规范的语义表达和统一的编码规则等优点,许多的国际通讯标准都采用ASN.1作为协议描述和编解码的规范。本论文简要介绍了ASN.1规范的语法、标记和编解码规则,并根据它的标记特点和编码规则,应用一种程序源代码自动生成的翻译工具-ASN.1Compiler,自动生成标准的C代码,从而快速集成到应用系统中,缩短开发时间,提高可靠性。IEC61850作为实施数字化变电站的国际标准,其制订的通讯协议栈就采用了ASN.1来描述和编解码的,ASN.1是实现数字化变电站的核心技术之一。; 关键词抽象语法标记 IEC61850 数字化变电站标记语法编码规则代码翻译工具; Keywords ASN.1 IEC61850 digital substation notating syntax encoding rule ASN.1 compiler; 分类号 TM76 [电气工程—电力系统及自动化] TM63 [电气工程—电力系统及自动化]; 在线阅读下载PDF 职称材料

题名一种针对单元测试框架的测试脚本重用方法被引量：2: 8; 作者祁琳莹洪玫冯丽云周宁文婷婷; 机构四川大学计算机(软件)学院; 出处《计算机应用研究》 CSCD 北大核心 2013年第6期1764-1768,共5页; 文摘单元测试框架下的软件测试将产生大量的测试脚本,在软件测试过程中如何有效利用现有的测试脚本,实现软件测试脚本(代码)的重用成为业界关心的一个重要问题。业界最常见的复用需求是当开发项目更换新的测试框架时,如何重用开发人员在原单元测试框架下积累的测试脚本。针对这一问题,提出了基于测试脚本移植的重用方案。通过对单元测试脚本的分析和自动翻译方法,将原测试脚本中包含的信息提取出来,解析为基于XML的中间脚本,然后再利用XSLT技术,依据XML记录的信息,自动生成目标框架的单元测试脚本,从而解决单元测试脚本的重用问题。最后实验验证了方案的可行性。; 关键词软件测试单元测试框架单元测试脚本重用源代码翻译; Keywords software testing unit testing framework unit test script reuse code translation; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	LLM赋能的Datalog代码翻译技术及增量程序分析框架	王熙灶沈天琪宾向荣卜磊	《软件学报》北大核心	2025	0	在线阅读下载PDF 职称材料
2	NC代码翻译器检错模块的设计	崔丽华杨文通李富萍吴喜文	《组合机床与自动化加工技术》北大核心	2003	3	在线阅读下载PDF 职称材料
3	遗产软件的代码翻译	杨卫平赵合计	《计算机工程》 CAS CSCD 北大核心	2004	2	在线阅读下载PDF 职称材料
4	动态二进制翻译与优化技术研究	李剑慧马湘宁朱传琪	《计算机研究与发展》 EI CSCD 北大核心	2007	26	在线阅读下载PDF 职称材料
5	利用返回地址保护机制防御代码复用类攻击	陈林博江建慧张丹青	《计算机科学》 CSCD 北大核心	2013	2	在线阅读下载PDF 职称材料
6	面向固件代码分析的虚拟指令集体系结构设计	赵远曾光裕王炜崔晨高洪博	《计算机工程》 CAS CSCD	2012	0	在线阅读下载PDF 职称材料
7	IEC61850通讯标准中的编码规范ASN.1	李永亮葛维春王芝茗	《电力系统保护与控制》 EI CSCD 北大核心	2008	8	在线阅读下载PDF 职称材料
8	一种针对单元测试框架的测试脚本重用方法	祁琳莹洪玫冯丽云周宁文婷婷	《计算机应用研究》 CSCD 北大核心	2013	2	在线阅读下载PDF 职称材料