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

peC语言的部分求值器及在编译器测试中的应用被引量：3: 1; 作者郭德贵王冠成 +1 位作者吕帅刘磊《软件学报》 EI CSCD 北大核心 2017年第5期1221-1232,共12页; 部分求值技术在程序优化及软件自动生成等方面起着极为重要的作用.将部分求值技术应用到编译器测试中.为此,设计了一种C语言的子集peC语言,给出了该语言的部分求值策略的形式化描述,实现了peC语言的部分求值器,设计了基于部分求值技术... 展开更多; 关键词部分求值剩余程序测试用例编译器测试抽象语法树; 在线阅读下载PDF 职称材料

基于前馈神经网络的编译器测试用例生成方法被引量：12: 2; 作者徐浩然王勇军 +2 位作者黄志坚解培岱范书珲《软件学报》 EI CSCD 北大核心 2022年第6期1996-2011,共16页; 编译器模糊测试,是测试编译器功能性与安全性的常用技术之一.模糊测试器通过产生语法正确的测试用例,对编译器的深层代码展开测试.近来,基于循环神经网络的深度学习模型被引入编译器模糊测试用例生成过程.针对现有方法生成测试用例的语... 展开更多; 关键词软件缺陷编译器模糊测试深度学习前馈神经网络抽象语法树; 在线阅读下载PDF 职称材料

语义可感知的灰盒编译器模糊测试: 3; 作者欧先飞蒋炎岩许畅《软件学报》北大核心 2025年第7期2947-2963,共17页; 模糊测试技术在软件质量保障、软件安全测试等领域起到重要作用.然而,在面对编译器这样输入语义复杂的系统时,现有的模糊测试工具由于其变异策略中缺乏对语义的感知能力,导致生成的程序难以通过编译器前端检查.提出了一种语义可感知的... 展开更多; 关键词编译器测试语义可感知的模糊测试灰盒模糊测试; 在线阅读下载PDF 职称材料

TI DSP C语言编译器正确性测试被引量：2: 4; 作者孙海燕陈跃跃 +3 位作者王峰杨灿群阳柳王霁《计算机科学》 CSCD 北大核心 2015年第S1期513-515 545,545,共4页; TI DSP广泛应用于工业控制任务中,其可执行代码的可靠性不仅依赖于程序本身的可靠性,而且也依赖于编译器的可靠性。选取在工业控制领域中应用广泛、具有代表性的DSP芯片TI C6701对其编译器进行正确性测试。测试结果表明,用户在不加限制... 展开更多; 关键词编译器测试 C89规范 DSP C6701; 在线阅读下载PDF 职称材料

一种基于过程图模型的编译优化测试程序自动生成方法: 5; 作者陶秋铭赵琛王永吉《计算机研究与发展》 EI CSCD 北大核心 2009年第9期1567-1577,共11页; 近年来,以数据依赖分析为基础的高级编译优化成为现代编译器的重要研发内容.针对这类编译优化的测试问题提出了一种测试程序自动生成方法,能够根据指定的数据依赖特征生成测试程序.首先设计了LoSpec语言用以描述测试程序,然后采用一种... 展开更多; 关键词测试自动化编译器测试测试用例生成高级编译优化数据依赖过程图; 在线阅读下载PDF 职称材料

一种编译优化测试用例自动生成方法的设计与实现被引量：2: 6; 作者曾伟明薛云志 +1 位作者赵琛贺也平《小型微型计算机系统》 CSCD 北大核心 2009年第1期13-18,共6页; 编译器的质量保证对提高软件产品的质量有着重要作用,对编译优化的测试是其中的核心部分.对编译优化的测试需要大量的测试用例程序.要构造这些测试用例,使用传统手工构造方法面临着效率低的问题,而基于文法的构造方法则针对性不足.从对... 展开更多; 关键词编译器测试覆盖率编译优化时序逻辑测试用例; 在线阅读下载PDF 职称材料

DBI-Go:动态插桩定位Go二进制的非法内存引用: 7; 作者陈金宝张昱 +1 位作者李清伟丁伯尧《软件学报》 EI CSCD 北大核心 2024年第6期2585-2607,共23页; Go语言,也称Golang,由于其语法简单、原生支持并发、自动内存管理等特性,近年受到很多开发者的欢迎.Go语言期望开发者不必了解变量或对象是分配在栈上还是在堆中,而由Go编译器的逃逸分析来决定分配位置,再由Go垃圾收集器自动回收无用的... 展开更多; 关键词二进制分析动态二进制插桩静态分析 GO 编译器测试逃逸分析; 在线阅读下载PDF 职称材料

