摘要:基于可编辑EFSM的敏捷协议一致性自动测试平台AutoPCT

IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS) Pub Date : 2020-07-01 DOI:10.1109/infocomwkshps50562.2020.9162718

Z. Tang, Sudan Li, Peng Xun, Chengsong Wang, Wenping Deng, Baosheng Wang

{"title":"摘要:基于可编辑EFSM的敏捷协议一致性自动测试平台AutoPCT","authors":"Z. Tang, Sudan Li, Peng Xun, Chengsong Wang, Wenping Deng, Baosheng Wang","doi":"10.1109/infocomwkshps50562.2020.9162718","DOIUrl":null,"url":null,"abstract":"Currently, the biggest barrier to adopt the model-based test (MBT) is modeling itself. To simplify the protocol modeling process, an agile protocol conformance automatic test platform (AutoPCT) is proposed in this paper. With our platform, the protocol test state machine can be easily designed and modified in graphical mode, and the conformance test scripts can be automatically generated and executed through integrating enhanced formal modeling tool EFM and TTCN-3 test tool Titan. Meanwhile, editable EFSM (Enhanced Finite State Machine) user interface and flexible input/output packet structure design tool are introduced in our platform to improve the development efficiency of protocol conformance test. Finally, the effectiveness of our proposed platform is analyzed through practical protocol test cases.","PeriodicalId":104136,"journal":{"name":"IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Demo Abstract: AutoPCT: An Agile Protocol Conformance Automatic Test Platform Based on Editable EFSM\",\"authors\":\"Z. Tang, Sudan Li, Peng Xun, Chengsong Wang, Wenping Deng, Baosheng Wang\",\"doi\":\"10.1109/infocomwkshps50562.2020.9162718\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Currently, the biggest barrier to adopt the model-based test (MBT) is modeling itself. To simplify the protocol modeling process, an agile protocol conformance automatic test platform (AutoPCT) is proposed in this paper. With our platform, the protocol test state machine can be easily designed and modified in graphical mode, and the conformance test scripts can be automatically generated and executed through integrating enhanced formal modeling tool EFM and TTCN-3 test tool Titan. Meanwhile, editable EFSM (Enhanced Finite State Machine) user interface and flexible input/output packet structure design tool are introduced in our platform to improve the development efficiency of protocol conformance test. Finally, the effectiveness of our proposed platform is analyzed through practical protocol test cases.\",\"PeriodicalId\":104136,\"journal\":{\"name\":\"IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)\",\"volume\":\"46 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2020-07-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/infocomwkshps50562.2020.9162718\",\"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 INFOCOM 2020 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/infocomwkshps50562.2020.9162718","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

目前，采用基于模型的测试(MBT)的最大障碍是建模本身。为了简化协议建模过程，本文提出了一种敏捷协议一致性自动测试平台(AutoPCT)。通过集成增强的形式化建模工具EFM和TTCN-3测试工具Titan，可以方便地以图形方式设计和修改协议测试状态机，并自动生成和执行一致性测试脚本。同时，引入了可编辑的EFSM (Enhanced Finite State Machine，增强有限状态机)用户界面和灵活的输入/输出包结构设计工具，提高了协议一致性测试的开发效率。最后，通过实际协议测试用例对平台的有效性进行了分析。

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

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Demo Abstract: AutoPCT: An Agile Protocol Conformance Automatic Test Platform Based on Editable EFSM

Currently, the biggest barrier to adopt the model-based test (MBT) is modeling itself. To simplify the protocol modeling process, an agile protocol conformance automatic test platform (AutoPCT) is proposed in this paper. With our platform, the protocol test state machine can be easily designed and modified in graphical mode, and the conformance test scripts can be automatically generated and executed through integrating enhanced formal modeling tool EFM and TTCN-3 test tool Titan. Meanwhile, editable EFSM (Enhanced Finite State Machine) user interface and flexible input/output packet structure design tool are introduced in our platform to improve the development efficiency of protocol conformance test. Finally, the effectiveness of our proposed platform is analyzed through practical protocol test cases.

求助全文

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

来源期刊

IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)

自引率

0.00%

发文量