期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Modem的几种协议说明
1
作者
梁慎清
《广东气象》
1998年第1期34-34,共1页
关键词
MODEM
调制解调器
协议说明
气象资料
地面传输
下载PDF
职称材料
安全协议的形式化说明、设计及验证
被引量:
6
2
作者
王娜
王亚弟
《计算机应用》
CSCD
北大核心
2003年第10期42-45,共4页
文中针对形式化技术在安全协议说明、设计和验证三个方面的研究和进展情况进行了详细介绍,分析了它们的原理和优缺点,并对该技术的研究发展前景提出见解。
关键词
安全
协议
形式化技术
协议说明
协议
设计
协议
验证
下载PDF
职称材料
从ESTELLE协议规格说明生成测试序列
3
作者
蔡云飞
《工程兵工程学院学报》
EI
1992年第1期63-69,共7页
ESTELLE是一种由ISO提出的用于描述计算机通信协议的形式化描述技术,并已成为国际标准。随着计算机网络技术的发展,出现了一门新的学科——协议工程。它包括通信协议的规范、验证、生成、测试。测试序列生成在协议一致性测试中是一个非...
ESTELLE是一种由ISO提出的用于描述计算机通信协议的形式化描述技术,并已成为国际标准。随着计算机网络技术的发展,出现了一门新的学科——协议工程。它包括通信协议的规范、验证、生成、测试。测试序列生成在协议一致性测试中是一个非常复杂的问题。本文提出了从ESTELLE语言规范生成测试序列的方法。有关测试序列生成的一些原始材料可以在一些协议规范的文本中找到。_抽象机(即扩充的有限自动机)是所提方法的基础。这个方法的思想是这样的:首先是用ESTELLE语言编译器从ESTELLE协议文本中提取要求的信息(抽象机),并且用某种形式表尔之。第二,将抽象机展开成为一个一般的有限自动机。第三,从有限自动机中生成测试序列。最后,把测试序列转换成TTCN形式。
展开更多
关键词
协议
规格
说明
抽象机
测试序列
下载PDF
职称材料
EPA协议一致性测试方法
被引量:
7
4
作者
易明华
王平
+2 位作者
汪春华
陈良华
王浩文
《仪器仪表学报》
EI
CAS
CSCD
北大核心
2007年第3期451-455,共5页
EPA是我国第一个拥有自主知识产权并被国际电工委员会(IEC)认可的工业自动化领域国际标准。本文在研究EPA协议一致性测试原理、静态测试与动态测试方法与实现技术的基础上,参照TTCN的结构框架对EPA抽象测试集进行形式化描述,提出了一种...
EPA是我国第一个拥有自主知识产权并被国际电工委员会(IEC)认可的工业自动化领域国际标准。本文在研究EPA协议一致性测试原理、静态测试与动态测试方法与实现技术的基础上,参照TTCN的结构框架对EPA抽象测试集进行形式化描述,提出了一种EPA协议一致性测试的方法,阐述了EPA协议实现一致性说明和协议实施附加信息的生成方法,并以变量写服务的测试为例,说明了EPA协议一致性测试流程。国家863/CIMS验收专家组委托的专家测试表明这种测试方法能够准确测试出被测协议实现与标准的一致程度。
展开更多
关键词
EPA
协议
一致性测试
抽象测试集
可执行测试集
协议
实现一致性
说明
协议
实施附加信息
下载PDF
职称材料
泰州数字电视SMS系统银行接口问题浅述(下)
5
作者
刘诚
钱振凯
《中国数字电视》
2007年第4期56-59,共4页
(接上期) 报文协议 银行与SMS之间采用基于TCP/IP的报文通讯,具体为长连接方式.银行作为CLIENT进程,SMS作为SERVER进程,由银行向SMS发送请求报文,SMS回送结果报文.(对账文件可以由FTP服务器中转).……
关键词
SMS
银行
金融机构
字段名
柜面业务
交易编码
报文头
文件头
记录头段
文件格式
文件结束符
数字签名
数据内容
协议说明
下载PDF
职称材料
题名
Modem的几种协议说明
1
作者
梁慎清
机构
广东省气象电信台
出处
《广东气象》
1998年第1期34-34,共1页
关键词
MODEM
调制解调器
协议说明
气象资料
地面传输
分类号
P406 [天文地球—大气科学及气象学]
TN763
下载PDF
职称材料
题名
安全协议的形式化说明、设计及验证
被引量:
6
2
作者
王娜
王亚弟
机构
中国人民解放军信息工程大学电子技术学院
出处
《计算机应用》
CSCD
北大核心
2003年第10期42-45,共4页
文摘
文中针对形式化技术在安全协议说明、设计和验证三个方面的研究和进展情况进行了详细介绍,分析了它们的原理和优缺点,并对该技术的研究发展前景提出见解。
关键词
安全
协议
形式化技术
协议说明
协议
设计
协议
验证
Keywords
secure protocol
formal technology
protocol specification
protocol designing
protocol verification
分类号
TP393.04 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
从ESTELLE协议规格说明生成测试序列
3
作者
蔡云飞
出处
《工程兵工程学院学报》
EI
1992年第1期63-69,共7页
文摘
ESTELLE是一种由ISO提出的用于描述计算机通信协议的形式化描述技术,并已成为国际标准。随着计算机网络技术的发展,出现了一门新的学科——协议工程。它包括通信协议的规范、验证、生成、测试。测试序列生成在协议一致性测试中是一个非常复杂的问题。本文提出了从ESTELLE语言规范生成测试序列的方法。有关测试序列生成的一些原始材料可以在一些协议规范的文本中找到。_抽象机(即扩充的有限自动机)是所提方法的基础。这个方法的思想是这样的:首先是用ESTELLE语言编译器从ESTELLE协议文本中提取要求的信息(抽象机),并且用某种形式表尔之。第二,将抽象机展开成为一个一般的有限自动机。第三,从有限自动机中生成测试序列。最后,把测试序列转换成TTCN形式。
关键词
协议
规格
说明
抽象机
测试序列
Keywords
protcol specification
abstract machine
test sequences
分类号
N55 [自然科学总论]
下载PDF
职称材料
题名
EPA协议一致性测试方法
被引量:
7
4
作者
易明华
王平
汪春华
陈良华
王浩文
机构
重庆邮电学院
出处
《仪器仪表学报》
EI
CAS
CSCD
北大核心
2007年第3期451-455,共5页
基金
国家863计划(2004AA412020)资助项目
文摘
EPA是我国第一个拥有自主知识产权并被国际电工委员会(IEC)认可的工业自动化领域国际标准。本文在研究EPA协议一致性测试原理、静态测试与动态测试方法与实现技术的基础上,参照TTCN的结构框架对EPA抽象测试集进行形式化描述,提出了一种EPA协议一致性测试的方法,阐述了EPA协议实现一致性说明和协议实施附加信息的生成方法,并以变量写服务的测试为例,说明了EPA协议一致性测试流程。国家863/CIMS验收专家组委托的专家测试表明这种测试方法能够准确测试出被测协议实现与标准的一致程度。
关键词
EPA
协议
一致性测试
抽象测试集
可执行测试集
协议
实现一致性
说明
协议
实施附加信息
Keywords
EPA protocol
conformance test
abstract test suit
executable test suit
protocol implementation conformance statement
protocol implementation extra information
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
泰州数字电视SMS系统银行接口问题浅述(下)
5
作者
刘诚
钱振凯
机构
江苏省泰州市广播电视台信息网络开发中心
出处
《中国数字电视》
2007年第4期56-59,共4页
文摘
(接上期) 报文协议 银行与SMS之间采用基于TCP/IP的报文通讯,具体为长连接方式.银行作为CLIENT进程,SMS作为SERVER进程,由银行向SMS发送请求报文,SMS回送结果报文.(对账文件可以由FTP服务器中转).……
关键词
SMS
银行
金融机构
字段名
柜面业务
交易编码
报文头
文件头
记录头段
文件格式
文件结束符
数字签名
数据内容
协议说明
分类号
TN941.3 [电子电信—信号与信息处理]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Modem的几种协议说明
梁慎清
《广东气象》
1998
0
下载PDF
职称材料
2
安全协议的形式化说明、设计及验证
王娜
王亚弟
《计算机应用》
CSCD
北大核心
2003
6
下载PDF
职称材料
3
从ESTELLE协议规格说明生成测试序列
蔡云飞
《工程兵工程学院学报》
EI
1992
0
下载PDF
职称材料
4
EPA协议一致性测试方法
易明华
王平
汪春华
陈良华
王浩文
《仪器仪表学报》
EI
CAS
CSCD
北大核心
2007
7
下载PDF
职称材料
5
泰州数字电视SMS系统银行接口问题浅述(下)
刘诚
钱振凯
《中国数字电视》
2007
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部