O_OCTT设计中面向对象方法的研究: 8; 作者史晋陈英孙文灿《计算机工程与应用》 CSCD 北大核心 2004年第31期114-116,共3页; 针对面向对象语言编译器测试工具(O_OCTT)顶层设计的方法进行研究。O_OCTT的主要功能是测试用例的生成,由于当前的O_OCTT不具有可移植性和可复用性,增加了O_O编译器的开发成本。论文基于构件组装技术,提出了采用O_O方法解决O_OCTT自动... 展开更多; 关键词编译器测试测试自动化面向对象技术测试用例; 在线阅读下载PDF 职称材料

题名peC语言的部分求值器及在编译器测试中的应用被引量：3: 1; 作者郭德贵王冠成吕帅刘磊; 机构吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室(吉林大学) 吉林大学数学学院吉林大学软件学院; 出处《软件学报》 EI CSCD 北大核心 2017年第5期1221-1232,共12页; 基金吉林省科技发展计划(20150101054JC 20140520069JH +3 种基金 20150520060JH) 国家自然科学基金(61300049) 吉林大学研究生创新基金(2016181)~~; 文摘部分求值技术在程序优化及软件自动生成等方面起着极为重要的作用.将部分求值技术应用到编译器测试中.为此,设计了一种C语言的子集peC语言,给出了该语言的部分求值策略的形式化描述,实现了peC语言的部分求值器,设计了基于部分求值技术的编译器测试框架.通过实验,该方法可以检测出大部分之前其他方法发现的GCC,LLVM编译器中的错误,此外还发现了其他方法不能发现的错误,这表明,将部分求值技术应用到编译器测试中是有效的.; 关键词部分求值剩余程序测试用例编译器测试抽象语法树; Keywords partial evaluation redundant program test case compiler testing abstract syntax tree; 分类号 TP314 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于前馈神经网络的编译器测试用例生成方法被引量：12: 2; 作者徐浩然王勇军黄志坚解培岱范书珲; 机构国防科技大学计算机学院军事科学院系统工程研究院; 出处《软件学报》 EI CSCD 北大核心 2022年第6期1996-2011,共16页; 基金国家自然科学基金(61472439) 国家重点研发计划(2018YFB0204301)。; 文摘编译器模糊测试,是测试编译器功能性与安全性的常用技术之一.模糊测试器通过产生语法正确的测试用例,对编译器的深层代码展开测试.近来,基于循环神经网络的深度学习模型被引入编译器模糊测试用例生成过程.针对现有方法生成测试用例的语法正确率不足、生成效率低的问题,提出一种基于前馈神经网络的编译器模糊测试用例生成方法,并设计实现了原型工具FAIR.与现有的基于token序列学习的方法不同,FAIR从抽象语法树中提取代码片段,利用基于自注意力的前馈神经网络捕获代码片段之间的语法关联,通过学习程序设计语言的生成式模型,自动生成多样化的测试用例.实验结果表明,FAIR生成测试用例的解析通过率以及生成效率均优于同类型先进方法.该方法显著提升了检测编译器软件缺陷的能力,已成功检测出GCC和LLVM的20处软件缺陷.此外,该方法具有良好的可移植性,简单移植后的FAIR-JS已在JavaScript引擎中检测到两处软件缺陷.; 关键词软件缺陷编译器模糊测试深度学习前馈神经网络抽象语法树; Keywords software defect compiler fuzzing deep learning feed-forward neural network abstract syntax network; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名语义可感知的灰盒编译器模糊测试: 3; 作者欧先飞蒋炎岩许畅; 机构计算机软件新技术全国重点实验室(南京大学) 南京大学计算机学院; 出处《软件学报》北大核心 2025年第7期2947-2963,共17页; 基金国家重点研发计划(2022YFB4501801) 国家自然科学基金(62025202,62272218) 江苏省前沿引领技术基础研究专项(BK20202001)。; 文摘模糊测试技术在软件质量保障、软件安全测试等领域起到重要作用.然而,在面对编译器这样输入语义复杂的系统时,现有的模糊测试工具由于其变异策略中缺乏对语义的感知能力,导致生成的程序难以通过编译器前端检查.提出了一种语义可感知的灰盒模糊测试方法,旨在提高模糊测试工具在编译器测试领域的效能.设计并实现了一系列可保持输入语义合法性并探索上下文多样性的变异操作符,并针对这些操作符的特点开发了高效的选择策略.将这些策略与传统的灰盒模糊测试工具相结合,实现了灰盒模糊测试工具SemaAFL.实验结果表明,通过应用这些变异操作符,SemaAFL在GCC和Clang编译器上的代码覆盖率相比AFL++和同类工具GrayC提高了约14.5%和11.2%.在为期一周的实验期间,SemaAFL发现并报告了6个以前未被发现的GCC和Clang缺陷.; 关键词编译器测试语义可感知的模糊测试灰盒模糊测试; Keywords compiler testing semantic aware fuzz testing greybox fuzz testing; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名TI DSP C语言编译器正确性测试被引量：2: 4; 作者孙海燕陈跃跃王峰杨灿群阳柳王霁; 机构国防科学技术大学计算机学院; 出处《计算机科学》 CSCD 北大核心 2015年第S1期513-515 545,545,共4页; 文摘 TI DSP广泛应用于工业控制任务中,其可执行代码的可靠性不仅依赖于程序本身的可靠性,而且也依赖于编译器的可靠性。选取在工业控制领域中应用广泛、具有代表性的DSP芯片TI C6701对其编译器进行正确性测试。测试结果表明,用户在不加限制地使用TI C6701编译器时,可能会遇到编译器的正确性问题,进而影响整个应用系统的正确性。; 关键词编译器测试 C89规范 DSP C6701; Keywords Compiler test,C89standard,DSP,C6701; 分类号 TP314 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种基于过程图模型的编译优化测试程序自动生成方法: 5; 作者陶秋铭赵琛王永吉; 机构中国科学院软件研究所中国科学院研究生院中国科学院计算机科学国家重点实验室; 出处《计算机研究与发展》 EI CSCD 北大核心 2009年第9期1567-1577,共11页; 基金国家自然科学基金项目(60573164 90718042) +1 种基金国家"九七三"重点基础研究发展计划基金项目(2007CB310802); 文摘近年来,以数据依赖分析为基础的高级编译优化成为现代编译器的重要研发内容.针对这类编译优化的测试问题提出了一种测试程序自动生成方法,能够根据指定的数据依赖特征生成测试程序.首先设计了LoSpec语言用以描述测试程序,然后采用一种便于表示数据依赖关系的模型——过程图作为中间表示模型实现了测试程序的自动生成,并开发了自动测试工具LoTester.与已有方法相比,该方法对高级优化更具针对性,自动化程度较高.LoTester目前在一款面向多媒体应用的优化编译器EECC的开发中得到应用并获得了良好效果.; 关键词测试自动化编译器测试测试用例生成高级编译优化数据依赖过程图; Keywords test automation compiler testing test case generation advanced compiler optimizations data dependence process graph; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种编译优化测试用例自动生成方法的设计与实现被引量：2: 6; 作者曾伟明薛云志赵琛贺也平; 机构中国科学院软件研究所基础软件国家工程研究中心中国科学院研究生院中国科学院软件研究所互联网软件技术实验室; 出处《小型微型计算机系统》 CSCD 北大核心 2009年第1期13-18,共6页; 基金国家科技攻关计划项目(2005BA113A02)资助; 文摘编译器的质量保证对提高软件产品的质量有着重要作用,对编译优化的测试是其中的核心部分.对编译优化的测试需要大量的测试用例程序.要构造这些测试用例,使用传统手工构造方法面临着效率低的问题,而基于文法的构造方法则针对性不足.从对优化的形式化描述出发来自动构造测试用例能克服这些缺点.本文设计并实现了一种基于形式化描述的编译优化测试用例程序生成方法.该方法基于编译优化的时序逻辑描述构造关键顶点控制流图,逐步转换为控制流图并得到用例程序.针对GCC(版本4.1.1)进行的覆盖率测试实验表明,该方法可以生成具有较高针对性的测试用例,并达到相当的覆盖程度.; 关键词编译器测试覆盖率编译优化时序逻辑测试用例; Keywords compiler test coverage test compiler optimization temporal logic test case; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名DBI-Go:动态插桩定位Go二进制的非法内存引用: 7; 作者陈金宝张昱李清伟丁伯尧; 机构中国科学技术大学计算机科学与技术学院; 出处《软件学报》 EI CSCD 北大核心 2024年第6期2585-2607,共23页; 基金国家自然科学基金(62272434)。; 文摘 Go语言,也称Golang,由于其语法简单、原生支持并发、自动内存管理等特性,近年受到很多开发者的欢迎.Go语言期望开发者不必了解变量或对象是分配在栈上还是在堆中,而由Go编译器的逃逸分析来决定分配位置,再由Go垃圾收集器自动回收无用的堆对象.Go的逃逸分析必须正确决定对象的分配位置以保证内存状态的正确性.然而,目前Go社区中逃逸相关问题频发,潜在导致程序崩溃等致命问题,而目前对该方面的研究缺失.为有效检测编译器生成的代码是否存在可能引起运行时崩溃的非法内存引用,填补研究空白,对Go程序执行进行抽象建模,并提出两条判定写入违例的规则.基于这两条规则,克服Go二进制中高层语义缺失、运行时信息不便获取等挑战,设计一个轻量化的分析工具DBI-Go.DBI-Go采用静态分析加动态二进制插桩的分析方式,基于动态二进制分析框架Pin来实现,可以识别Go二进制中违例的store指令.实验结果表明,DBI-Go可以检测出Go社区中所有已知的逃逸相关Issues;DBI-Go还发现一个目前Go社区未知的问题,该问题已经得到确认.在实际项目上的应用则表明DBI-Go可以帮助开发人员找出逃逸算法的错误.测试结果还表明DBI-Go采取的措施可以有效降低误报率且在93.3%的情况下带来的额外运行时开销小于原先的2倍.同时,DBI-Go无需修改Go的编译运行时,可以适配不同版本的Go,有较高的适用性.; 关键词二进制分析动态二进制插桩静态分析 GO 编译器测试逃逸分析; Keywords binary analysis dynamic binary instrumentation static analysis Go compiler testing escape analysis; 分类号 TP314 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名O_OCTT设计中面向对象方法的研究: 8; 作者史晋陈英孙文灿; 机构北京理工大学计算机科学工程系; 出处《计算机工程与应用》 CSCD 北大核心 2004年第31期114-116,共3页; 文摘针对面向对象语言编译器测试工具(O_OCTT)顶层设计的方法进行研究。O_OCTT的主要功能是测试用例的生成,由于当前的O_OCTT不具有可移植性和可复用性,增加了O_O编译器的开发成本。论文基于构件组装技术,提出了采用O_O方法解决O_OCTT自动生成测试用例的软件复用问题,描述了测试用例的覆盖准则,并重点讨论了采用O_O技术的测试用例构件化,以及使用状态机动态地进行构件组装完成测试用例的自动生成。; 关键词编译器测试测试自动化面向对象技术测试用例; Keywords compiler test,test automation,OOM,test case; 分类号 TP302.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	peC语言的部分求值器及在编译器测试中的应用	郭德贵王冠成吕帅刘磊	《软件学报》 EI CSCD 北大核心	2017	3	在线阅读下载PDF 职称材料
2	基于前馈神经网络的编译器测试用例生成方法	徐浩然王勇军黄志坚解培岱范书珲	《软件学报》 EI CSCD 北大核心	2022	12	在线阅读下载PDF 职称材料
3	语义可感知的灰盒编译器模糊测试	欧先飞蒋炎岩许畅	《软件学报》北大核心	2025	0	在线阅读下载PDF 职称材料
4	TI DSP C语言编译器正确性测试	孙海燕陈跃跃王峰杨灿群阳柳王霁	《计算机科学》 CSCD 北大核心	2015	2	在线阅读下载PDF 职称材料
5	一种基于过程图模型的编译优化测试程序自动生成方法	陶秋铭赵琛王永吉	《计算机研究与发展》 EI CSCD 北大核心	2009	0	在线阅读下载PDF 职称材料
6	一种编译优化测试用例自动生成方法的设计与实现	曾伟明薛云志赵琛贺也平	《小型微型计算机系统》 CSCD 北大核心	2009	2	在线阅读下载PDF 职称材料
7	DBI-Go:动态插桩定位Go二进制的非法内存引用	陈金宝张昱李清伟丁伯尧	《软件学报》 EI CSCD 北大核心	2024	0	在线阅读下载PDF 职称材料
8	O_OCTT设计中面向对象方法的研究	史晋陈英孙文灿	《计算机工程与应用》 CSCD 北大核心	2004	0	在线阅读下载PDF 职称材料