检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于字段感知的文本协议灰盒模糊测试方法

计算机应用研究 2024年

作者：孙语韬徐向华杭州电子科技大学计算机学院

基于变异的灰盒协议模糊测试方法使用便捷、可扩展性好，但缺乏协议报文格式信息，只能对报文整体进行变异以产生测试用例，导致生成的大部分测试报文会被被测协议实现直接拒绝，严重影响测试效率。针对这一问题，提出了基于字段感知的... 详细信息

基于变异的灰盒协议模糊测试方法使用便捷、可扩展性好，但缺乏协议报文格式信息，只能对报文整体进行变异以产生测试用例，导致生成的大部分测试报文会被被测协议实现直接拒绝，严重影响测试效率。针对这一问题，提出了基于字段感知的文本协议模糊测试方法。该方法在基于变异的协议模糊测试中加入了模板学习的概念，使用分隔符划分报文字段，使用字段字典获取每个字段的合法取值。然后，针对划分后的报文，设计了多种字段级的变异策略，并根据每个字段可能的取值数量和覆盖率反馈计算相应的字段变异能量。此外，该方法还利用对报文进行字段划分的结果，对被测协议实现的状态进行更细粒度的刻画。实验结果表明，该方法可以提高经典的基于变异的协议模糊测试框架AFLNET产生的可被被测协议实现接受的测试用例的比例，并因此将测试效率提高到5倍以上。这表明基于变异的协议模糊测试方法普遍存在的可被接受的测试用例比例过低的问题确实会影响最终的测试效率，改善测试用例的被接受率可以大幅提高测试效率。

关键词：网络安全协议测试模糊测试字段感知字段变异能量度量细粒度状态刻画

基于TTCN-3规范的数联网协议测试套的设计与实现

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于TTCN-3规范的数联网协议测试套的设计与实现

作者：窦亚捷北方工业大学

学位级别：硕士

在基于数字对象架构的(Digital Object Architecture,DOA)的数联网中,协议的正确实现是保证其正确行使职能的关键,协议的性能也会直接影响数联网性能表现,故针对数联网协议进行测试,对于数联网的推广与发展具有重要意义。本文以数联网... 详细信息

在基于数字对象架构的(Digital Object Architecture,DOA)的数联网中,协议的正确实现是保证其正确行使职能的关键,协议的性能也会直接影响数联网性能表现,故针对数联网协议进行测试,对于数联网的推广与发展具有重要意义。本文以数联网中数字对象接口协议(Digital Object Interface Protocol,DOIP)和数字对象标识解析协议(Digital Object Identifier Resolution Protocol,DO-IRP)作为研究对象,设计并实现协议测试套,对数联网协议进行性能和一致性测评。为提高测试规范性,在测试套设计中引入TTCN-3(Testing and Test Control Notation)规范,提出一套TTCN-3核心元素到Java语言的映射方案,使用Java语言实现测试套,既最大程度继承TTCN-3的规范性与测试优势,又保证了测试套的通用性。为了进一步提高测试效率,又在测试套逻辑设计中融入数据驱动测试思想,形成一组数据驱动数联网协议测试算法,以测试数据作为核心驱动测试执行,提高了测试自动化程度,简化了测试流程。最后,为验证本文设计的数联网协议测试套的标准性与适用性,基于TTCN-3通用测试系统架构设计并实现数联网协议测试工具,对实际数联网协议实现开展测试。通过分析测试数据,完成了对数联网协议实现的正确性和性能评估,同时也证明了本文设计的协议测试套可有效应用于数联网软件的协议测试,为协议的一致性与性能提供保障与支持。

关键词：数联网 DOA 协议测试 TTCN-3规范数据驱动测试工具

基于车载以太网SOME/IP协议的研究及其在商用车中的应用

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

汽车电器 2024年第5期 47-50页

作者：任勇刘康王静王涛李小燕北京福田戴姆勒汽车有限公司北京怀柔101400

由于汽车智能化、网联化的进一步发展,车载以太网不仅在乘用车领域得到了越来越广泛的应用,而且在商用车领域也逐步得到了应用。目前国内乘用车已经逐步采用SOME/IP的通信方案,商用车采用SOME/IP通信技术的报道较少。本文主要介绍SOME/I... 详细信息

由于汽车智能化、网联化的进一步发展,车载以太网不仅在乘用车领域得到了越来越广泛的应用,而且在商用车领域也逐步得到了应用。目前国内乘用车已经逐步采用SOME/IP的通信方案,商用车采用SOME/IP通信技术的报道较少。本文主要介绍SOME/IP数据格式和通信机制,并着重介绍在OTA升级中的应用、SOME/IP的测试内容及相关测试实例。

关键词：车载以太网 SOME/IP 协议测试 OTA

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

单片式车载单元协议测试及功能验证

公路交通科技 2022年第S1期39卷 130-135页

作者：曹书凯刘鸿伟陈丙勋王刚李汉魁北京中交国通智能交通系统技术有限公司北京100088

相较于双片式车载单元和复合通行卡,单片式车载单元在外观形态、性能、数据安全、交易时间、交易成功率等诸多方面均有明显改善和提升。为进一步验证其功能及性能,保证工程应用的可实施性,依据《电子收费单片式车载单元(OBU)技术要求》... 详细信息

