检索结果-维普期刊中文期刊服务平台

一种基于并发TTCN的FTP协议一致性测试研究被引量：2: 1; 作者李中杰吴建平《高技术通讯》 EI CAS CSCD 2002年第1期16-22,共7页; 在TCP/IP协议族的应用层协议中 ,文件传输协议FTP具有很强的代表性。应用层协议的一致性测试 ,目前在国内尚未提上日程 ,国外则主要集中在协议分析 (protocolanalysis)上。本文介绍了TCP/IP协议一致性测试现状 ;研究以协议集成测试系统... 展开更多; 关键词 FTP 一致性测试协议测试并发ttcn 通信协议 TCP/IP协议; 在线阅读下载PDF 职称材料

并发TTCN测试执行机的设计与实现被引量：4: 2; 作者张卫星蒋凡《软件学报》 EI CSCD 北大核心 2003年第3期606-611,共6页; 提出了一种通用并发TTCN测试执行机的设计方法.在测试并发协议实现时,采用FIFO调度算法解决了并发测试例的执行问题,并在借鉴抽象I/O队列思想的基础上提出了PTI(packet transmitting interface)部分,使得执行机与特定的协议实现无关,而... 展开更多; 关键词设计通信协议协议一致性测试并发ttcn 报文传输接口测试组件测试组件配置; 在线阅读下载PDF 职称材料

并发TTCN的操作语义及相关算法: 3; 作者张卫星蒋凡《计算机工程》 CAS CSCD 北大核心 2003年第4期77-78,117,共3页; TTCN作为一种形式化的测试集描述语言，已经得到了广泛的应用。在介绍了并发TTCN的基本概念之后，接着介绍TTCN2的操作语义及相关算法，然后结合TTCN执行机的实现给出了并发测试组件的调度算法。; 关键词操作语义形式化测试集描述语言算法协议一致性测试测试组件并发ttcn语言; 在线阅读下载PDF 职称材料

路由协议的符号化测试生成被引量：2: 4; 作者邢熠叶新铭谢高岗《计算机学报》 EI CSCD 北大核心 2010年第3期589-595,共7页; 协议一致性测试用于验证协议实现的正确性.文中根据路由协议的消息复杂特点,提出基于on-the-fly策略符号测试生成与动态执行的算法:建立了一种新的统一符号语义模型,该模型把数据操作和控制都抽象为动作行为;以该语义模型为基础,扩展了... 展开更多; 关键词协议一致性测试统一语义模型符号测试生成符号执行数据选择; 在线阅读下载PDF 职称材料

基于形式化方法的因特网路由协议的一致性测试(英文): 5; 作者毕军吴建平《软件学报》 EI CSCD 北大核心 2000年第4期427-434,共8页; 并发数表组合表述法 (并发 TTCN)是可以描述并发测试行为的测试表述法 .该文提出一种基于并发TTCN的分布式路由协议的测试方法 .首先讨论路由协议实体的测试结构 ,然后给出基于并发 TTCN测试系统的设计 .; 关键词一致行测试路由协议 INTERNET网形式化方法; 在线阅读下载PDF 职称材料

