通信协议测试的形式化技术

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

摘要：自然语言协议的自动形式化是通信协议自动测试的前提，从而也是数据链协议自动测试的重要研究方向。此问题出现已久，但尚无可靠解决方案。隐词形理论和格语法是排岐能力很强的自然语言处理方法。运用此套方法。通过分析协议文本，确定隐词形特征，可编写出隐词形词典、隐词形语法规则以及自动机生成规则。根据这些词典、规则，可生成自然语言协议文本对应的自动机。本方案有助于解决自然语言协议文本自动形式化，实现通信协议测试的全面自动化。

原文链接:http://www.cqvip.com//QK/86800X/201303/46866267.html

送人玫瑰，手留余香~如您已下载到该资源，可在回帖当中上传与大家共享，欢迎来CDA社区交流学习。（仅供学术交流用。）

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：形式化 cqvip 自然语言 语言协议 学术交流 通信协议 数据链 一致性测试 自然语言处理 协议形式化