车载以太网TCP/IP协议一致性测试系统研究 被引量：8

1

作者 杨光 潘俊家 +2 位作者 崔根群 安康 朱永健 《现代电子技术》 北大核心 2020年第7期29-33,38,共6页

为了保证汽车ECU的TCP/IP协议实现的准确性,开发了一种车载以太网TCP/IP协议的一致性测试系统,并设计了TCP/IP协议一致性测试集。该测试系统基于NOVUS10/1/100 m车载以太网测试板卡搭建,通过开发的一致性测试软件完成测试用例库管理、... 为了保证汽车ECU的TCP/IP协议实现的准确性,开发了一种车载以太网TCP/IP协议的一致性测试系统,并设计了TCP/IP协议一致性测试集。该测试系统基于NOVUS10/1/100 m车载以太网测试板卡搭建,通过开发的一致性测试软件完成测试用例库管理、测试任务管理和测试数据管理的工作。TCP/IP协议一致性测试集可以对TCP/IP协议中的ARP,IP,TCP和UDP进行协议一致性测试。测试结果表明,该测试系统能够发现被测ECU协议实现的问题,为供应商完善产品协议提供了有效帮助。 展开更多

关键词 车载以太网 协议测试系统 协议一致性 测试软件开发 TCP/IP 一致性测试集

下载PDF 职称材料

协议测试系统中的测试管理研究 被引量：1

2

作者 尹霞 《计算机工程与设计》 CSCD 北大核心 1999年第4期1-6,共6页

测试管理是协议测试系统中一个重要的组成部分，但是一直没有得到系统地研制和论述，作者在给出了测试管理的定义后，详细讨论了测试管理的组成结构和设计实现。其中，根据实践定义的形式化的协议实现功能说明PIFS和协议实现参数说明PIP... 测试管理是协议测试系统中一个重要的组成部分，但是一直没有得到系统地研制和论述，作者在给出了测试管理的定义后，详细讨论了测试管理的组成结构和设计实现。其中，根据实践定义的形式化的协议实现功能说明PIFS和协议实现参数说明PIPS，不仅具有合理性和可实现性，而且为协议测试系统的研制开发提供了一种有益的实践。 展开更多

关键词 协议测试系统 测试管理 通信协议

下载PDF 职称材料

集中器本地通信模块接口协议检测系统的设计 被引量：1

3

作者 巫钟兴 郑安刚 +2 位作者 邹和平 陈昊 乔文俞 《低压电器》 2012年第18期32-35,共4页

针对生产商良莠不齐、不同厂家生产的集中器以及本地通信模块在互连互换方面效果的不理想,设计了一种检测方案,实现对集中器本地通信模块进行接口协议测试。这为设备采购提供重要的参考依据。

关键词 集中器 本地通信模块 协议测试系统

下载PDF 职称材料

基于形式化方法的协议测试理论 被引量：9

4

作者 吴建平 尹霞 《清华大学学报（自然科学版）》 EI CAS CSCD 北大核心 2001年第4期203-208,226,共7页

利用形式化方法构建了协议测试理论。定义了被测试方 UNDER TESTER、协议说明 SPECs、测试需求 REQs以及协议测试所关注的 U NDER TESTER和测试需求之间的完成关系 imp。作为一个实验活动 ,测试的依据被定义为测试集 TESTs,测试的执行... 利用形式化方法构建了协议测试理论。定义了被测试方 UNDER TESTER、协议说明 SPECs、测试需求 REQs以及协议测试所关注的 U NDER TESTER和测试需求之间的完成关系 imp。作为一个实验活动 ,测试的依据被定义为测试集 TESTs,测试的执行原则被定义为 3个操作 passes,fails,incons,并利用判决函数 Verdict得到测试结果。在上述基础上得到“协议测试”的概念。为了更好地将协议测试的形式化理论应用到实践中 ,通过一种可被编程的形式化语言——输入 /输出变迁系统 (IOTS)将上述理论进行了更具体的形式化描述。 展开更多

关键词 协议测试理论 形式化方法 完成关系 输入/输出变迁系统 网络协议 计算机网络 形式化语言

原文传递

变电站智能辅助控制系统协议测试软件的实现

5

作者 沈显庆 朱彦磊 +1 位作者 常政威 徐天昊 《黑龙江科技大学学报》 CAS 2016年第4期454-457,462,共5页

针对现有的Modbus协议测试软件多以报文形式进行测试,测试不够直观方便且缺乏针对性的现状,在此基础上增加了可灵活配置的模型文件,设计了一款实用的变电站智能辅助控制系统Modbus RTU协议测试软件。该软件通过建立对象信息模型,将Modbu... 针对现有的Modbus协议测试软件多以报文形式进行测试,测试不够直观方便且缺乏针对性的现状,在此基础上增加了可灵活配置的模型文件,设计了一款实用的变电站智能辅助控制系统Modbus RTU协议测试软件。该软件通过建立对象信息模型,将Modbus协议测试和变电站智能辅助系统特定功能加以关联,对智能辅助系统的功能进行测试,实验结果表明:该测试软件简单易操作,能满足测试需求,能够使测试更具有针对性和直观性。 展开更多