题名一种基于并发TTCN的FTP协议一致性测试研究被引量：2: 1; 作者李中杰吴建平; 机构清华大学计算机科学与技术系; 出处《高技术通讯》 EI CAS CSCD 2002年第1期16-22,共7页; 基金国家自然科学基金 ( 6 96 82 0 0 2 6 972 5 0 0 3)资助项目; 文摘在TCP/IP协议族的应用层协议中 ,文件传输协议FTP具有很强的代表性。应用层协议的一致性测试 ,目前在国内尚未提上日程 ,国外则主要集中在协议分析 (protocolanalysis)上。本文介绍了TCP/IP协议一致性测试现状 ;研究以协议集成测试系统为测试平台 ,采用并发TTCN测试集描述语言 ,对FTP进行一致性测试的方法 ;; 关键词 FTP 一致性测试协议测试并发ttcn 通信协议 TCP/IP协议; Keywords FTP, conformance test, protocol test, concurrent ttcn; 分类号 TP393.04 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名并发TTCN测试执行机的设计与实现被引量：4: 2; 作者张卫星蒋凡; 机构中国科学技术大学计算机科学技术系; 出处《软件学报》 EI CSCD 北大核心 2003年第3期606-611,共6页; 文摘提出了一种通用并发TTCN测试执行机的设计方法.在测试并发协议实现时,采用FIFO调度算法解决了并发测试例的执行问题,并在借鉴抽象I/O队列思想的基础上提出了PTI(packet transmitting interface)部分,使得执行机与特定的协议实现无关,而且提供了可视化的测试执行跟踪界面,使错误定位变得更加容易.实现的执行机在附加上相应的PTI部分之后就可以进行测试,目前已投入使用.; 关键词设计通信协议协议一致性测试并发ttcn 报文传输接口测试组件测试组件配置; Keywords protocol conformance testing concurrent ttcn packet transmitting interface test component test component configuration; 分类号 TN915.04 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名并发TTCN的操作语义及相关算法: 3; 作者张卫星蒋凡; 机构中国科技大学计算机科学与技术系; 出处《计算机工程》 CAS CSCD 北大核心 2003年第4期77-78,117,共3页; 文摘 TTCN作为一种形式化的测试集描述语言，已经得到了广泛的应用。在介绍了并发TTCN的基本概念之后，接着介绍TTCN2的操作语义及相关算法，然后结合TTCN执行机的实现给出了并发测试组件的调度算法。; 关键词操作语义形式化测试集描述语言算法协议一致性测试测试组件并发ttcn语言; Keywords concurrent ttcn；operational semantics；protocol conformance test test component; 分类号 TP312 [自动化与计算机技术—计算机软件与理论] TN915.04 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名路由协议的符号化测试生成被引量：2: 4; 作者邢熠叶新铭谢高岗; 机构中国科学院计算技术研究所内蒙古大学计算机学院中国科学院研究生院; 出处《计算机学报》 EI CSCD 北大核心 2010年第3期589-595,共7页; 基金国家自然科学基金(60403031 90604015 +2 种基金 60903208) 中国科学院重大科研装备研制项目(YZ200824)资助; 文摘协议一致性测试用于验证协议实现的正确性.文中根据路由协议的消息复杂特点,提出基于on-the-fly策略符号测试生成与动态执行的算法:建立了一种新的统一符号语义模型,该模型把数据操作和控制都抽象为动作行为;以该语义模型为基础,扩展了行为之间的关系以及一致性测试关系;给出了基于on-the-fly策略符号测试生成与符号动态执行的算法,在符号动态执行中,使用了统计的聚类算法来进行符号的数据选择.论文最后用具体的测试例说明该算法在OSPFv3协议一致性测试上的应用.; 关键词协议一致性测试统一语义模型符号测试生成符号执行数据选择; Keywords protocol conformance test unified operation semantic symbolic test generating symbolic execution data selection; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于形式化方法的因特网路由协议的一致性测试(英文): 5; 作者毕军吴建平; 机构清华大学计算机科学与技术系; 出处《软件学报》 EI CSCD 北大核心 2000年第4期427-434,共8页; 基金 This research is supported by the National Natural Science Foundation of China (国家自然科学基金 Nos.6 94730 11and6 96 82 0; 文摘并发数表组合表述法 (并发 TTCN)是可以描述并发测试行为的测试表述法 .该文提出一种基于并发TTCN的分布式路由协议的测试方法 .首先讨论路由协议实体的测试结构 ,然后给出基于并发 TTCN测试系统的设计 .; 关键词一致行测试路由协议 INTERNET网形式化方法; Keywords conformance testing, distributed system, routing protocol, internet, concurrent ttcn.; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	一种基于并发TTCN的FTP协议一致性测试研究	李中杰吴建平	《高技术通讯》 EI CAS CSCD	2002	2	在线阅读下载PDF 职称材料
2	并发TTCN测试执行机的设计与实现	张卫星蒋凡	《软件学报》 EI CSCD 北大核心	2003	4	在线阅读下载PDF 职称材料
3	并发TTCN的操作语义及相关算法	张卫星蒋凡	《计算机工程》 CAS CSCD 北大核心	2003	0	在线阅读下载PDF 职称材料
4	路由协议的符号化测试生成	邢熠叶新铭谢高岗	《计算机学报》 EI CSCD 北大核心	2010	2	在线阅读下载PDF 职称材料
5	基于形式化方法的因特网路由协议的一致性测试(英文)	毕军吴建平	《软件学报》 EI CSCD 北大核心	2000	0	在线阅读下载PDF 职称材料