基于节点自相似方法的MANET路由协议测试方法

Fifth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PerComW'07) Pub Date : 2007-03-19 DOI:10.1109/PERCOMW.2007.16

C. Grepet, S. Maag

{"title":"基于节点自相似方法的MANET路由协议测试方法","authors":"C. Grepet, S. Maag","doi":"10.1109/PERCOMW.2007.16","DOIUrl":null,"url":null,"abstract":"In this paper we present a new approach to test the conformance of a wireless ad hoc routing protocol. This approach is based on a formal specification of the DSR protocol described by using the SDL language. Test scenarii are automatically generated by a tool developed in our laboratory and a method enabling to execute them on an implementation into a real network is illustrated. The concept of self-similarity is presented to reduce by combination the number of nodes in a network enabling to execute the test scenarii in defining a relationship between the network and specification topologies","PeriodicalId":352348,"journal":{"name":"Fifth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PerComW'07)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"A Testing Methodology for a MANET Routing Protocol Using a Node Self-Similarity Approach\",\"authors\":\"C. Grepet, S. Maag\",\"doi\":\"10.1109/PERCOMW.2007.16\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper we present a new approach to test the conformance of a wireless ad hoc routing protocol. This approach is based on a formal specification of the DSR protocol described by using the SDL language. Test scenarii are automatically generated by a tool developed in our laboratory and a method enabling to execute them on an implementation into a real network is illustrated. The concept of self-similarity is presented to reduce by combination the number of nodes in a network enabling to execute the test scenarii in defining a relationship between the network and specification topologies\",\"PeriodicalId\":352348,\"journal\":{\"name\":\"Fifth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PerComW'07)\",\"volume\":\"7 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-03-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Fifth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PerComW'07)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/PERCOMW.2007.16\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Fifth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PerComW'07)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PERCOMW.2007.16","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

本文提出了一种测试无线自组织路由协议一致性的新方法。这种方法基于使用SDL语言描述的DSR协议的正式规范。测试场景是由我们实验室开发的工具自动生成的，并且说明了一种能够在实际网络的实现中执行它们的方法。提出了自相似性的概念，通过组合网络中的节点数量来减少在定义网络和规范拓扑之间的关系时执行测试场景

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A Testing Methodology for a MANET Routing Protocol Using a Node Self-Similarity Approach

In this paper we present a new approach to test the conformance of a wireless ad hoc routing protocol. This approach is based on a formal specification of the DSR protocol described by using the SDL language. Test scenarii are automatically generated by a tool developed in our laboratory and a method enabling to execute them on an implementation into a real network is illustrated. The concept of self-similarity is presented to reduce by combination the number of nodes in a network enabling to execute the test scenarii in defining a relationship between the network and specification topologies

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Fifth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PerComW'07)

自引率

0.00%

发文量