关键词 MODBUS RTU 协议测试 智能辅助系统

下载PDF 职称材料

基于标号变迁系统的测试集自动生成 被引量：6

6

作者 蒋凡 宁华中 《计算机研究与发展》 EI CSCD 北大核心 2001年第12期1435-1445,共11页

首先 ,依照 ISO 96 46的定义 ,阐述了协议一致性测试的基本概念 .然后 ,介绍标号变迁系统 (L TS)的形式化理论的定义和基本性质 ,利用 L TS,给出测试例、测试集以及测试生成的形式化定义 .第 3,表述了实现关系在测试生成中的地位和作用 ... 首先 ,依照 ISO 96 46的定义 ,阐述了协议一致性测试的基本概念 .然后 ,介绍标号变迁系统 (L TS)的形式化理论的定义和基本性质 ,利用 L TS,给出测试例、测试集以及测试生成的形式化定义 .第 3,表述了实现关系在测试生成中的地位和作用 ,定义了输入输出系统 ,并在输入输出系统以及Δ变换的基础上引入实现关系 ioco.根据实现关系 ioco给出了一个测试集自动生成算法 .该算法能很好地适用于递归的 L TS. 展开更多

关键词 标号变迁系统 形式化方法 有限状态机 测试集 自动生成 网络协议 ISO9646

下载PDF 职称材料

一种形式化的协议互操作性测试方法 被引量：6

7

作者 郝瑞兵 吴建平 《计算机学报》 EI CSCD 北大核心 1997年第4期350-359,共10页

对协议实现的互操作性测试是保证网络产品之间互通的一种重要手段．在本文中我们提出了一种基于并发ＴＴＣＮ操作语义的互操作性测试系统的构造方法．并发ＴＴＣＮ是一种能够处理并发测试行为描述的语言，我们通过使用标号变迁系统形式... 对协议实现的互操作性测试是保证网络产品之间互通的一种重要手段．在本文中我们提出了一种基于并发ＴＴＣＮ操作语义的互操作性测试系统的构造方法．并发ＴＴＣＮ是一种能够处理并发测试行为描述的语言，我们通过使用标号变迁系统形式化地定义了它的操作语义，并描述了基于这种语言的操作语义的互操作性测试系统的测试执行和测试判决过程．我们认为这种方法对研究形式化的协议互操作性测试理论是很有帮助的． 展开更多

关键词 协议互操作性测试 协议一致性测试 标号变迁系统

下载PDF 职称材料

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

8

作者 赵邑新 吴建平 韩博 《通信学报》 EI CSCD 北大核心 2001年第9期91-98,共8页

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

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

下载PDF 职称材料

基于形式化技术的帧中继拥塞控制协议一致性测试

9

作者 韩博 姬雷生 尹霞 《通信学报》 EI CSCD 北大核心 2002年第11期86-91,共6页

帧中继作为重要的广域网协议得到了日益广泛的应用,但是相关的测试活动却非常有限。本文在深入分析了帧中继拥塞控制协议的基础上对其进行了一致性测试研究和实际测试。针对帧中继拥塞控制协议的特点,采用穿越测试法设计生成了基于形式... 帧中继作为重要的广域网协议得到了日益广泛的应用,但是相关的测试活动却非常有限。本文在深入分析了帧中继拥塞控制协议的基础上对其进行了一致性测试研究和实际测试。针对帧中继拥塞控制协议的特点,采用穿越测试法设计生成了基于形式化技术的一致性测试集,并且将利用协议集成测试系统取得的一致性测试的研究成果应用到路由器的开发和研制过程中。 展开更多

关键词 形式化技术 帧中继 拥塞控制协议 一致性 测试 树表结合表示法 因特网

下载PDF 职称材料

基于分支界限搜索的EFSM协议测试序列生成算法 被引量：2

10

作者 尤娟 李俊全 夏松 《计算机应用研究》 CSCD 北大核心 2013年第5期1349-1352,共4页

针对EFSM中状态迁移不确定导致的协议一致性测试序列生成困难的问题,提出了一种协议一致性测试序列生成算法。该算法基于互异代表系理论为每个协议状态变迁赋权值,再基于分支界限法搜索生成的协议测试序列,将协议一致性测试序列的生成... 针对EFSM中状态迁移不确定导致的协议一致性测试序列生成困难的问题,提出了一种协议一致性测试序列生成算法。该算法基于互异代表系理论为每个协议状态变迁赋权值,再基于分支界限法搜索生成的协议测试序列,将协议一致性测试序列的生成转换为寻找最小权值状态变迁路径的问题。该算法克服了无赋权要求的宽度优先搜索的缺陷,降低了测试序列的搜索与生成时间复杂度,提高了测试序列生成的效率。 展开更多

关键词 协议一致性测试 测试序列生成 扩展有限状态机 赋权值 互异代表系 分支界限法

下载PDF 职称材料

