检索结果-内蒙古大学图书馆

软件学报 2017年第5期28卷 1221-1232页

作者：郭德贵王冠成吕帅刘磊吉林大学计算机科学与技术学院吉林长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012 吉林大学数学学院吉林长春130012 吉林大学软件学院吉林长春130012

部分求值技术在程序优化及软件自动生成等方面起着极为重要的作用.将部分求值技术应用到编译器测试中.为此,设计了一种C语言的子集peC语言,给出了该语言的部分求值策略的形式化描述,实现了peC语言的部分求值器,设计了基于部分求值技术... 详细信息

部分求值技术在程序优化及软件自动生成等方面起着极为重要的作用.将部分求值技术应用到编译器测试中.为此,设计了一种C语言的子集peC语言,给出了该语言的部分求值策略的形式化描述,实现了peC语言的部分求值器,设计了基于部分求值技术的编译器测试框架.通过实验,该方法可以检测出大部分之前其他方法发现的GCC,LLVM编译器中的错误,此外还发现了其他方法不能发现的错误,这表明,将部分求值技术应用到编译器测试中是有效的.

关键词：部分求值剩余程序测试用例编译器测试抽象语法树

来源：评论

学校读者我要写书评

暂无评论

面向编译器测试的部分求值静态输入确定方法

引用

吉林大学学报（工学版） 2020年第1期50卷 262-267页

作者：刘磊瓮杰郭德贵吉林大学计算机科学与技术学院长春130012

在编译器测试中,基于部分求值技术的编译器测试方法在部分求值阶段时,必须由测试人员对具体的测试用例进行分析,然后手动指定程序中的一些变量作为静态输入,这种依赖人工手动指定的策略具有一定的盲目性,而且无法使测试过程自动化进行... 详细信息

在编译器测试中,基于部分求值技术的编译器测试方法在部分求值阶段时,必须由测试人员对具体的测试用例进行分析,然后手动指定程序中的一些变量作为静态输入,这种依赖人工手动指定的策略具有一定的盲目性,而且无法使测试过程自动化进行。为了解决这一问题,提出了一种基于变量依赖关系的源程序静态输入及其取值的确定方法,使基于部分求值技术的编译器测试框架的测试过程得以自动化进行,从而提高了测试效率。实验结果证明了本文方法的可行性。

关键词：计算机软件编译器测试部分求值静态输入程序静态分析

来源：评论

学校读者我要写书评

暂无评论

基于ECPMR的编译器测试方法

引用

吉林大学学报（工学版） 2017年第4期47卷 1262-1267页

作者：刘磊刘利娟吴新维张鹏吉林大学计算机科学与技术学院长春130012 吉林大学软件学院长春130012

提出了一种通过验证程序切片是否满足ECPMR的方式来验证编译器的方法。首先,选取一些满足特定蜕变关系的正确程序作为待测编译器的输入。然后,使用这些被选程序来生成程序切片。最后,检查程序切片的输出是否满足ECPMR从而发现编译器中... 详细信息

提出了一种通过验证程序切片是否满足ECPMR的方式来验证编译器的方法。首先,选取一些满足特定蜕变关系的正确程序作为待测编译器的输入。然后,使用这些被选程序来生成程序切片。最后,检查程序切片的输出是否满足ECPMR从而发现编译器中的错误。在SNL编译器上进行了本文方法的验证实验,结果表明该方法可有效地探测到SNL编译器中的错误。

关键词：计算机系统结构蜕变关系蜕变测试编译器测试程序切片

来源：评论

学校读者我要写书评

暂无评论

TTCN-3编译器测试覆盖度量研究

TTCN-3编译器测试覆盖度量研究

引用

作者：吴文娟中国科学技术大学

学位级别：硕士

对编译器的测试仍以手工设计、开发、执行测试用例方式为主,效率低下且易于出错。建立在文法测试理论基础之上的测试集合生成方法——规则覆盖算法等只考虑了对被测编译器语言文法语法层次上的测试覆盖,为加强对被测语言的全面测试,语... 详细信息

