首页> 中文期刊> 《通信学报》 >一种通信协议测试序列生成的新方法

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《通信学报》 |2001年第6期|122-127|共6页
作者
孙宇霖; 屈玉贵; 赵保华;
展开▼
作者单位

中国科学技术大学计算机系;

中国科学技术大学计算机系;

中国科学技术大学计算机系;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
协议测试; 构造类别代数规范; 有限状态机;

相似文献

中文文献
外文文献
专利

1. 面向安全需求的安全通信协议测试序列生成算法 [J] . 李弋强 ,徐中伟 ,喻钢 . 计算机应用 . 2009,第007期
2. 通信协议一致性测试序列自动生成算法研究 [J] . 魏仰苏 ,孟兆航 ,舒挺 . 计算机工程与设计 . 2007,第010期
3. 一种基于时间自动机模型的区域控制器测试序列生成方法 [J] . 宋爽 ,刘伯鸿 ,周科 . 铁道标准设计 . 2018,第008期
4. 一种基于EFSM的一致性测试序列生成方法 [J] . 邸剑 ,王晓月 ,李丽芬 . 电子制作 . 2013,第021期
5. 一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用 [J] . 赵显琼 ,郑伟 ,唐涛 . 铁道学报 . 2012,第005期
6. 一种基于动态规划的协议一致性测试序列生成算法 [C] . You Juan ,尤娟 ,Li Junquan . 第十八届全国青年通信学术年会 . 2013
7. 约束条件下组合测试用例生成的一种新方法 [A] . 丁怀宝 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号