资料下载
×
无线传感器网络数据收集协议测试用例生成
消耗积分:2 |
格式:rar |
大小:0.72 MB |
2018-01-13
分享资料个
无线传感器网络（ Wireless Sensor Network，WSN）广泛应用于各个领域的数据收集系统，数据收集的正确性与稳定性依赖于系统网络，因此设计并实现可靠的数据收集协议以保证此类系统的正常运作就成为亟须解决的问题之一。
从协议测试的角度出发研究了基于时间自动机模型的无线传感器网络数据收集协议测试用例生成方法，提出利用UPPAAL工具对数据收集协议建立时间自动机模型，进而利用UPPAAL CoVer工具生成满足特定覆盖标准的测试路径集合的方法。为了便于生成实际测试用例，开发了辅助自动测试用例生成工具ATCGT。通过一个工业界的无线抄表数据收集协议的建模与测试用例生成实例，阐明了该方法的有效性。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