对编译器的测试仍以手工设计、开发、执行测试用例方式为主,效率低下且易于出错。建立在文法测试理论基础之上的测试集合生成方法——规则覆盖算法等只考虑了对被测编译器语言文法语法层次上的测试覆盖,为加强对被测语言的全面测试,语义覆盖正逐步成为研究热点。结合TTCN-3编译器的开发,提出了一种语义覆盖算法:通过属性文法的构造完成被测编译器语言的语义规则形式化,利用一种启发式搜索算法生成测试集合,实现了对被测语言语法、语义规则的双重覆盖。在语义覆盖算法中,还定义了一个包含对上下文无关文法和以属性形式表示的语义规则覆盖的测试覆盖度量准则,用于控制算法的终止。提出的语义覆盖算法不仅同时考虑了对被测语言语法、语义层面上的测试覆盖,而且,与规则覆盖算法生成固定的测试集合所不同的是,语义覆盖算法可以通过一些启发策略的制定,使测试者可以灵活控制生成的测试集合的规模和导向性,生成覆盖语言描述特定部分的测试集合。针对语义覆盖算法生成的测试集合存在仅包含诸如文法定义等黑盒信息的问题,给出了一套测试用例扩展方案,生成的带有被测编译器源码分支信息的测试用例集合,保证了条件覆盖。定义的测试覆盖度量准则、测试系统框架等对其他编译器测试具有普适性,在实际的编译器测试过程中也是可行的。

关键词：编译器测试 TTCN-3 文法测试属性文法测试覆盖度量语义覆盖

来源：评论

学校读者我要写书评

暂无评论

TTCN-3编译器测试用例集自动生成研究与实现

TTCN-3编译器测试用例集自动生成研究与实现

引用

作者：金鑫中国科学技术大学

学位级别：硕士

TTCN-3语言编译器实现的复杂性,使手工构造的测试用例集无法对编译器质量加以有力保证。引入测试用例自动生成,成了一种必然选择。通过总结手工测试经验,结合编译器构造、程序语言设计、测试数据生成、和TTCN-3语言特性,提出了一种层次... 详细信息

TTCN-3语言编译器实现的复杂性,使手工构造的测试用例集无法对编译器质量加以有力保证。引入测试用例自动生成,成了一种必然选择。通过总结手工测试经验,结合编译器构造、程序语言设计、测试数据生成、和TTCN-3语言特性,提出了一种层次化、结构化的灵活的测试用例集自动生成方案。该方案严格按照TTCN-3语言规范要求。整个生成过程,以语言规范给出的EBNF为基础.按照语言特性将EBNF分解成层次化的子规则集,然后以属性代码的方式,加入语义描述,形成针对测试用例生成的属性子文法。使用递归分析树生成器,生成中间表示形式的分析子树集;按照语法语义约束,将分析子树进行组合后,得到以分析树形式存在的测试用例。在覆盖分析指导下不断的生成测试用例,完成测试用例集的自动生成。实验表明,该方案生成的测试用例集既有很高的覆盖率、也有较强的测试针对性,能处理TTCN-3语言规范给出的复杂的语法语义约束。多种技术的综合使用保证了生成过程的高效,对于其它语言的编译器测试有参考意义。

关键词： TTCN-3 编译器测试测试用例自动生成层次化生成方法属性文法分析树

来源：评论

学校读者我要写书评

暂无评论

面向编译器测试的部分求值静态输入确定方法

面向编译器测试的部分求值静态输入确定方法

引用

作者：瓮杰吉林大学

学位级别：硕士

在编译器测试中,基于部分求值技术的编译器测试方法将用于编译器优化和程序例化的部分求值技术应用到编译器测试中,是一种比较新颖、有效的方法,但是这一方法对源程序用于部分求值的一组静态输入及其取值都是由人工手动指定的,这种依赖... 详细信息

在编译器测试中,基于部分求值技术的编译器测试方法将用于编译器优化和程序例化的部分求值技术应用到编译器测试中,是一种比较新颖、有效的方法,但是这一方法对源程序用于部分求值的一组静态输入及其取值都是由人工手动指定的,这种依赖人工手动指定的策略无法使测试过程自动化进行,而且具有一定的盲目性。本文为了解决基于部分求值的编译器测试技术中静态输入需要人工手动指定的低效和盲目性,提出了一种源程序静态输入的确定方法和静态输入值的确定方法,重点是要解决两个问题:第一,如何量化变量的重要性,为了解决这个问题,定义了变量的依赖度属性;第二,如何自动化地计算变量的依赖度,为此采用了数据流分析手段,先将源程序抽象为一个控制流图,待研究的顺序和分支语句构成图的节点。对源程序的分析主要集中在这些节点上,弱化了图的边。在该定义中,每个变量的定义集合是在该变量的所有赋值语句中,右部表达式中其他变量的集合,即每个变量的值依赖于它定义集合中的变量,定义集合主要用于后续的数据流方程计算,控制流图的引用集合表示在一个节点语句中出现的所有变量的集合,本文方法的核心思想便是对引用集合中的每个变量,用它的依赖集合来替换它,直至收敛。计算完变量的依赖度后,对于已经收敛的控制流图,将其中所有留存的变量作为该程序静态输入的候选集合,并提出静态输入的确定规则。在确定完静态输入之后,本文考虑了容易引发bug的一些分支结构语句,基于这些语句中的条件运算表达式来计算出静态输入的取值范围,并最终为每个静态输入确定一个具体的值。本文分别在源程序的抽象语法树级别和中间表达式级别对提出的方法进行了实现。在抽象语法树级别,先将源程序转化成抽象语法树,控制流图中的节点在这里对应着具体的语句类型节点,这些节点中包含着表达式以及变量节点的信息,通过对语法树进行遍历,可以计算出变量的定义集合、语句节点的引用集合,然后应用上文中的算法进行迭代,得到候选集合以及每个候选变量的依赖度,然后分别应用静态输入的确定方法和取值策略,选出该程序的静态输入。本文基于方法实现改进了编译器测试框架,使之可以自动化进行,对比前人的那种,需要手工指定静态输入的测试方法,测试效率得到了极大的提高。为了验证本文方法的有效性,本文做了两部分实验:向待测试的编译器人工植入了错误以及收集一些现有的触发编译器bug的测试用例,用该测试框架进行测试,均可触发相应的bug。