基于形式化技术的帧中继信令协议一致性测试研究

11

作者 韩博 姬雷生 尹霞 《小型微型计算机系统》 CSCD 北大核心 2002年第12期1425-1429,共5页

帧中继作为重要的广域网协议得到了日益广泛的应用 ,但是相关的测试活动却非常有限 .本文在深入分析了帧中继信令协议的基础上对其进行了一致性测试研究和实际测试 .针对帧中继信令协议的特点 ,采用远程测试法设计生成了基于形式化技术... 帧中继作为重要的广域网协议得到了日益广泛的应用 ,但是相关的测试活动却非常有限 .本文在深入分析了帧中继信令协议的基础上对其进行了一致性测试研究和实际测试 .针对帧中继信令协议的特点 ,采用远程测试法设计生成了基于形式化技术的一致性测试集 。 展开更多

关键词 形式化技术 帧中继 信令协议 一致性测试 帧中继信令协议 协议集成测试系统 计算机网络

下载PDF 职称材料

基于协议集成测试系统的BGP-4协议测试 被引量：3

12

作者 赵邑新 吴建平 韩博 《计算机工程》 CAS CSCD 北大核心 2001年第8期12-14,106,共4页

针对ＢＧＰ－４作为路由协议的特点，对现有测试方法进行了分析，选择了测试方法和测试结构；对参考实现进行了扩展，引入了动态计算等子模块以增强测试能力；ＴＴＣＮ格式的测试集采用自动生成和手工编写相结合的方式，以提高覆盖率；... 针对ＢＧＰ－４作为路由协议的特点，对现有测试方法进行了分析，选择了测试方法和测试结构；对参考实现进行了扩展，引入了动态计算等子模块以增强测试能力；ＴＴＣＮ格式的测试集采用自动生成和手工编写相结合的方式，以提高覆盖率；　ＢＧＰ－４测试在协议集成测试系统（ＰＩＴＳ）上进行，测试发现了包括Ｃｉｓｃｏ产品在内的ＢＧＰ－４协议实现中的错误，证实了测试工作的有效性。测试成果促进了国产高性能路由器的开发与改进，为其他路由协议的测试提供了有益的借鉴，同时增强了ＰＩＴＳ系统的测试能力，扩大了系统的适用范围。 展开更多

关键词 协议测试 集成测试系统 边界网关协议 通信协议 BGP-4协议

下载PDF 职称材料

基于TTCN-3的LDP一致性测试研究 被引量：2

13

作者 陈元 尹霞 王之梁 《计算机应用研究》 CSCD 北大核心 2009年第1期286-288,共3页

为了满足LDP的一致性测试需求,并突破原有LDP一致性测试中测试方式简单、测试程序不易于理解和测试语言描述能力弱的局限,基于TTCN-3测试描述语言研究了LDP一致性测试;在自行研制的分布式并发测试系统PITSv3的基础上设计扩展了针对LDP... 为了满足LDP的一致性测试需求,并突破原有LDP一致性测试中测试方式简单、测试程序不易于理解和测试语言描述能力弱的局限,基于TTCN-3测试描述语言研究了LDP一致性测试;在自行研制的分布式并发测试系统PITSv3的基础上设计扩展了针对LDP的测试适配器模块;设计了LDP的测试集并使用TTCN-3语言实现了该测试集,从而完成了PITSv3系统对LDP的功能扩展。最后进行了PITSv3系统对于LDP的一致性测试实践。 展开更多

关键词 一致性测试 测试和测试控制表示法v3 协议集成测试系统v3 标记分发协议

下载PDF 职称材料

基于控制流的协议一致性关系测试方法的评述

14

作者 陈月惠 曹军 +2 位作者 李华 石立新 李文 《内蒙古大学学报（自然科学版）》 CAS CSCD 1997年第2期281-287,共7页

对一般的控制流测试思想和一些基于ＦＳＭ模型、ＬＴＳ模型的控制流测试方法进行概括和介绍．

关键词 协议一致性测试 有限状态机 计算机 控制流测试

下载PDF 职称材料

在协议集成测试系统上开展路由协议测试

15

作者 赵邑新 尹霞 吴建平 《高技术通讯》 EI CAS CSCD 2002年第2期10-15,20,共7页

在分析路由协议的特性及其测试需求的基础上 ,提出利用窗口黑盒来描述被测协议 ,利用多通道测试方法扩展对被测实现的控制和观察 ,通过扩充参考实现增强系统的测试能力。将这些理论、技术应用于系统中 ,对路由协议开展了有效的测试活动 ... 在分析路由协议的特性及其测试需求的基础上 ,提出利用窗口黑盒来描述被测协议 ,利用多通道测试方法扩展对被测实现的控制和观察 ,通过扩充参考实现增强系统的测试能力。将这些理论、技术应用于系统中 ,对路由协议开展了有效的测试活动 ,为国产高性能路由器的开发提供了有力的支持 。 展开更多

关键词 协议集成测试系统 路由协议 测试方法 网络

下载PDF 职称材料