相较于双片式车载单元和复合通行卡,单片式车载单元在外观形态、性能、数据安全、交易时间、交易成功率等诸多方面均有明显改善和提升。为进一步验证其功能及性能,保证工程应用的可实施性,依据《电子收费单片式车载单元(OBU)技术要求》中原语结构及通信协议的相关规定,使用Visual Studio软件开发工具基于SM4算法完成了上位机测试用例及测试功能的设计,借助微波信号收发设备完成了不同测试用例数据的传输及交互。使用该协议测试及功能验证系统分别从单原语测试、多原语测试、交易测试等方面进行了较为完善的协议符合性测试。最后在相同测试环境下,分别对单片式车载单元与双片式车载单元交易时间进行对比,进一步验证了单片式车载单元的优势。结果表明:通过对单片式车载单元进行的较为系统的测试及功能验证,证明了单片式车载单元技术路线的可行性以及性能的优越性,为其在高速公路电子不停车收费系统中的应用与推广提供技术保障。

关键词：智能交通功能验证协议测试单片式车载单元电子不停车收费

在线全文

学校读者我要写书评

暂无评论

基于建模与仿真的完备协议测试验证技术

中国测试 2023年

作者：肖鹏聂嘉浩吴博杨丰玉郑巍南昌航空大学软件学院

针对复杂协议测试在形式化建模与测试完备性评估方面的不足，提出了一种基于建模和仿真技术的完备协议测试验证技术。采用形式化模型规范建立协议测试对象模型的测试行为范式；以测试模型作为核心组件，通过模型驱动方法实现测试用例自... 详细信息

针对复杂协议测试在形式化建模与测试完备性评估方面的不足，提出了一种基于建模和仿真技术的完备协议测试验证技术。采用形式化模型规范建立协议测试对象模型的测试行为范式；以测试模型作为核心组件，通过模型驱动方法实现测试用例自动生成；利用模型仿真实现测试过程的动态视图与测试结果动态验证；最后，基本测试流程模型实现协议测试的完备性评估。该技术为模型驱动的完备协议测试验证提供了系统化理论支撑和完整方案，通过实验表明，使用该技术的测试方法相比传统基于脚本驱动测试方法，能够缩短30%测试时间，减少50%测试设计出错率，且在首轮测试覆盖中提升70%覆盖率。

关键词：协议测试建模与仿真模型驱动

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

OSPFv3协议的冒烟测试及其实现

计算机工程 2006年第19期32卷 131-132,135页

作者：刘宏照赵保华屈玉贵中国科技大学计算机科学技术系合肥230027

协议测试是保证协议实现和协议描述相一致的重要手段,OSPF协议是一个广泛应用的链路状态协议。冒烟测试具有降低系统集成风险,提高开发过程可视性和缩短产品开发周期的特点,该文设计并实现了基于TCL语言的协议冒烟测试系统,对OSPFv3协... 详细信息

协议测试是保证协议实现和协议描述相一致的重要手段,OSPF协议是一个广泛应用的链路状态协议。冒烟测试具有降低系统集成风险,提高开发过程可视性和缩短产品开发周期的特点,该文设计并实现了基于TCL语言的协议冒烟测试系统,对OSPFv3协议实现了测试集并对路由器产品进行测试,实验表明系统具备高效易用的特点。

关键词：协议测试冒烟测试 TCL OSPFv3

在线全文

学校读者我要写书评

暂无评论

基于Petri网的协议测试例自动生成

华中科技大学学报（自然科学版） 2006年第3期34卷 25-28页

作者：郑啸秦锋安徽工业大学计算机学院安徽马鞍山243002

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行... 详细信息

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.

关键词：协议测试 Petri网测试和测试控制表示法(TTCN-3) 测试例产生

在线全文

学校读者我要写书评

暂无评论

协议测试标准TTCN-3的实现

计算机工程与应用 2004年第5期40卷 119-121页

作者：杨敬峰蒋凡中国科学技术大学计算机科学与技术系合肥230027

TTCN-3是ITU-T等国际组织制定的用于协议和软件测试的最新标准。通过分析TTCN标准的发展历程。该文比较两种不同的测试实现方法,并详细介绍了以虚拟机方法建立的TTCN-3测试执行系统。该系统突破了目前国内外广泛采用的语言翻译系统的结... 详细信息

TTCN-3是ITU-T等国际组织制定的用于协议和软件测试的最新标准。通过分析TTCN标准的发展历程。该文比较两种不同的测试实现方法,并详细介绍了以虚拟机方法建立的TTCN-3测试执行系统。该系统突破了目前国内外广泛采用的语言翻译系统的结构,在提高测试效率的同时增强了测试系统的实用性。

关键词： TTCN-3 协议测试测试方法

基于通信多端口有限状态机的协议互操作性测试生成研究

在线全文

学校读者我要写书评

暂无评论

计算机学报 2006年第11期29卷 1909-1919页

作者：王之梁吴建平尹霞清华大学信息网络工程研究中心北京100084 清华大学计算机科学与技术系北京100084

协议测试是一种保证网络通信协议实现质量的重要技术,互操作性测试是一类常用的协议测试技术.文章提出了一种基于通信多端口有限状态机模型的协议互操作性测试生成方法.首先采用已有的基于可达性分析的方法生成集中式测试序列;然后采用... 详细信息

协议测试是一种保证网络通信协议实现质量的重要技术,互操作性测试是一类常用的协议测试技术.文章提出了一种基于通信多端口有限状态机模型的协议互操作性测试生成方法.首先采用已有的基于可达性分析的方法生成集中式测试序列;然后采用单一错误模型对其进行系统的错误覆盖分析,为达到更高的错误覆盖度,进一步提出一种增强的测试生成算法;最后讨论了互操作性测试中的控制观察问题,选择适当的分布式测试架构,并进而生成分布式同步测试序列.实验结果表明:与原有方法相比,该方法可以有效地提高测试集的错误覆盖,并具备一定的可行性和有效性.

关键词：协议测试互操作性测试有限状态机错误覆盖分布式测试架构