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

华中科技大学学报（自然科学版） 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 协议测试测试方法

来源：评论

学校读者我要写书评

暂无评论

一种基于TTCN-3的协议测试系统及其扩展研究

引用

中国科学（E辑） 2008年第10期38卷 1594-1613页

作者：尹霞王之梁景传明施新刚清华大学计算机科学与技术系清华信息科学与技术国家实验室(筹) 北京100084 清华大学信息网络工程研究中心

用户要求下一代互联网是一个更大、更安全、更快、更及时、更方便、更可管理的网络.为下一代互联网服务的协议测试技术需要适应这些测试需求.文中重点研究了协议测试中的测试集描述法和测试实现技术.选取了TTCN-3作为测试集描述法,并针... 详细信息

用户要求下一代互联网是一个更大、更安全、更快、更及时、更方便、更可管理的网络.为下一代互联网服务的协议测试技术需要适应这些测试需求.文中重点研究了协议测试中的测试集描述法和测试实现技术.选取了TTCN-3作为测试集描述法,并针对协议鲁棒性测试需求进行了语法和语义扩展.开发了基于TTCN-3的协议集成测试系统PITSv3,并对其进行了鲁棒性测试扩展实现.最后通过两个实际的测试应用,体现出PITSv3是一个具有通用性、标准性、可扩展性特点的分布式测试平台.

关键词：协议测试 TTCN-3 PITSv3 鲁棒性测试

来源：评论

学校读者我要写书评

暂无评论

路由协议测试研究——边界网关路由协议BGP-4测试

引用

通信学报 2001年第9期22卷 91-98页

作者：赵邑新吴建平韩博清华大学计算机系北京100084

现有测试理论和方法在路由协议测试中面临挑战。由于路由协议具有与通信协议不同的特点 ,现有测试系统的能力已经难以满足测试需求。本文介绍了在路由协议测试中进行的探索和实践 ,深入分析了路由协议的特点 ,在此基础上对现有测试方法... 详细信息

现有测试理论和方法在路由协议测试中面临挑战。由于路由协议具有与通信协议不同的特点 ,现有测试系统的能力已经难以满足测试需求。本文介绍了在路由协议测试中进行的探索和实践 ,深入分析了路由协议的特点 ,在此基础上对现有测试方法的适用性进行考察 ,选择了相应的测试方法和结构 ;扩充了测试系统中的参考实现增强测试能力 ,设计了TTCN格式的测试集。通过测试实践 ,证实所用方法手段的有效性。

关键词：协议测试通信协议路由协议网关 BGP-4协议

来源：评论

学校读者我要写书评

暂无评论

一种通信协议测试序列生成的新方法

引用

通信学报 2001年第6期22卷 122-127页

作者：孙宇霖屈玉贵赵保华中国科学技术大学计算机系安徽合肥230027

本文讨论了一种协议测试的新方法 ,它使用构造类别代数描述通信协议规范 ,然后根据规范中的公理部分生成测试序列。本文以栈规范为例介绍这种方法的应用。并通过与基于有限状态机的测试序列生成方法相比较 ,得出两种方法在一些方面是等... 详细信息

本文讨论了一种协议测试的新方法 ,它使用构造类别代数描述通信协议规范 ,然后根据规范中的公理部分生成测试序列。本文以栈规范为例介绍这种方法的应用。并通过与基于有限状态机的测试序列生成方法相比较 ,得出两种方法在一些方面是等效的 ,但在处理状态较多的协议时 ,这种方法有一定的优点。

关键词：协议测试构造类别代数规范有限状态机通信协议

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于蚁群算法的Diameter协议测试消息生成方法

引用

小型微型计算机系统 2015年第5期36卷 981-985页

作者：潘准洋刘彩霞刘树新国家数字交换系统工程技术研究中心郑州450002

进行Diameter协议测试时,测试消息的生成情况直接影响测试效率.为了提高Diameter协议的测试效率,本文提出一种基于蚁群算法的Diameter协议测试消息生成方法.该方法利用蚁群算法的良好的正反馈机制,在测试过程中根据每次子测试结果的反... 详细信息

进行Diameter协议测试时,测试消息的生成情况直接影响测试效率.为了提高Diameter协议的测试效率,本文提出一种基于蚁群算法的Diameter协议测试消息生成方法.该方法利用蚁群算法的良好的正反馈机制,在测试过程中根据每次子测试结果的反馈情况,动态改变不同AVP改变个数的测试消息的生成概率,使其实现自适应调节,更为合理的分配测试资源,从而提高测试效率.实验结果表明,相比于传统的随机生成方法,该方法可以提高测试效率.

关键词：蚁群算法 Diameter协议协议测试测试消息生成

来源：评论

学校读者我要写书评

暂无评论

协议测试系统研究

协议测试系统研究

引用

作者：黄东晓中国科学技术大学

学位级别：硕士

本文在比较研究了两种测试集的描述语言(TTCN和TCL)在协议测试中的不同应用特点后，根据在ISO9646中定义的协议测试框架和方法论，开发了具有创新性的系统的协议测试方法，提出了一个基于TCL的分布式协议测试系统DPTS。这个系统具有通... 详细信息

本文在比较研究了两种测试集的描述语言(TTCN和TCL)在协议测试中的不同应用特点后，根据在ISO9646中定义的协议测试框架和方法论，开发了具有创新性的系统的协议测试方法，提出了一个基于TCL的分布式协议测试系统DPTS。这个系统具有通用性、易操作性、平台无关性和可扩展性等优点，使广泛地开展完整的协议测试更为便利。对于控制流的测试，我们研究运用基于FSM的UIO序列生成技术来生成测试用例，对于数据流的测试则采用了基于测试目的描述的测试生成技术。文中通过DPTS上的测试实例分别具体详述了这两类测试的完整过程。目前已利用DPTS对IPv6协议族各主要协议的实现进行了广泛的一致性测试。

关键词：协议测试分布式测试一致性测试 IPv6 通信网络通信协议

来源：评论

学校读者我要写书评

暂无评论

协议测试中用户信息的形式化描述技术

引用

计算机工程与科学 2000年第1期22卷 43-47页

作者：尹霞吴建平清华大学计算机科学与技术系

无论是协议的一致性测试、互操作测试还是协议性能的测试 ,都只有在接收了用户信息后才开始实际的测试工作。自定义的用户信息缺乏形式化的定义 ,使测试系统很难具有良好的通用性。本文对协议测试中测试系统与测试用户之间的交互信息在... 详细信息

无论是协议的一致性测试、互操作测试还是协议性能的测试 ,都只有在接收了用户信息后才开始实际的测试工作。自定义的用户信息缺乏形式化的定义 ,使测试系统很难具有良好的通用性。本文对协议测试中测试系统与测试用户之间的交互信息在内容上进行了合理的划分 ,并对其进行了形式化定义。

关键词：协议测试计算机网络用户信息 PITS

来源：评论

学校读者我要写书评

暂无评论

局域网协议测试仪的设计与实现

引用

计算机工程 2005年第13期31卷 228-230页

作者：郑啸魏仰苏安徽工业大学计算机学院马鞍山243002 浙江工程学院信息电子学院杭州310033

为了有效地管理网络,通常需要使用协议测试仪这样的工具。文章介绍了网络协议测试软件LPT-2000的体系结构和实现细节。通过对比测试表明,LPT-2000具有较高的包捕获能力和产生负载能力。

关键词：网络管理协议测试包捕获

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：