| 通信协议测试的形式化技术 |
| |
| 引用本文： | 段之宓.通信协议测试的形式化技术[J].中央民族大学学报(自然科学版),2013,22(3). |
| |
| 作者姓名： | 段之宓 |
| |
| 作者单位： | 中国电子科技集团公司第十研究所,四川成都,610036 |
| |
| 摘 要： | 自然语言协议的自动形式化是通信协议自动测试的前提,从而也是数据链协议自动测试的重要研究方向.此问题出现已久,但尚无可靠解决方案.隐词形理论和格语法是排岐能力很强的自然语言处理方法.运用此套方法.通过分析协议文本,确定隐词形特征,可编写出隐词形词典、隐词形语法规则以及自动机生成规则.根据这些词典、规则,可生成自然语言协议文本对应的自动机.本方案有助于解决自然语言协议文本自动形式化,实现通信协议测试的全面自动化.
|
| 关 键 词： | 通信协议 数据链 一致性测试 自然语言处理 协议形式化 隐词形理论 格语法 |
Formalization Technique for Communication Protocol Automatic Testing |
| |
| DUAN Zhi-mi.Formalization Technique for Communication Protocol Automatic Testing[J].Journal of The Central University for Nationalities(Natural Sciences Edition),2013,22(3). |
| |
| Authors: | DUAN Zhi-mi |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
