期刊文献+
共找到143篇文章
< 1 2 8 >
每页显示 20 50 100
大语言模型辅助的网络协议模糊测试 被引量:1
1
作者 颜晨 张翼 +2 位作者 龚汉文 薛吟兴 郭燕 《小型微型计算机系统》 北大核心 2025年第2期403-409,共7页
协议安全是保证互联网应用安全的基础,而模糊测试是验证协议安全的重要手段.协议测试的难点在于必须严格按照协议RFC中规定的结构和顺序生成数据包.为了生成能够满足协议需要的数据包,现有方法通常将一组记录的数据序列作为种子,但所记... 协议安全是保证互联网应用安全的基础,而模糊测试是验证协议安全的重要手段.协议测试的难点在于必须严格按照协议RFC中规定的结构和顺序生成数据包.为了生成能够满足协议需要的数据包,现有方法通常将一组记录的数据序列作为种子,但所记录的数据序列往往存在数量和多样性不足等问题,难以覆盖协议状态,而种子随机变异后的数据极有可能再次失效.为解决这一难题,本文探索了基于大语言模型(LLMs)进行网络协议模糊测试的方法,大语言模型充分理解了包括RFC协议在内的大量协议文本信息,从而获得了理解协议和生成测试所需的用例的能力.本文从状态获取、基于状态的种子生成和定向策略变异三方面,基于AFLNET探索了使用LLM进行网络协议模糊测试的方法 LLMAFL.为测试LLMAFL的效果,本文在ProfuzzBench中针对多项协议的测试,从代码覆盖和状态覆盖两方面,与当前领先的AFLNET和CHATAFL进行了对比,结果表明,相同测试时间内,LLMAFL的代码覆盖和状态覆盖相比AFLNET均有提升,部分协议中的效果也大幅超过了CHATAFL. 展开更多
关键词 网络协议模糊测试 大语言模型 种子生成 定向策略变异
在线阅读 下载PDF
基于建模与仿真的完备协议测试验证技术
2
作者 肖鹏 聂嘉浩 +2 位作者 吴博 杨丰玉 郑巍 《中国测试》 北大核心 2025年第7期154-163,共10页
针对复杂协议测试在形式化建模与测试完备性评估方面的不足,提出一种基于建模和仿真技术的完备协议测试验证技术。采用形式化模型规范建立协议测试对象模型的测试行为范式;以测试模型作为核心组件,通过模型驱动方法实现测试用例自动生成... 针对复杂协议测试在形式化建模与测试完备性评估方面的不足,提出一种基于建模和仿真技术的完备协议测试验证技术。采用形式化模型规范建立协议测试对象模型的测试行为范式;以测试模型作为核心组件,通过模型驱动方法实现测试用例自动生成;利用模型仿真实现测试过程的动态视图与测试结果动态验证;最后,基本测试流程模型实现协议测试的完备性评估。该技术为模型驱动的完备协议测试验证提供系统化理论支撑和完整方案,通过实验表明,使用该技术的测试方法相比传统基于脚本驱动测试方法,能够缩短30%测试时间,减少50%测试设计出错率,且在首轮测试覆盖中提升70%覆盖率。 展开更多
关键词 协议测试 完备性评估 建模与仿真 模型驱动
在线阅读 下载PDF
有状态协议模糊测试的种子调度算法
3
作者 谢宇豪 徐向华 《计算机应用研究》 CSCD 北大核心 2024年第10期3119-3123,共5页
为了探索有状态协议的程序漏洞,AFL-NET提出了有状态协议模糊测试。在有状态协议模糊测试中,种子的选择对路径的探索有着重大的贡献。然而,目前的有状态协议模糊测试往往重复执行几个相同的种子,导致不能很好地探索更多的路径。为了缓... 为了探索有状态协议的程序漏洞,AFL-NET提出了有状态协议模糊测试。在有状态协议模糊测试中,种子的选择对路径的探索有着重大的贡献。然而,目前的有状态协议模糊测试往往重复执行几个相同的种子,导致不能很好地探索更多的路径。为了缓解该问题,从种子的收益入手,提出了一种有效的基于有状态协议的种子动态调度算法。利用种子的潜在收益和实际收益以及成本作为收益,利用收益来进行动态的种子调度,并分配种子的执行次数。实验表明,该方法在漏洞发现数量上有显著提升,在提高覆盖率方面也有一定的提升,说明此收益定义以及种子调度算法能有效选择种子,探索更多的路径以及漏洞。 展开更多
关键词 模糊测试 灰盒 协议测试 漏洞挖掘
在线阅读 下载PDF
基于字段感知的文本协议灰盒模糊测试方法
4
作者 孙语韬 徐向华 《计算机应用研究》 CSCD 北大核心 2024年第10期3110-3118,共9页
基于变异的灰盒协议模糊测试方法使用便捷、可扩展性好,但缺乏协议报文格式信息,只能对报文整体进行变异以产生测试用例,导致生成的大部分测试报文会被被测协议实现直接拒绝,严重影响测试效率。针对这一问题,提出了基于字段感知的文本... 基于变异的灰盒协议模糊测试方法使用便捷、可扩展性好,但缺乏协议报文格式信息,只能对报文整体进行变异以产生测试用例,导致生成的大部分测试报文会被被测协议实现直接拒绝,严重影响测试效率。针对这一问题,提出了基于字段感知的文本协议模糊测试方法。该方法在基于变异的协议模糊测试中加入了模板学习的概念,使用分隔符划分报文字段,使用字段字典获取每个字段的合法取值;然后,针对划分后的报文,设计了多种字段级的变异策略,并根据每个字段可能的取值数量和覆盖率反馈计算相应的字段变异能量;此外,还利用对报文进行字段划分的结果,对被测协议实现的状态进行更细粒度的刻画。实验结果表明,该方法可以提高经典的基于变异的协议模糊测试框架AFLNET产生的可被被测协议实现接受的测试用例的比例,进而将测试效率提高到5倍以上。这表明基于变异的协议模糊测试方法普遍存在的可被接受的测试用例比例过低的问题确实会影响最终的测试效率,改善测试用例的被接受率可以大幅提高测试效率。 展开更多
关键词 网络安全 协议测试 模糊测试 字段感知 字段变异能量度量 细粒度状态刻画
在线阅读 下载PDF
蓝牙协议测试集的自动生成技术
5
作者 刘锐 李盘林 李秉智 《计算机应用》 CSCD 北大核心 2003年第z2期261-262,265,共3页
蓝牙系统是短距离无线通信系统 ,本文用EFSM模型来描述蓝牙协议栈中的电话控制协议 (TCS)。为了实现最小花费测试组的自动生成 ,采用了有效的算法来生成EFSM模型的最优邮路。结合自定义的形式化描述语言和C + +开发工具 ,实现了测试例... 蓝牙系统是短距离无线通信系统 ,本文用EFSM模型来描述蓝牙协议栈中的电话控制协议 (TCS)。为了实现最小花费测试组的自动生成 ,采用了有效的算法来生成EFSM模型的最优邮路。结合自定义的形式化描述语言和C + +开发工具 ,实现了测试例的描述及执行。这项测试技术提高了协议一致性测试的效率 ,并可以广泛的应用于其它复杂通信系统的测试中。 展开更多
关键词 蓝牙系统 EFSM 测试协议 最优化技术
在线阅读 下载PDF
基于UIO的协议测试序列生成方法的改进 被引量:12
6
作者 田野 屈玉贵 赵保华 《计算机工程与应用》 CSCD 北大核心 2000年第12期153-155,175,共4页
文章在FSM模型下基于UIO序列的协议测试生成算法的基础上,介绍了UIO(S)序列和IO(S,K)序列的生成算法.并针对在IUT中,会出现UIO(S)和IO(S,K)序列失效的问题,提出了一种有效的检验方法.最后,给出了完整的测试序列生成方法.
关键词 UIO序列 网络通信协议 协议测试生成算法
在线阅读 下载PDF
基于协议集成测试系统的IPv4协议一致性测试 被引量:9
7
作者 王建国 吴建平 +1 位作者 陈修环 冯晓东 《软件学报》 EI CSCD 北大核心 2000年第2期207-212,共6页
TCP/IP协议实现的一致性测试是保证 Internet网络设备之间互连与互操作的基础 .该文基于协议集成测试环境进行了 IP(Internet protocol)协议一致性测试研究和实际测试 ,并针对 IP端系统和中继系统分别采用了分布式和远程横断式测试法 ,... TCP/IP协议实现的一致性测试是保证 Internet网络设备之间互连与互操作的基础 .该文基于协议集成测试环境进行了 IP(Internet protocol)协议一致性测试研究和实际测试 ,并针对 IP端系统和中继系统分别采用了分布式和远程横断式测试法 ,设计生成了 IP一致性测试集 .并且已将 IP协议的一致性测试应用到路由器的开发和研制过程中 . 展开更多
关键词 协议测试系统 TCP/IP协议 INTERNET网 IPV4协议
在线阅读 下载PDF
基于通信多端口有限状态机的协议互操作性测试生成研究 被引量:13
8
作者 王之梁 吴建平 尹霞 《计算机学报》 EI CSCD 北大核心 2006年第11期1909-1919,共11页
协议测试是一种保证网络通信协议实现质量的重要技术,互操作性测试是一类常用的协议测试技术.文章提出了一种基于通信多端口有限状态机模型的协议互操作性测试生成方法.首先采用已有的基于可达性分析的方法生成集中式测试序列;然后采用... 协议测试是一种保证网络通信协议实现质量的重要技术,互操作性测试是一类常用的协议测试技术.文章提出了一种基于通信多端口有限状态机模型的协议互操作性测试生成方法.首先采用已有的基于可达性分析的方法生成集中式测试序列;然后采用单一错误模型对其进行系统的错误覆盖分析,为达到更高的错误覆盖度,进一步提出一种增强的测试生成算法;最后讨论了互操作性测试中的控制观察问题,选择适当的分布式测试架构,并进而生成分布式同步测试序列.实验结果表明:与原有方法相比,该方法可以有效地提高测试集的错误覆盖,并具备一定的可行性和有效性. 展开更多
关键词 协议测试 互操作性测试 有限状态机 错误覆盖 分布式测试架构
在线阅读 下载PDF
一种通信协议测试序列生成的新方法 被引量:7
9
作者 孙宇霖 屈玉贵 赵保华 《通信学报》 EI CSCD 北大核心 2001年第6期122-127,共6页
本文讨论了一种协议测试的新方法 ,它使用构造类别代数描述通信协议规范 ,然后根据规范中的公理部分生成测试序列。本文以栈规范为例介绍这种方法的应用。并通过与基于有限状态机的测试序列生成方法相比较 ,得出两种方法在一些方面是等... 本文讨论了一种协议测试的新方法 ,它使用构造类别代数描述通信协议规范 ,然后根据规范中的公理部分生成测试序列。本文以栈规范为例介绍这种方法的应用。并通过与基于有限状态机的测试序列生成方法相比较 ,得出两种方法在一些方面是等效的 ,但在处理状态较多的协议时 ,这种方法有一定的优点。 展开更多
关键词 协议测试 构造类别代数规范 有限状态机 通信协议
在线阅读 下载PDF
基于错误注入技术的协议实现鲁棒性测试体系结构 被引量:6
10
作者 王乐春 龚正虎 陈建荣 《计算机工程与应用》 CSCD 北大核心 2003年第22期139-141,184,共4页
网络协议处于Internet的核心地位。对协议实现的测试是协议工程中研究的热点。论文首先给出了协议实现的鲁棒性定义,并介绍了错误注入技术;然后通过详细分析协议鲁棒性测试要测试的内容,最后得出了适于鲁棒性测试的体系结构。
关键词 体系结构 协议实现测试 鲁棒性 错误注入
在线阅读 下载PDF
基于FSM的协议一致性测试序列生成算法研究 被引量:11
11
作者 陈涛 潘雪增 +2 位作者 陈健 陈小平 陆魁军 《计算机工程与应用》 CSCD 北大核心 2010年第6期60-62,共3页
在通信协议的一致性测试领域里,如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题,在介绍了通信协议的主要形式化模型FSM后,先研究了基于UIO的测试序列生成算法,然后对原算法进行了改进。改进后的... 在通信协议的一致性测试领域里,如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题,在介绍了通信协议的主要形式化模型FSM后,先研究了基于UIO的测试序列生成算法,然后对原算法进行了改进。改进后的算法所生成的测试序列具有较高的错误覆盖率,并且能够缩短测试序列的长度。 展开更多
关键词 协议一致性测试 有限状态机 UIO序列
在线阅读 下载PDF
路由协议测试研究——边界网关路由协议BGP-4测试 被引量:4
12
作者 赵邑新 吴建平 韩博 《通信学报》 EI CSCD 北大核心 2001年第9期91-98,共8页
现有测试理论和方法在路由协议测试中面临挑战。由于路由协议具有与通信协议不同的特点 ,现有测试系统的能力已经难以满足测试需求。本文介绍了在路由协议测试中进行的探索和实践 ,深入分析了路由协议的特点 ,在此基础上对现有测试方法... 现有测试理论和方法在路由协议测试中面临挑战。由于路由协议具有与通信协议不同的特点 ,现有测试系统的能力已经难以满足测试需求。本文介绍了在路由协议测试中进行的探索和实践 ,深入分析了路由协议的特点 ,在此基础上对现有测试方法的适用性进行考察 ,选择了相应的测试方法和结构 ;扩充了测试系统中的参考实现增强测试能力 ,设计了TTCN格式的测试集。通过测试实践 ,证实所用方法手段的有效性 。 展开更多
关键词 协议测试 通信协议 路由协议 网关 BGP-4协议
在线阅读 下载PDF
一种模型驱动的协议测试故障注入引擎设计 被引量:3
13
作者 徐珞 吴际 刘超 《计算机工程与应用》 CSCD 北大核心 2007年第16期111-113,145,共4页
故障注入是一种测试协议实现容错能力的有效方法,而基于模型的故障描述方法能够提高测试的可视性和有效性。提出一种面向协议测试的故障注入引擎,并采用模型驱动的方法,通过测试模型指导故障注入活动,具有移植性强、简便高效等特点。
关键词 故障注入 协议测试 模型驱动测试
在线阅读 下载PDF
路由协议测试的窗口黑盒模型和多通道的测试方法 被引量:3
14
作者 赵邑新 韩博 +1 位作者 尹霞 吴建平 《计算机研究与发展》 EI CSCD 北大核心 2001年第12期1446-1453,共8页
路由协议测试中的效率和覆盖率亟待提高 .原有通信协议测试理论将被测实现作为黑盒 ,使得大量可增强控制观察能力的手段无法利用 .因此在路由协议测试中以窗口黑盒模型描述被测实现 ,在测试结构上实现了多通道测试方法 ,提高了测试效率... 路由协议测试中的效率和覆盖率亟待提高 .原有通信协议测试理论将被测实现作为黑盒 ,使得大量可增强控制观察能力的手段无法利用 .因此在路由协议测试中以窗口黑盒模型描述被测实现 ,在测试结构上实现了多通道测试方法 ,提高了测试效率和测试覆盖率 .通过与被测模块交互的其它模块 ,增强了测试的控制观察能力 ,测试例的执行时间相比原有方式下降 5 0 % ;消除或减小了以往不能测试的范围和内容 ,相应测试例个数增加 3倍以上 ; 展开更多
关键词 路由协议测试 测试方法 窗口黑盒模型 通信协议
在线阅读 下载PDF
MVB协议一致性测试研究与实现 被引量:26
15
作者 朱琴跃 谢维达 谭喜堂 《铁道学报》 EI CAS CSCD 北大核心 2007年第4期115-120,共6页
多功能车辆总线(MVB)是列车通信网络标准中明确定义的通信协议,用于车辆内部各功能设备间的信息传输。为了确保来自不同生产厂家的MVB设备的兼容性和互操作性,必须对各个MVB设备进行协议一致性测试。本文在简单介绍协议一致性测试基本... 多功能车辆总线(MVB)是列车通信网络标准中明确定义的通信协议,用于车辆内部各功能设备间的信息传输。为了确保来自不同生产厂家的MVB设备的兼容性和互操作性,必须对各个MVB设备进行协议一致性测试。本文在简单介绍协议一致性测试基本工作原理的基础上,分析了MVB协议的特点,提出了对MVB进行协议一致性测试的测试方法和应包括的测试内容。并以过程数据链路层协议为例,详细阐述了MVB设备的测试要求、测试实例的生成、测试运行及测试评估等具体的测试实现过程。最后基于上述测试原理,在实验室环境下设计并构建了基于PC104总线的80486硬件平台和μC/OS-II实时多任务操作系统软件平台的测试系统,完成了MVB过程数据链路层协议的高覆盖一致性测试,给MVB协议其他方面的一致性测试提供了一定的借鉴。 展开更多
关键词 列车通信网 协议一致性测试 MVB 实时协议 过程数据
在线阅读 下载PDF
基于TTCN的IPv6协议测试 被引量:4
16
作者 周斌 张英堂 +3 位作者 屈玉贵 方毅 刘桂英 徐骏 《小型微型计算机系统》 CSCD 北大核心 2004年第7期1256-1259,共4页
基于标准的协议测试描述语言 TTCN,设计了一种针对于 IPv6协议簇的软件接口 ,搭建了具体的网络测试环境 ,能够在该测试环境中进行 IPv6协议的一致性测试 .最后 ,作为例子 ,对 WIN2 0 0 0的 ICMPv6协议实现进行了测试 .
关键词 IPV6 一致性测试 TTCN ITEX 协议测试软件接口
在线阅读 下载PDF
协议测试标准TTCN-3的实现 被引量:4
17
作者 杨敬峰 蒋凡 《计算机工程与应用》 CSCD 北大核心 2004年第5期119-121,共3页
TTCN-3是ITU-T等国际组织制定的用于协议和软件测试的最新标准。通过分析TTCN标准的发展历程。该文比较两种不同的测试实现方法,并详细介绍了以虚拟机方法建立的TTCN-3测试执行系统。该系统突破了目前国内外广泛采用的语言翻译系统的结... TTCN-3是ITU-T等国际组织制定的用于协议和软件测试的最新标准。通过分析TTCN标准的发展历程。该文比较两种不同的测试实现方法,并详细介绍了以虚拟机方法建立的TTCN-3测试执行系统。该系统突破了目前国内外广泛采用的语言翻译系统的结构,在提高测试效率的同时增强了测试系统的实用性。 展开更多
关键词 TTCN-3 协议测试 测试方法
在线阅读 下载PDF
一种形式化的协议互操作性测试方法 被引量:6
18
作者 郝瑞兵 吴建平 《计算机学报》 EI CSCD 北大核心 1997年第4期350-359,共10页
对协议实现的互操作性测试是保证网络产品之间互通的一种重要手段.在本文中我们提出了一种基于并发TTCN操作语义的互操作性测试系统的构造方法.并发TTCN是一种能够处理并发测试行为描述的语言,我们通过使用标号变迁系统形式... 对协议实现的互操作性测试是保证网络产品之间互通的一种重要手段.在本文中我们提出了一种基于并发TTCN操作语义的互操作性测试系统的构造方法.并发TTCN是一种能够处理并发测试行为描述的语言,我们通过使用标号变迁系统形式化地定义了它的操作语义,并描述了基于这种语言的操作语义的互操作性测试系统的测试执行和测试判决过程.我们认为这种方法对研究形式化的协议互操作性测试理论是很有帮助的. 展开更多
关键词 协议互操作性测试 协议一致性测试 标号变迁系统
在线阅读 下载PDF
协议工程和协议性能测试框架 被引量:1
19
作者 熊伟 王军 肖德宝 《计算机工程与应用》 CSCD 北大核心 2003年第33期171-174,共4页
随着计算机网络技术和网络应用的迅速发展,网络协议性能测试变得越来越重要。该文主要论述了协议工程的活动、方法及其开发过程,并对协议性能测试技术做了较详细的描述,然后论述了性能测试的结构框架,最后描述了性能测试的各个阶段。
关键词 协议工程 协议测试 协议性能测试
在线阅读 下载PDF
基于协议实现的网络安全测试 被引量:8
20
作者 刘洪霞 赵保华 《小型微型计算机系统》 CSCD 北大核心 2007年第4期619-621,共3页
随着网络的普及和社会的发展,网络安全已经越来越受到人们的重视.本文通过一个基于协议测试的分布式虚拟测试平台,从协议实现的角度对网络安全进行测试,并通过对具体网络设备的地址解析协议(ARP)的协议实现的安全测试,对基于协议实现的... 随着网络的普及和社会的发展,网络安全已经越来越受到人们的重视.本文通过一个基于协议测试的分布式虚拟测试平台,从协议实现的角度对网络安全进行测试,并通过对具体网络设备的地址解析协议(ARP)的协议实现的安全测试,对基于协议实现的网络安全测试的可行性和必要性进行了验证. 展开更多
关键词 网络安全 协议测试 地址解析协议 分布式虚拟测试平台
在线阅读 下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部