CSpace  > 中国科学院计算技术研究所期刊论文  > 中文
用于协议一致性测试序列生成的状态规范化算法
程时端1; 苏彤1; 倪群2
1997
发表期刊通信学报
ISSN1000-436X
卷号18.0期号:002页码:75
摘要这篇论文提出了一种方法,把EFSM描述协议的广泛性的FSM测试序列生成方法的成熟性有机的结合起来,较圆满地解决了测试序我的可执行性,观察性,控制性问题。同时兼顾了数据流和控制流的全面测试。
关键词协议一致性测试 测试集 有限状态机 信息论
语种英语
文献类型期刊论文
条目标识符http://119.78.100.204/handle/2XEOYT63/29805
专题中国科学院计算技术研究所期刊论文_中文
作者单位1.北京邮电大学
2.中国科学院计算技术研究所
推荐引用方式
GB/T 7714
程时端,苏彤,倪群. 用于协议一致性测试序列生成的状态规范化算法[J]. 通信学报,1997,18.0(002):75.
APA 程时端,苏彤,&倪群.(1997).用于协议一致性测试序列生成的状态规范化算法.通信学报,18.0(002),75.
MLA 程时端,et al."用于协议一致性测试序列生成的状态规范化算法".通信学报 18.0.002(1997):75.
条目包含的文件
条目无相关文件。
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[程时端]的文章
[苏彤]的文章
[倪群]的文章
百度学术
百度学术中相似的文章
[程时端]的文章
[苏彤]的文章
[倪群]的文章
必应学术
必应学术中相似的文章
[程时端]的文章
[苏彤]的文章
[倪群]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。