版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
基于时间自动机模型的无线传感器网络数据收集协议测试用例生成
Test case generation of data gathering protocol for wireless sensor networks based on timed automata model作者机构：北京工业大学计算机学院北京100124 提赛德大学计算机学院 西安普瑞米特科技有限公司西安710075
出 版 物：《计算机应用》 (journal of Computer Applications)
年 卷 期：2015年第35卷第4期
页 面：1164-1168页
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）]
主 题：无线传感器网络 数据收集协议 UPPAAL UPPAAL CoVer 测试用例生成
摘 要：从协议测试的角度出发研究了基于时间自动机模型的无线传感器网络数据收集协议测试用例生成方法,提出利用UPPAAL工具对数据收集协议建立时间自动机模型,进而利用UPPAAL Co Ver工具生成满足特定覆盖标准的测试路径集合的方法。为了便于生成实际测试用例,开发了辅助自动测试用例生成工具ATCGT。通过一个工业界的无线抄表数据收集协议的建模与测试用例生成实例,阐明了该方法的有效性。