关键词：编译器测试部分求值静态输入程序静态分析

来源：评论

学校读者我要写书评

暂无评论

C编译器测试验证技术研究与应用

C编译器测试验证技术研究与应用

引用

作者：高蕾北京邮电大学

学位级别：硕士

从程序开发角度看,作为最常使用的系统软件之一,编译器的重要性不言而喻,对编译器的测试技术的研究一直是软件测试领域的一个重要分支。针对目前较常用的C编程语言,现有编译器测试验证工具(如SuperTest、CVSA C等)主要关注编译器对语言... 详细信息

从程序开发角度看,作为最常使用的系统软件之一,编译器的重要性不言而喻,对编译器的测试技术的研究一直是软件测试领域的一个重要分支。针对目前较常用的C编程语言,现有编译器测试验证工具(如SuperTest、CVSA C等)主要关注编译器对语言标准一致性的实现,本文的研究对象是一种编译器随机差分测试工具--Csmith,主要侧重于查找编译器编译中间过程的错误。Csmith使用自定义的语法子集,随机生成测试用例。其问题在于其只考虑了一个最基本的语法子集,且采用硬编码方式进行实现。本文使用基于语法的Purdom算法实现测试用例的自动生成,提高了Csmith对C语言语法规则的覆盖度和扩展性。’ 此外,Csmith生成的测试用例中有约10%是不能正常结束的,本文对此类测试用例添加了人工控制机制,使得用户可以控制此类测试用例的生成与否。本文对GCC编译器进行了测试验证,实验结果表明,本文所提的改进方法和实现是有效的。

关键词：编译器测试 Csmith Purdom算法基于语法的测试用例自动生成

来源：评论

学校读者我要写书评

暂无评论

基于编译器自身覆盖的编译器测试技术研究

基于编译器自身覆盖的编译器测试技术研究

引用

作者：吴江昶华中科技大学

学位级别：硕士

编译器测试是保证编译器质量的重要手段。现有的编译器测试技术,在测试的过程中都忽略了执行时间过长的测试程序占用了大量测试资源的问题。这里,执行时间过长的测试程序被称为为超时程序。超时程序的执行时间是正常测试程序执行时间的... 详细信息

编译器测试是保证编译器质量的重要手段。现有的编译器测试技术,在测试的过程中都忽略了执行时间过长的测试程序占用了大量测试资源的问题。这里,执行时间过长的测试程序被称为为超时程序。超时程序的执行时间是正常测试程序执行时间的成百上千倍,执行这类超时程序会严重影响编译器的测试效率。同时,在大量的测试程序中,能够触发编译器缺陷的测试程序仅占少数,称为揭错测试程序,执行大量无法触发缺陷的测试程序同样也会导致编译器的测试效率不高。编译器编译测试程序时,测试程序中不同的结构和语义特性可能会引起编译器不同的编译行为,编译器自身的覆盖信息也不尽相同,编译器自身覆盖率信息能在一定程度上反映出测试程序的语言特性、结构特性以及操作特性,这些特性与程序的执行密切相关(如测试程序的执行时间,测试程序是否触发编译器的缺陷)。为了提升编译器测试的效率,提出基于编译器的自身覆盖率信息,结合机器学习的方法分别训练超时程序预测模型和揭错程序预测模型,通过预测结果对测试程序进行选择,避免超时测试程序的执行和大量无法触发缺陷的测试程序的执行,提高编译器的测试效率。将基于编译器自身覆盖信息选择测试程序的方法应用于随机差分优化项(Different Optimization Levels,DOL)的测试过程,把不使用测试程序选择策略的DOL测试作为基准。实验结果表明在测试周期相同的情况下,使用测试程序选择策略选择出的超时测试程序数量仅占基准中超时程序数量的38.1%,最多节省了61.9%的超时程序执行时间,并且能够找到比基准多25%的缺陷。在找到的缺陷相同的情况下,消耗的时间比基准减少了28.9%,这说明了该方法对于提高编译器测试过程效率的有效性。

