收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于构造类别代数的数据流和控制流相结合的协议测试

郭雄辉  赵保华  周颢  屈玉贵  
【摘要】:如何从协议规范中生成即考虑控制流又兼顾数据流的测试用例是一个很有挑战的问题,本文提出了一种基于构造类别代数的数据流与控制流相结合的测试方法,给出了在其上的测试用例生成算法,有限状态机模型到构造类别代数模型的转换算法,并且给出了在一个实际的路由协议RIP的测试中的应用例子。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 马艳芳;张敏;陈仪香;;基于环境的软件正确性形式化描述[J];山东大学学报(理学版);2011年09期
2 贺琪;袁红春;陈晓峰;;面向数据的BPM中服务垂直匹配研究[J];计算机工程;2011年16期
3 何中阳;李鸥;杨白薇;刘洋;;基于TCPN的TCP协议形式化描述[J];计算机工程;2011年18期
4 陈亚莎;赵勇;刘燕;沈昌祥;;高安全级信息系统中的特权控制机制及其模型研究[J];山东大学学报(理学版);2011年09期
5 郭钢;汤华茂;罗妤;;基于语义的产品功能形式化建模[J];计算机集成制造系统;2011年06期
6 董宇欣;印桂生;谢新强;马志强;;网构软件信任机制的形式化研究[J];哈尔滨工程大学学报;2011年06期
7 凌云翔;叶挺;陆锡高;谈益兴;;基于触摸自然手势的指挥所业务映射与验证方法研究[J];系统仿真学报;2011年07期
8 李勇;李光;沈昌祥;;可信管道模型研究[J];计算机工程与应用;2011年26期
9 袁敏;黄志球;李祥;;支持业务事务验证的服务协调模型[J];小型微型计算机系统;2011年09期
10 生拥宏;汪东升;鞠大鹏;武健;;一种卷级连续数据保护一致点插入方法[J];高技术通讯;2010年11期
11 周佳骏;马瑞兴;王峰;李肖坚;;P2P网络下的可移动情报发布/订阅模型[J];情报杂志;2011年06期
12 孙伟;汪磊;鲁骏;;基于RBAC的灵活集团委托模型[J];电脑知识与技术;2011年20期
13 陈永;王晓明;党建武;胡晓辉;;基于SPN的CTCS无线通信形式化建模与分析[J];铁道学报;2011年08期
14 苏桂平;孙莎;;基于CPN模型的不可否认协议分析[J];信息安全与通信保密;2011年08期
15 黄宏斌;熊芳;邓苏;张维明;;基于语义相关的信息聚焦数学模型及方法研究[J];计算机科学;2011年08期
16 何亚农;宋玮;赵跃龙;;基于平衡结构的对等网络存储系统研究[J];计算机工程与设计;2011年08期
17 赵天福;周丹平;王康;张博;;一种基于网络行为分析的反弹式木马检测方法[J];信息网络安全;2011年09期
18 冯源;;带第三方支付平台的网上购物系统的CCS描述[J];太原师范学院学报(自然科学版);2011年02期
19 齐军;张月菊;王涛;;工作流集成中基于代数表达式的语义匹配机制[J];计算机应用;2011年08期
20 胡睿;张国春;柳少军;;基于DEVS的防空作战模型可重用性研究[J];系统仿真学报;2011年S1期
中国重要会议论文全文数据库 前10条
1 郭雄辉;赵保华;周颢;屈玉贵;;基于构造类别代数的数据流和控制流相结合的协议测试[A];2003年通信软件技术学术年会论文集[C];2003年
2 郑晓娟;金英;;基于Seal演算形式化描述移动Agent安全[A];2006年全国理论计算机科学学术年会论文集[C];2006年
3 赵正旭;张常有;刘立嘉;;信息对象开放式采集系统的形式化描述[A];2010年全国开放式分布与并行计算机学术会议论文集[C];2010年
4 赵会群;孙晶;高远;;一种基于路由网络代数的路由振荡检测算法[A];第十届全国容错计算学术会议论文集[C];2003年
5 王振;缪旭东;;基于XML的作战方案形式化描述[A];中国系统仿真学会第五次全国会员代表大会暨2006年全国学术年会论文集[C];2006年
6 杨娟;王柏;艾波;;新一代电信运营支撑系统软件体系结构的形式化描述[A];’2004计算机应用技术交流会议论文集[C];2004年
7 王之梁;吴建平;尹霞;施新刚;;基于MSC测试目的的协议互操作性测试生成[A];2006年全国通信软件学术会议论文集[C];2006年
8 蔡剑红;李德仁;;多空间尺度下顾及不确定性的16方向锥形模型研究[A];第四届海峡两岸GIS发展研讨会暨中国GIS协会第十届年会论文集[C];2006年
9 范轶勇;王楚义;陈华伟;;多端口路由器并发测试系统中的测试管理[A];2006中国西部青年通信学术会议论文集[C];2006年
10 张兆心;方滨兴;张宏莉;;基于BAN逻辑的SIP网络中认证协议安全性分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
中国博士学位论文全文数据库 前10条
1 王之梁;基于形式化方法的分布式协议互操作性测试研究[D];清华大学;2006年
2 林民;汉字字形形式化描述方法及应用研究[D];北京工业大学;2009年
3 冯毅萍;石化生产过程多分辨率物流模型的建模方法[D];浙江大学;2008年
4 包铁;网络数据采集处理方法及形式化研究[D];吉林大学;2007年
5 林华辉;协议互操作性测试理论与方法研究[D];中国科学技术大学;2007年
6 荣霓;高速边缘路由器IPSec体系结构及关键技术的研究[D];国防科学技术大学;2005年
7 赵晓峰;虚拟制造环境的信息规范及其Z描述研究[D];山东大学;2010年
8 汪文元;基于工作流的兵力调度技术研究[D];国防科学技术大学;2005年
9 蹇强;无线传感器网络MAC协议关键技术研究[D];国防科学技术大学;2008年
10 陈虔;大型应用软件协同开发的版本控制和管理—面向组件增量的版本控制方法[D];中国科学院研究生院(高能物理研究所);1997年
中国硕士学位论文全文数据库 前10条
1 王华伟;基于形式化描述的协议鲁棒性测试研究[D];华中科技大学;2009年
2 燕昊;UML建模的形式化研究[D];兰州大学;2006年
3 王少将;基于时序逻辑的Open Solaris内核进程形式化描述与求精[D];苏州大学;2008年
4 孙勇;突发事件应急预案形式化描述方法研究[D];大连理工大学;2007年
5 周桢干;现代汉语正反问句及其问点、答句句式和形式化的研究[D];重庆大学;2008年
6 刘美芹;基于契约和代码植入的协议测试技术研究[D];西安电子科技大学;2007年
7 王丽丽;负控通信分析与协议测试研究[D];华北电力大学(北京);2010年
8 马艳;IPSec协议测试优化技术研究[D];解放军信息工程大学;2010年
9 孙咏梅;路由协议一致性测试平台研究与实现[D];北京邮电大学;2006年
10 胡鹏;基于遗传算法的协议一致性测试序列生成研究[D];南京航空航天大学;2007年
中国重要报纸全文数据库 前10条
1 付琦;协议测试实现运营长期盈利[N];通信产业报;2003年
2 尹霞;我说的话 你能听懂吗?[N];计算机世界;2001年
3 艾文;泰克的3G之舞[N];通信产业报;2004年
4 罗德与施瓦茨中国有限公司 刘昶;LTE研发及IODT协议测试[N];通信产业报;2009年
5 本报记者 向杰;摆脱IPv4 抢占IPv6[N];科技日报;2011年
6 诸玲珍 张侠;3G测试:洋设备一统天下 用户期待降价[N];中国电子报;2006年
7 罗德与施瓦茨(中国)有限公司;3G手机测试:厂商关注焦点[N];中国电子报;2006年
8 记者 诸玲珍;测试设备厂商:TD-SCDMA领域跃跃欲试[N];中国电子报;2005年
9 罗德与施瓦茨中国有限公司测试与测量产品支持总监 金海良;迎接3G,手机测试先行[N];通信产业报;2007年
10 ;用户感受是最大挑战[N];通信产业报;2007年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978