《基于时间自动机模型的无线传感器网络数据收集协议测试用例生成》PDF+DOC
作者:王非,杨红丽,秦胜潮,胡世超,刘渊
单位:四川省计算机学会;中国科学院成都分院
出版:《计算机应用》2015年第04期
页数:5页 (PDF与DOC格式可能不同)
PDF编号:PDFJSJY2015040580
DOC编号:DOCJSJY2015040589
下载格式:PDF + Word/doc 文字可复制、可编辑
《基于FSM模型的无线传感器网络数据收集协议测试》PDF+DOC2017年第09期 刘层层,杨红丽
《高效节能的无线传感器网络数据收集协议》PDF+DOC2008年第04期 陆克中,林晓辉,刘应玲,王晖
《多节点协同传输无线传感器网络数据收集协议》PDF+DOC2014年第09期 王加年,先晓兵
《基于无线传感器网络的农用大棚数据采集》PDF+DOC2012年第05期 赵昕,张新
《无线传感器网络中一种基于移动Sink的数据收集算法》PDF+DOC2012年第05期 张蕾,张堃,宋军
《一种新型无线传感器网络数据收集生成树》PDF+DOC2012年第06期 李硕,樊建席,王成,王仁喜,张书奎
《无线传感器网络中一种高效的能量汇报融合机制》PDF+DOC2009年第08期 周平,张胜,舒坚
《WSN中面向数据收集的网络拓扑构造算法》PDF+DOC2014年第04期 于广州
《WSN中一种基于网格的并行数据收集方案》PDF+DOC2014年第07期 刘小强,廖建锋
《传感器网络基于小波分段常值压缩的数据收集研究》PDF+DOC2013年第01期 李杨,郭龙江,李金宝,任美睿
从协议测试的角度出发研究了基于时间自动机模型的无线传感器网络数据收集协议测试用例生成方法,提出利用UPPAAL工具对数据收集协议建立时间自动机模型,进而利用UPPAAL Co Ver工具生成满足特定覆盖标准的测试路径集合的方法。为了便于生成实际测试用例,开发了辅助自动测试用例生成工具ATCGT。通过一个工业界的无线抄表数据收集协议的建模与测试用例生成实例,阐明了该方法的有效性。
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。