关键词：编译器测试覆盖信息机器学习测试程序选择

来源：评论

学校读者我要写书评

暂无评论

基于机器学习的编译器测试优化方法研究

基于机器学习的编译器测试优化方法研究

引用

作者：王冠成吉林大学

学位级别：硕士

编译器是最重要的系统软件之一。如果编译器本身有问题,那么它编译生成的可执行文件可能会出现严重的错误。编译器测试能够保证编译器的质量。近年来,许多技术促进了编译器自动化测试技术的发展。它们通常依赖于一些测试用例生成的工具(... 详细信息

编译器是最重要的系统软件之一。如果编译器本身有问题,那么它编译生成的可执行文件可能会出现严重的错误。编译器测试能够保证编译器的质量。近年来,许多技术促进了编译器自动化测试技术的发展。它们通常依赖于一些测试用例生成的工具(如Csmith等),用来生成大量的测试用例(编译器测试的输入)。因为编译器是一个非常庞大、复杂的软件,测试人员往往会利用大量的测试用例对编译器进行压力测试。虽然现有的编译器测试方法引入额外的特征对编译器测试过程进行改进,但是它们均存在严重的效率问题。编译器测试优化即优化编译器测试程序的执行顺序,加速编译器测试过程,提升编译器测试能力。许多加速编译器测试的方法通过特定的准则,优先执行最有可能触发编译器错误的测试用例。但是,它们忽略了编译器测试过程中的一个严重问题,即不同的测试用例极有可能触发相同的编译器错误。测试覆盖信息能够有效地区分测试程序。由于编译器测试中测试用例均是由自动化测试生成工具自动生成的,动态获取测试程序的覆盖信息的开销是巨大的。本文提出一种能够静态获取测试程序覆盖信息的方法,利用得到的覆盖信息,基于聚类的方法,重新排列测试程序在编译器测试过程中的执行顺序,达到加速编译器测试的目的。预测覆盖信息即预测编译器对一个测试程序进行编译时编译器组件被覆盖的信息(如源代码文件是否被覆盖,函数是否被执行等信息)。预测覆盖信息可以看作为多输出的回归问题,每一个标签代表编译器组件中的被关注的元素(如文件粒度上源代码文件是否被执行,语句粒度上语句是否被执行等)。与典型的机器学习算法应用场景类似,预测覆盖信息的过程需要定义特征,标签,训练预测模型,预测和对齐数据等。本文将这一方法命名为COP(COverage Prediction的缩写)。本文分别基于GCC和LLVM编译器进行大量实验,实验结果表明,COP方法能够有效加速编译器测试过程,平均达到了51.01%的加速比。此外,COP方法和已知效果最好的加速方法相比,在各项实验设置中,性能提升了17.16%-82.51%。

关键词：编译器测试覆盖信息机器学习测试用例排序

来源：评论

学校读者我要写书评

暂无评论

O-O语言编译器测试用例的自动生成算法

引用

测试技术学报 2002年第z2期16卷 1235-1240页

作者：严伟陈英黄湘武熊希达北京理工大学计算机科学与工程系北京100081 北京理工大学计算机科学与工程系北京100081 北京理工大学计算机科学与工程系北京100081 北京理工大学计算机科学与工程系北京100081

面向对象语言编译器自动测试工具的一个主要功能就是根据测试的需求目标和既定的测试方法,自动生成面向对象程序语言的测试用例.本文从编译器测试的上述需求定位出发,基于兼顾深度测试和宽度测试的黑盒测试方法,分析研究了测试用例自动... 详细信息

面向对象语言编译器自动测试工具的一个主要功能就是根据测试的需求目标和既定的测试方法,自动生成面向对象程序语言的测试用例.本文从编译器测试的上述需求定位出发,基于兼顾深度测试和宽度测试的黑盒测试方法,分析研究了测试用例自动生成所面临的几个主要问题.诸如,全涵盖符合面向对象语言标准(如IS0 C++、ANSI C++)的语法和语义,测试用例的正确性保证和复杂性要求等;探讨了从随机性、任意性方面实现一个满足测试需求的C++测试用例框架的相应算法.这些算法解决了测试用例中表达式、语句以及其它C++语言要素的生成,以及表达式、语句嵌套和数据结构的任意复杂性的问题.对于面向对象的编译器自动测试中的主要部分--用例生成器的设计与实现,具有一定的借鉴意义.

关键词：编译器测试自动测试工具测试用例生成面向对象(O-O)

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：