{"title":"对移动IPv6协议中的移动性管理进行建模、验证和测试","authors":"F. N. Noudem, C. Viho","doi":"10.1109/CONTEL.2005.185970","DOIUrl":null,"url":null,"abstract":"Mobility systems are complex. They are composed of several distributed, heterogeneous and, obviously, mobile components. The paper deals with the modeling, verification and testing of mobility protocols using the SDL approach. A well suited model is proposed to handle the component-based nature of mobile systems. We show that the chosen model allows the verification of mobility mechanisms and the performance of conformance and interoperability testing. The solution suggested to derive the test cases in the new testing language, TTCN-3, is described","PeriodicalId":265923,"journal":{"name":"Proceedings of the 8th International Conference on Telecommunications, 2005. ConTEL 2005.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"Modeling, verifying and testing the mobility management in the mobile IPv6 protocol\",\"authors\":\"F. N. Noudem, C. Viho\",\"doi\":\"10.1109/CONTEL.2005.185970\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Mobility systems are complex. They are composed of several distributed, heterogeneous and, obviously, mobile components. The paper deals with the modeling, verification and testing of mobility protocols using the SDL approach. A well suited model is proposed to handle the component-based nature of mobile systems. We show that the chosen model allows the verification of mobility mechanisms and the performance of conformance and interoperability testing. The solution suggested to derive the test cases in the new testing language, TTCN-3, is described\",\"PeriodicalId\":265923,\"journal\":{\"name\":\"Proceedings of the 8th International Conference on Telecommunications, 2005. ConTEL 2005.\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2005-06-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 8th International Conference on Telecommunications, 2005. ConTEL 2005.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CONTEL.2005.185970\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 8th International Conference on Telecommunications, 2005. ConTEL 2005.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CONTEL.2005.185970","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Modeling, verifying and testing the mobility management in the mobile IPv6 protocol
Mobility systems are complex. They are composed of several distributed, heterogeneous and, obviously, mobile components. The paper deals with the modeling, verification and testing of mobility protocols using the SDL approach. A well suited model is proposed to handle the component-based nature of mobile systems. We show that the chosen model allows the verification of mobility mechanisms and the performance of conformance and interoperability testing. The solution suggested to derive the test cases in the new testing language, TTCN-3, is described
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
