基于FSM的通信协议互操作性测试

IEEE/Siberian Conference on Control and Communications (IEEE Cat. No.03EX687) Pub Date : 2003-10-01 DOI:10.1109/SIBCON.2003.1335712

N. Spitsyna, V. Trenkaev

{"title":"基于FSM的通信协议互操作性测试","authors":"N. Spitsyna, V. Trenkaev","doi":"10.1109/SIBCON.2003.1335712","DOIUrl":null,"url":null,"abstract":"The paper considers the derivation of interoperability test suites. We describe whether the composition of the protocol implementations of different vendors can work together without falling into livelock or deadlock. Then a test suite checks the composition of the component implementations.","PeriodicalId":284294,"journal":{"name":"IEEE/Siberian Conference on Control and Communications (IEEE Cat. No.03EX687)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2003-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"FSM based interoperability testing of communication protocols\",\"authors\":\"N. Spitsyna, V. Trenkaev\",\"doi\":\"10.1109/SIBCON.2003.1335712\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The paper considers the derivation of interoperability test suites. We describe whether the composition of the protocol implementations of different vendors can work together without falling into livelock or deadlock. Then a test suite checks the composition of the component implementations.\",\"PeriodicalId\":284294,\"journal\":{\"name\":\"IEEE/Siberian Conference on Control and Communications (IEEE Cat. No.03EX687)\",\"volume\":\"39 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2003-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE/Siberian Conference on Control and Communications (IEEE Cat. No.03EX687)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SIBCON.2003.1335712\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE/Siberian Conference on Control and Communications (IEEE Cat. No.03EX687)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SIBCON.2003.1335712","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文考虑了互操作性测试套件的派生问题。我们描述了不同供应商的协议实现的组合是否可以一起工作而不会陷入活锁或死锁。然后，测试套件检查组件实现的组合。

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

查看原文本刊更多论文

FSM based interoperability testing of communication protocols

The paper considers the derivation of interoperability test suites. We describe whether the composition of the protocol implementations of different vendors can work together without falling into livelock or deadlock. Then a test suite checks the composition of the component implementations.

求助全文

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

来源期刊

IEEE/Siberian Conference on Control and Communications (IEEE Cat. No.03EX687)

自引率

0.00%

发文量