首页> 中文期刊> 《计算机应用》 >含自发事件的协议一致性测试例的生成

含自发事件的协议一致性测试例的生成

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

目前有许多基于有限状态机生成一致性测试序列的方法,但是这些方法还不能应用于含有自发事件的有限状态机.文中对UIO方法加以补充,使之适用于含自发事件的有限状态机,并已将该方法应用于OSPF协议的一致性测试.

著录项

来源
《计算机应用》 |2001年第8期|1-3|共3页
作者
石勇军; 屈玉贵; 赵保华;
展开▼
作者单位

中国科学技术大学;

计算机科学技术系;

安徽;

合肥;

230027;

中国科学技术大学;

计算机科学技术系;

安徽;

合肥;

230027;

中国科学技术大学;

计算机科学技术系;

安徽;

合肥;

230027;

展开▼
原文格式 PDF
正文语种 chi
中图分类通信规程、通信协议;
关键词
一致性测试; 有限状态机; 自发事件; UIO;

相似文献

中文文献
外文文献
专利

1. 协议一致性测试用例生成模型研究 [J] . 齐建业 ,李强 ,余祥 . 计算机工程与设计 . 2014,第003期
2. IPv6邻居发现协议的一致性测试序列生成 [J] . 陈守宁 ,郑宝玉 ,李璟 . 信号处理 . 2013,第012期
3. 基于形式活动图的协议一致性测试用例生成方法研究 [J] . 齐建业 ,李强 ,余祥 . 安徽大学学报（自然科学版） . 2013,第003期
4. 面向协议一致性测试的测试序列生成方法研究 [J] . 张新常 ,杨美红 ,罗万明 . 高技术通讯 . 2011,第010期
5. 基于UIO的协议一致性测试序列生成方法研究 [J] . 丁雪莲 ,陈银凤 ,张巨萍 . 电脑与信息技术 . 2011,第006期
6. IPv6邻居发现协议的一致性测试序列生成 [C] . CHEN Shou-ning ,陈守宁 ,ZHENG Bao-yu . 第十六届全国信号处理学术年会及产业发展大会 . 2013
7. 协议一致性测试序列生成及错误诊断算法设计 [A] . 亓泽超 . 2011

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号