检索结果-南通市图书馆

计算机研究与发展 2024年第2期61卷 291-306页

作者：杨光周宇陈翔张翔宇南京航空航天大学计算机科学与技术学院/人工智能学院/软件学院南京211106 南通大学信息科学技术学院江苏南通226019

评估指标在代码合成领域中至关重要.常用的代码评估指标可以分为3种类型:基于匹配、基于语义和基于执行.其中,基于执行的Pass@k指标通过执行测试用例,能够准确判断预测代码的功能准确性.然而,该指标的计算需要大量开销,因此亟需设计一... 详细信息

评估指标在代码合成领域中至关重要.常用的代码评估指标可以分为3种类型:基于匹配、基于语义和基于执行.其中,基于执行的Pass@k指标通过执行测试用例,能够准确判断预测代码的功能准确性.然而,该指标的计算需要大量开销,因此亟需设计一种自动化评估指标,在无需测试用例时仍可评估预测代码的功能准确性.此外,好的评估指标应当具有鲁棒性,即预测代码发生微小改变时,评估指标仍能保持其准确性.为此,提出了一种基于UniXcoder和对比学习的自动化鲁棒指标CodeScore-R,用于评估代码合成的功能准确性. CodeScore-R采用草图化处理、语法等价转换和变异测试等技术手段,有效减轻了标识符、语法结构和运算符对评估结果的干扰.实验结果表明,在Java和Python语言上的代码生成和迁移任务中,CodeScore-R的表现优于其他无需测试用例的评估指标,且更接近Pass@k指标,并具有更强的鲁棒性.

关键词：代码合成评估指标功能准确性鲁棒性代码合成神经网络

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于状态机代码合成技术的状态测试数据生成

引用

计算机工程 2004年第15期30卷 136-138页

作者：张毅坤赵明崔杜武西安理工大学计算机科学与工程学院西安710048

目前,基于状态机的测试多集中在测试序列的生成方法学上,然而状态机的特点决定了测试序列对测试数据具有相当的依赖性,即一个测试序列的执行受到其上测试数据的约束。该文提出了状态机代码合成的方法模拟状态机行为,将其转换为可执行规... 详细信息

目前,基于状态机的测试多集中在测试序列的生成方法学上,然而状态机的特点决定了测试序列对测试数据具有相当的依赖性,即一个测试序列的执行受到其上测试数据的约束。该文提出了状态机代码合成的方法模拟状态机行为,将其转换为可执行规约并在此基础上使用遗传算法来生成状态机的测试数据,为解决状态机测试数据的生成提供了一种可行的方法。

关键词：状态机代码合成测试数据生成遗传算法

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

一种基于遗传算法的GPGPU极限功耗测试框架

一种基于遗传算法的GPGPU极限功耗测试框架

引用

作者：李孝科中国科学技术大学

学位级别：硕士

作为一种新兴的计算平台,图形处理器(GPU)在科学计算和工程领域展现出巨大的计算能力。GPU也很快由单纯的图形处理加速单元,演变成适合通用计算的处理器(GPGPU)。然而随着计算性能和存储带宽的提升,GPGPU的功耗也由以前的几十瓦增大到... 详细信息

作为一种新兴的计算平台,图形处理器(GPU)在科学计算和工程领域展现出巨大的计算能力。GPU也很快由单纯的图形处理加速单元,演变成适合通用计算的处理器(GPGPU)。然而随着计算性能和存储带宽的提升,GPGPU的功耗也由以前的几十瓦增大到数百瓦,严重影响了GPGPU系统的设计,这使得功耗成为设计高性能GPU系统首先考虑的重要指标之一。热设计功耗是衡量GPU的热量释放的指标,决定GPU冷却模块和电源模块的功耗设计。通常热设计功耗来自GPGPU满负荷状态下实际能达到的极限功耗值。因此,准确地测试极限功耗对高性能GPGPU的设计有重要的意义。大量并行的计算核心、多层次的存储系统和复杂的内部互联结构使得GPU实际的极限功耗测试工作极其困难。传统的做法是手工编写功耗病毒程序进行测试。这种方法繁琐耗时,要求设计人员精通GPGPU体系结构和编译器原理。通常,手工编写的功耗程序无法保证测得的极限功耗的准确性,且不适用于不同的GPGPU体系结构。针对上述问题,本文深入研究了当前GPGPU主流基准测试程序的功耗特征,设计了一种基于遗传算法的GPGPU极限功耗测试框架。本框架首先通过一种基于随机森林的功耗分析模型对程序功耗影响因子进行分析,抽象出用于参数化描述功耗负载的负载模型。然后结合框架设计的代码合成算法生成相应的功耗负载模型搜索空间,最后由机器学习模块SNAP使用遗传算法对负载模型空间进行自动化搜索求出极限功耗最优解。本文借助gpgpu-sim和gpgpu-wattch模拟器对NVIDIA公司的GTX480和quadro FX5600两款GPGPU进行测试。实验表明使用自动化框架测得的两款GPU的极限功耗分别比当前主流GPGPU基准测试程序测得的最大功耗高出19%和14%。同时结合静态功耗,框架测得极限功耗与官方设计的TDP误差只有6%和3%。本文设计的极限功耗测试框架采用一种系统化的方法,不但可以简单、准确、快速地找到不同体系结构GPGPU的极限功耗,而且还可以对新型GPGPU系统进行风险和效率评估,对现代新型GPGPU系统的设计有重要的意义。

关键词： GPGPU 极限功耗随机森林算法遗传算法代码合成抽象功耗负载模型

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：