期刊文献+
共找到676篇文章
< 1 2 34 >
每页显示 20 50 100
Huffman-Code-Based Ternary Tree Transformation
1
作者 Qing-Song Li Huan-Yu Liu +2 位作者 Qingchun Wang Yu-Chun Wu Guo-Ping Guo 《Chinese Physics Letters》 2025年第10期1-12,共12页
Using a quantum computer to simulate fermionic systems requires fermion-to-qubit transformations.Usually,lower Pauli weight of transformations means shallower quantum circuits.Therefore,most existing transformations a... Using a quantum computer to simulate fermionic systems requires fermion-to-qubit transformations.Usually,lower Pauli weight of transformations means shallower quantum circuits.Therefore,most existing transformations aim for lower Pauli weight.However,in some cases,the circuit depth depends not only on the Pauli weight but also on the coefficients of the Hamiltonian terms.In order to characterize the circuit depth of these algorithms,we propose a new metric called weighted Pauli weight,which depends on Pauli weight and coefficients of Hamiltonian terms.To achieve smaller weighted Pauli weight,we introduce a novel transformation,Huffman-code-based ternary tree(HTT)transformation,which is built upon the classical Huffman code and tailored to different Hamiltonians.We tested various molecular Hamiltonians and the results show that the weighted Pauli weight of the HTT transformation is smaller than that of commonly used mappings.At the same time,the HTT transformation also maintains a relatively small Pauli weight.The mapping we designed reduces the circuit depth of certain Hamiltonian simulation algorithms,facilitating faster simulation of fermionic systems. 展开更多
关键词 quantum computer weighted pauli weightwhich Huffman code based ternary tree transformation simulate fermionic systems fermion qubit transformations characterize circuit depth hamiltonian termsin fermionic systems
原文传递
Matching Source Code Using Abstract Syntax Trees in Version Control Systems 被引量:1
2
作者 Jonathan van den Berg Hirohide Haga 《Journal of Software Engineering and Applications》 2018年第6期318-340,共23页
Software projects are becoming larger and more complicated. Managing those projects is based on several software development methodologies. One of those methodologies is software version control, which is used in the ... Software projects are becoming larger and more complicated. Managing those projects is based on several software development methodologies. One of those methodologies is software version control, which is used in the majority of worldwide software projects. Although existing version control systems provide sufficient functionality in many situations, they are lacking in terms of semantics and structure for source code. It is commonly believed that improving software version control can contribute substantially to the development of software. We present a solution that considers a structural model for matching source code that can be used in version control. 展开更多
关键词 VERSION Control Source code MATCHING ABSTRACT SYNTAX tree STRUCTURED Representation
在线阅读 下载PDF
THE NEW METHOD OF GENERATION OF BINARY TREES FROM ZER0(0) AND ONE(1) CODES
3
作者 蔡恒 《Journal of China Textile University(English Edition)》 EI CAS 1995年第2期94-99,共6页
A binary tree can be represented by a code reflecting the traversal of the corresponding regular binary tree in given monotonic order. A different coding scheme based on the branches of a regular binary tree with n-no... A binary tree can be represented by a code reflecting the traversal of the corresponding regular binary tree in given monotonic order. A different coding scheme based on the branches of a regular binary tree with n-nodes is proposed. It differs from the coding scheme generally used and makes no distinction between internal nodes and terminal nodes. A code of a regular binary tree with nnodes is formed by labeling the left branches by O’s and the right branches by l’s and then traversing these branches in pre-order. Root is always assumed to be on a left branch. 展开更多
关键词 code TRAVERSAL MONOTONIC order BINARY tree RECURSION backtrack approach algorithm design.
在线阅读 下载PDF
Code Clone Detection Method Based on the Combination of Tree-Based and Token-Based Methods
4
作者 Ryota Ami Hirohide Haga 《Journal of Software Engineering and Applications》 2017年第13期891-906,共16页
This article proposes the high-speed and high-accuracy code clone detection method based on the combination of tree-based and token-based methods. Existence of duplicated program codes, called code clone, is one of th... This article proposes the high-speed and high-accuracy code clone detection method based on the combination of tree-based and token-based methods. Existence of duplicated program codes, called code clone, is one of the main factors that reduces the quality and maintainability of software. If one code fragment contains faults (bugs) and they are copied and modified to other locations, it is necessary to correct all of them. But it is not easy to find all code clones in large and complex software. Much research efforts have been done for code clone detection. There are mainly two methods for code clone detection. One is token-based and the other is tree-based method. Token-based method is fast and requires less resources. However it cannot detect all kinds of code clones. Tree-based method can detect all kinds of code clones, but it is slow and requires much computing resources. In this paper combination of these two methods was proposed to improve the efficiency and accuracy of detecting code clones. Firstly some candidates of code clones will be extracted by token-based method that is fast and lightweight. Then selected candidates will be checked more precisely by using tree-based method that can find all kinds of code clones. The prototype system was developed. This system accepts source code and tokenizes it in the first step. Then token-based method is applied to this token sequence to find candidates of code clones. After extracting several candidates, selected source codes will be converted into abstract syntax tree (AST) for applying tree-based method. Some sample source codes were used to evaluate the proposed method. This evaluation proved the improvement of efficiency and precision of code clones detecting. 展开更多
关键词 code Clone Token-Based DETECTION tree-Based DETECTION tree EDIT Distance
暂未订购
A 4-Corner Codes Classifier Based on Decision Tree Inductive Learning for Handwritten Chinese Characters
5
作者 钱国良 王亚东 舒文豪 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 1998年第2期26-31,共6页
The classification for handwritten Chinese character recognition can be viewed as a transformation in discrete vector space. In this paper, from the point of discrete vector space transformation, a new 4-corner codes ... The classification for handwritten Chinese character recognition can be viewed as a transformation in discrete vector space. In this paper, from the point of discrete vector space transformation, a new 4-corner codes classifier based on decision tree inductive learning algorithm ID3 for handwritten Chinese characters is presented. With a feature extraction controller, the classifier can reduce the number of extracted features and accelerate classification speed. Experimental results show that the 4-corner codes classifier performs well on both recognition accuracy and speed. 展开更多
关键词 Handwritten Chinese CHARACTER recognition classification discrete vector space transformation DECISION tree INDUCTIVE learning 4-corner codeS
在线阅读 下载PDF
基于深度学习的编译型语言代码转换技术研究
6
作者 张明明 张富林 +2 位作者 刘建戈 张鹏宇 洪涛 《计算机技术与发展》 2026年第1期24-30,共7页
随着软件系统跨平台和语言多样化的需求日益增长,自动源代码转换技术成为现代软件工程中的关键研究方向。传统基于规则和统计方法的代码转换手段受限于语法覆盖范围小、语义一致性弱等问题,难以满足大规模、高精度的代码迁移需求。该文... 随着软件系统跨平台和语言多样化的需求日益增长,自动源代码转换技术成为现代软件工程中的关键研究方向。传统基于规则和统计方法的代码转换手段受限于语法覆盖范围小、语义一致性弱等问题,难以满足大规模、高精度的代码迁移需求。该文聚焦于编译型语言之间的代码转换任务,提出一种基于深度学习的Java到C++自动代码转换方法。该方法融合了Transformer编码-解码结构、语法树建模、层次注意力机制和指针生成机制,能够同时捕捉源代码的词法和结构特征,并有效处理未登录标识符的翻译问题。在构建的Java-C++平行数据集上开展了系统实验,结果表明该模型在BLEU得分提升了6.4百分点,CodeBLEU提升了4.7百分点,精确匹配率提高了5.7百分点,功能正确率提高了7.8百分点,在多个评价指标上均显著优于现有主流方法。通过消融实验和案例分析进一步验证了模型结构各部分对性能提升的重要贡献。 展开更多
关键词 代码转换 编译型语言 TRANSFORMER 语法树 指针生成网络
在线阅读 下载PDF
基于编码的TreeView控件节点生成算法 被引量:4
7
作者 李俊锋 方明 《电脑知识与技术》 2009年第2期847-848,852,共3页
针对TreeView控件节点生成算法的现状,该文分析了现有TreeView控件节点动态生成算法中的递归算法,提出一种基于编码的TreeView控件树节点生成算法,并解决了TreeView控件节点动态生成算法中可能出现的断层现象和递归算法效率低下的问题。
关键词 treeVIEW 生成树 编码
在线阅读 下载PDF
PowerBuilder中编码实现对TreeView目录树的快速操作
8
作者 高雪松 《计算机与现代化》 2003年第6期69-71,共3页
介绍了一种利用编码实现对TreeView目录树快速操作的方法,并通过典型实例详述了其在PowerBuilder开发数据库系统中的实现。
关键词 数据库系统 POWERBUILDER 编码 treeView目录树 树形结构
在线阅读 下载PDF
An Optimal Algorithm for Prufer Codes
9
作者 Xiaodong Wang Lei Wang Yingjie Wu 《Journal of Software Engineering and Applications》 2009年第2期111-115,共5页
This paper studies the algorithms for coding and decoding Prufer codes of a labeled tree. The algorithms for coding and decoding Prufer codes of a labeled tree in the literatures require time usually. Although there e... This paper studies the algorithms for coding and decoding Prufer codes of a labeled tree. The algorithms for coding and decoding Prufer codes of a labeled tree in the literatures require time usually. Although there exist linear time algorithms for Prufer-like codes [1,2,3], the algorithms utilize the integer sorting algorithms. The special range of the integers to be sorted is utilized to obtain a linear time integer sorting algorithm. The Prufer code problem is reduced to integer sorting. In this paper we consider the Prufer code problem in a different angle and a more direct manner. We start from a na&#239;ve algorithm, then improved it gradually and finally we obtain a very practical linear time algorithm. The techniques we used in this paper are of interest in their own right. 展开更多
关键词 DESIGN of ALGORITHM Labeled trees Prufer codeS INTEGER SORTING
在线阅读 下载PDF
融合注意力机制和Child-Sum Tree-LSTM的二进制代码相似性检测 被引量:1
10
作者 李涛 王金双 《网络安全与数据治理》 2023年第11期8-14,34,共8页
抽象语法树是一种代码的树型表示,它保留了代码中定义良好的语句组件、语句的显式顺序和执行逻辑。包含丰富语义信息的抽象语法树可以在二进制分析时通过反编译生成,并且已经作为代码特征应用于二进制代码相似度检测。抽象语法树中不同... 抽象语法树是一种代码的树型表示,它保留了代码中定义良好的语句组件、语句的显式顺序和执行逻辑。包含丰富语义信息的抽象语法树可以在二进制分析时通过反编译生成,并且已经作为代码特征应用于二进制代码相似度检测。抽象语法树中不同类别的节点承载着不同的语义信息,对整棵树的语义具有不同的贡献程度。然而现有的二进制代码相似度检测方法所用神经网络无法对抽象语法树节点进行重要性区分,影响了模型的训练效果。针对该问题,提出了一种融合注意力机制和Child-Sum Tree-LSTM神经网络的跨指令集、跨代码混淆二进制代码相似性检测方法。首先使用二进制分析工具IDA Pro对二进制代码反编译提取架构无关的抽象语法树特征,并利用随机采样构造训练样本对。然后使用抽象语法树训练样本对训练融合注意力机制和Child-Sum Tree-LSTM的神经网络模型。在公开数据集BINKIT上的实验表明,所提方法的AUC和Accuracy指标分别为94.1%、66.2%,优于Child-Sum Tree-LSTM算法。 展开更多
关键词 二进制代码 相似性检测 注意力机制 Child-Sum tree-LSTM
在线阅读 下载PDF
HRM: H-tree based reconfiguration mechanism in reconfigurable homogeneous PE array 被引量:7
11
作者 Junyong Deng Lin Jiang +5 位作者 Yun Zhu Xiaoyan Xie Xinchuang Liu Feilong He Shuang Song L.K.John 《Journal of Semiconductors》 EI CAS CSCD 2020年第2期42-50,共9页
In order to accommodate the variety of algorithms with different performance in specific application and improve power efficiency,reconfigurable architecture has become an effective methodology in academia and industr... In order to accommodate the variety of algorithms with different performance in specific application and improve power efficiency,reconfigurable architecture has become an effective methodology in academia and industry.However,existing architectures suffer from performance bottleneck due to slow updating of contexts and inadequate flexibility.This paper presents an H-tree based reconfiguration mechanism(HRM)with Huffman-coding-like and mask addressing method in a homogeneous processing element(PE)array,which supports both programmable and data-driven modes.The proposed HRM can transfer reconfiguration instructions/contexts to a particular PE or associated PEs simultaneously in one clock cycle in unicast,multicast and broadcast mode,and shut down the unnecessary PE/PEs according to the current configuration.To verify the correctness and efficiency,we implement it in RTL synthesis and FPGA prototype.Compared to prior works,the experiment results show that the HRM has improved the work frequency by an average of 23.4%,increased the updating speed by 2×,and reduced the area by 36.9%;HRM can also power off the unnecessary PEs which reduced 51%of dynamic power dissipation in certain application configuration.Furthermore,in the data-driven mode,the system frequency can reach 214 MHz,which is 1.68×higher compared with the programmable mode. 展开更多
关键词 H-tree based reconfiguration mechanism(HRM) Huffman-coding-like addressing programmable mode data-driven mode homogeneous PE array
在线阅读 下载PDF
改进MSE和BTSVM的往复压缩机轴承智能诊断研究
12
作者 闫旭辉 武文革 邓诗俊 《机械设计与制造》 北大核心 2025年第12期277-282,共6页
针对往复压缩机轴承故障诊断识别准确率不高,故障特征信息耦合等问题,提出了基于改进MSE和优化BTSVM的故障诊断新方法。鉴于多尺度样本熵算法在冗余计算与特征提取效率方面存在的局限性,本研究深入剖析其多尺度处理策略与样本熵计算流程... 针对往复压缩机轴承故障诊断识别准确率不高,故障特征信息耦合等问题,提出了基于改进MSE和优化BTSVM的故障诊断新方法。鉴于多尺度样本熵算法在冗余计算与特征提取效率方面存在的局限性,本研究深入剖析其多尺度处理策略与样本熵计算流程,针对性地实施了优化措施。由此,本文提出了改进多尺度样本熵算法(IMSE),旨在显著提升算法的计算效率与特征提取精度。其次,针对传统纠错码无法确定码长及最优排列顺序这两方面的不足,将Hadamard矩阵应用于纠错码,提出一种基于Hadamard纠错码结合二叉树支持向量机(BTSVM)的故障识别方法。最后,将两种改进方法进行混合应用于往复压缩机故障诊断中,结果表明,本方法不但提高了故障诊断的准确率,还极大地加快了故障诊断的计算速度。 展开更多
关键词 往复压缩机 改进多尺度样本熵算法 纠错码 二叉树支持向量机 故障诊断
在线阅读 下载PDF
基于孪生网络的源代码相似性检测方法
13
作者 冯景瑜 刘正波 +2 位作者 刘宇航 张文波 韩刚 《西安邮电大学学报》 2025年第2期99-106,共8页
针对现有方法在源代码相似性检测中难以有效提取语法和结构信息的问题,提出一种基于孪生网络(Siamese Neural Network,SNN)的源代码相似性检测方法。利用抽象语法树(Abstract Syntax Tree,AST)作为源代码表征形式,设计适用于AST的位置... 针对现有方法在源代码相似性检测中难以有效提取语法和结构信息的问题,提出一种基于孪生网络(Siamese Neural Network,SNN)的源代码相似性检测方法。利用抽象语法树(Abstract Syntax Tree,AST)作为源代码表征形式,设计适用于AST的位置编码机制和多维源代码特征提取机制。将AST中的每个节点转化成词嵌入向量,生成对应的位置编码向量,相加后输入Transformer模型,生成包含丰富语法和结构信息的向量,拼接多维源代码特征向量作为孪生网络的输入,实现源代码的相似性检测。实验结果表明,所提方法准确率达91.88%,较FCDetector、TreeCen和C4方法分别提升20.32%、9.15%和10.23%,在源代码相似性检测的性能上更具优势。 展开更多
关键词 漏洞挖掘 源代码相似性 抽象语法树 孪生网络 位置编码
在线阅读 下载PDF
DeepCom-GCN:融入控制流结构信息的代码注释生成模型
14
作者 钟茂生 刘会珠 +1 位作者 匡江玲 严婷 《江西师范大学学报(自然科学版)》 北大核心 2025年第1期27-36,共10页
代码注释生成是指给定一个代码片段,通过模型自动生成一段关于代码片段功能的概括性自然语言描述.不同于自然语言,程序语言具有复杂语法和强结构性.部分研究工作只利用了源代码的序列信息或抽象语法树信息,未能充分利用源代码的逻辑结... 代码注释生成是指给定一个代码片段,通过模型自动生成一段关于代码片段功能的概括性自然语言描述.不同于自然语言,程序语言具有复杂语法和强结构性.部分研究工作只利用了源代码的序列信息或抽象语法树信息,未能充分利用源代码的逻辑结构信息.针对这一问题,该文提出一种融入程序控制流结构信息的代码注释生成方法,将源代码序列和结构信息作为单独的输入进行处理,允许模型学习代码的语义和结构.在2个公开数据集上进行验证,实验结果表明:和其他基线方法相比,DeepCom-GCN在BLEU-4、METEOR和ROUGE-L指标上的性能分别提升了2.79%、1.67%和1.21%,验证了该方法的有效性. 展开更多
关键词 代码注释生成 抽象语法树 控制流图 图卷积神经网络 软件工程 程序理解 自然语言处理
在线阅读 下载PDF
基于改进压缩器的新型Wallace树乘法器设计
15
作者 黄瑞钧 刘杰 +3 位作者 刘红海 唐学峰 洪军 李靖宇 《智能计算机与应用》 2025年第9期101-106,共6页
为了降低延时和功耗,提高处理器整体性能,优化乘法器关键路径成为乘法器设计的一个重要方法。首先,通过精减压缩器逻辑表达式中的逻辑冗余项,减少电路复杂度,缩短电路关键路径,达到降低压缩器延时的目的。然后,利用Booth算法,结合所提... 为了降低延时和功耗,提高处理器整体性能,优化乘法器关键路径成为乘法器设计的一个重要方法。首先,通过精减压缩器逻辑表达式中的逻辑冗余项,减少电路复杂度,缩短电路关键路径,达到降低压缩器延时的目的。然后,利用Booth算法,结合所提的改进型压缩器,采用Wallace树结构对32位乘法器进行重新设计,把关键路径延时减少到11个异或门。最后,基于SIMC180 nm工艺对所设计的乘法器进行仿真验证,实验结果表明所提设计方案能有效提高计算速度,降低功耗,优于现有的乘法器方案。 展开更多
关键词 乘法器 压缩器 BOOTH编码 WALLACE树
在线阅读 下载PDF
面向水下航行器集群协同信息的级联编码研究
16
作者 张家豪 闫金金 汲赫婵 《哈尔滨工程大学学报》 北大核心 2025年第10期2084-2093,共10页
针对水声通信面临着频谱有限、传输速率低下和通信延迟等问题,本文对无人水下航行器集群协同导航过程中的信息传输进行了研究。将领航-跟随者航行器集群中的领航者作为研究对象,通过对其仿真提取待传输信息并分析信息特性,提出了一种混... 针对水声通信面临着频谱有限、传输速率低下和通信延迟等问题,本文对无人水下航行器集群协同导航过程中的信息传输进行了研究。将领航-跟随者航行器集群中的领航者作为研究对象,通过对其仿真提取待传输信息并分析信息特性,提出了一种混合结构级联编码技术,通过无损信息编码来减少带宽使用,提高通信效率。结合字典和编码树,在二叉树中储存词条以消除重复存储,提高压缩比。通过存储词条并进行节点统计,利用统计结果优化后续处理步骤,并在二次编码阶段利用统计信息来构建初始编码树,从而节省编码时间。仿真结果表明,与传统编码技术相比,本文提出的混合结构级联编码技术能够显著提高信息传输的有效性,大幅减少数据冗余,信息量平均减少了39.5%,有效满足了降低集群协同信息传输的带宽需求。通过编码和信息重组算法,实现了安全加密机制,以确保数据传输的安全性。本文研究为水下航行器集群的协同信息传输提供新的思路,进而提升集群协作的可实施性。 展开更多
关键词 无人水下航行器 集群 信息传输 字典 字串表 编码树 霍夫曼树 数据压缩
在线阅读 下载PDF
基于AST的MATLAB到Python转换器
17
作者 郭瑞 徐文浩 +2 位作者 谢鹏志 杨威 宋友 《计算机工程与科学》 北大核心 2025年第6期1041-1049,共9页
MATLAB语言被广泛应用于工业领域产品研发的各个环节,但是在实际工程应用场景中,需要将其建立的机理模型脱离MATLAB运行环境,与实际的工程系统集成应用,故需要一种将MATLAB建立的模型快速工程化的工具。为此,提出一种MATLAB到Python转换... MATLAB语言被广泛应用于工业领域产品研发的各个环节,但是在实际工程应用场景中,需要将其建立的机理模型脱离MATLAB运行环境,与实际的工程系统集成应用,故需要一种将MATLAB建立的模型快速工程化的工具。为此,提出一种MATLAB到Python转换器M2P,该转换器基于抽象语法树AST,将源代码转换到AST结构,对该结构进行分析并利用替换规则生成结果代码,最终实现MATLAB到Python的代码等价转换。对比代码转换实验的结果表明,所提转换器与现有的其他MATLAB到Python转换转换器相比具有更高的转换性能。 展开更多
关键词 代码转换 MATLAB-to-Python 抽象语法树
在线阅读 下载PDF
红带稻沫蝉线粒体基因组特征及系统发育分析
18
作者 胡凯 刘童童 +2 位作者 张念念 苏云宁 杨再华 《中国森林病虫》 北大核心 2025年第6期20-29,共10页
为探索红带稻沫蝉Callitettix coomani线粒体基因组特征和沫蝉科Cercopidae内部系统发育关系,利用第二代高通量测序技术完成红带稻沫蝉线粒体全基因组测序,经组装和注释后,采用最大似然法和贝叶斯法重建沫蝉科内部的系统发育关系。结果... 为探索红带稻沫蝉Callitettix coomani线粒体基因组特征和沫蝉科Cercopidae内部系统发育关系,利用第二代高通量测序技术完成红带稻沫蝉线粒体全基因组测序,经组装和注释后,采用最大似然法和贝叶斯法重建沫蝉科内部的系统发育关系。结果表明:红带稻沫蝉线粒体基因组全长15 295 bp,包含37个典型的昆虫线粒体基因和1个较大的非编码控制区,有明显的AT偏好性,AT含量为76.8%;所有22个转运RNA基因(tRNAs)均能被折叠成典型的三叶草结构;在沫蝉科昆虫线粒体基因组的13个蛋白编码基因(PCGs)中,atp8的核苷酸多样性最高,cox1的核苷酸多样性最低;系统发育树强烈支持沫蝉科和疣胸沫蝉属Phymatostetha为单系群,疣胸沫蝉属与Paphnutius属姊妹群关系也被恢复并获得强烈支持。研究结果可丰富沫蝉科害虫物种识别的分子数据库,也为更好理解沫蝉科内部系统发育关系提供依据。 展开更多
关键词 红带稻沫蝉 沫蝉总科 线粒体基因组 蛋白质编码基因 系统发育树
在线阅读 下载PDF
基于树模板编码的市政排水管网设计优化方法
19
作者 张晓战 《佳木斯大学学报(自然科学版)》 2025年第7期117-120,共4页
随着城市建设进程的加快,因为过度发展带来的市政排水管网运行的问题日益严重传统的市政排水管设计一般要考虑复杂的雨污分流以及管道相互之间的流通问题,所以难以实现水管性能和城市效益之间的均衡。为了更好地解决此问题,提出了一种... 随着城市建设进程的加快,因为过度发展带来的市政排水管网运行的问题日益严重传统的市政排水管设计一般要考虑复杂的雨污分流以及管道相互之间的流通问题,所以难以实现水管性能和城市效益之间的均衡。为了更好地解决此问题,提出了一种通过树模板编码的方式来优化市政排水管网的方法。具体的方法是通过多目标的算法优化暴雨洪水管理模型,之后利用树模板编码来优化水管网的布局,编码方式同时考虑管网的拓扑结构和数值特征。将优化后的模型应用在实际的环境中,结果显示,优化之后的模型排水效率在75%以上,最高为85%,对于污水的输送效率较低,但是也达到85%。说明研究成功应用树模板编码优化市政排水管网,显著提升了排水效率。 展开更多
关键词 树模板编码 多目标优化 排水管网优化 SWMM模型
在线阅读 下载PDF
基于动态语义反馈的JavaScript引擎模糊测试方法研究
20
作者 刘博强 陈泽茂 《信息安全研究》 北大核心 2025年第11期1031-1039,共9页
JavaScript在服务器、嵌入式设备等开发场景中广泛应用,JavaScript引擎作为其编译和执行器,其中的安全漏洞极易引发大范围安全事件,因此针对JavaScript引擎的模糊测试成为研究热点.现有JavaScript引擎模糊测试技术生成的测试用例存在有... JavaScript在服务器、嵌入式设备等开发场景中广泛应用,JavaScript引擎作为其编译和执行器,其中的安全漏洞极易引发大范围安全事件,因此针对JavaScript引擎的模糊测试成为研究热点.现有JavaScript引擎模糊测试技术生成的测试用例存在有效率低、多样性不足等问题.针对这些问题,提出一种基于动态语义反馈的模糊测试方法,通过运行时语义信息的动态收集、分析和反馈机制辅助测试用例生成,提高测试用例的有效率.在此基础上,采用表达式替换和函数创建等用例变异策略,提高测试用例的语法探索能力.实现了JavaScript引擎模糊测试原型系统DSFfuzz,在JerryScript引擎的模糊测试对比实验中,DSFfuzz相较于3个先进工作测试用例有效率平均提升了11.81%,且触发的独特崩溃最多,发现了15个独特崩溃,证明了该方法的有效性. 展开更多
关键词 JAVASCRIPT引擎 模糊测试 抽象语法树 代码块组装 动态语义反馈
在线阅读 下载PDF
上一页 1 2 34 下一页 到第
使用帮助 返回顶部