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

2013年8月 中央民族大学学报(自然科学版) Aug．，2013 Joumalof Sciences 第22卷第3期 MUC(NatumlEdition) V01．22No．3 通信协议测试的形式化技术 段之宓 (中国电子科技集团公司第十研究所，四川成都6l0036) 摘 要： 自然语言协议的自动形式化是通信协议自动测试的前提，从而也是数据链协议自动测试的重要研 究方向。此问题出现已久，但尚无可靠解决方案。隐词形理论和格语法是排岐能力很强的自然语言处理方 法。运用此套方法。通过分析协议文本，确定隐词形特征，可编写出隐词形词典、隐词形语法规则以及自动机 生成规则。根据这些词典、规则，可生成自然语言协议文本对应的自动机。本方案有助于解决自然语言协议 文本自动形式化，实现通信协议测试的全面自动化。 关键词：通信协议；数据链；一致性测试；自然语言处理；协议形式化；隐词形理论；格语法 中图分类号：0632文献标识码：A 文章编号：1005．8036(2叭2)03m047．09 引 言 IPv6协议、3G协议、数据链协议等通信协议正日益运用到社会的各领域．其中，数据链是未来信息 化战争的核心技术之一．协议测试是保证各通信系统正常工作的重要手段．一致性测试是协议测试的 基础． 集规定了一致性测试的内容和步骤，决定着测试的质量．抽象测试集一般用1vrCN来描述．抽象测试集 的生成有手工和自动两种方法．手工生成抽象测试集代价昂，耗时长，质量不稳定．而且随着协议复杂 度的增加，这些问题会越发明显．因此，对复杂协议进行抽象测试集自动生成是十分必要的．纵观这些 年的研究，抽象测试集的自动生成一般是基于协议的形式化描述的，即是先将协议用某种形式化方式描 述，再根据此描述自动或半自动生成相应的TTCN测试套．在此自动生成过程中，需要解决下述问题： (1)形式化方式的选择；(2)将自然语言描述的协议进行自动形式化；(3)根据形式化的协议生成抽象测 试集．目前，其中第(1)、(3)项已有不少研究成果H“。，有的成果已形成了国际标准．而第(2)项，出现 时间虽已不短，但尚无可靠解决方案．其瓶颈在于，解决此问题有赖于自然语言理解研究的进展，而目 前这方面的研究水平还不足以对各种自然语言，在各方面，各层次全面实现机器自动理解H。1，其核心 问题是不能完全解决自然语言理解的排岐问题． 不过，在一定范围内，特定条件下，排岐问题是可以解决的．这便是本文将论述的：(1)使用受限自 收稿日期：2013_06-02 作者简介：段之宓(1974一)，男(汉族)，四川宜宾人，中国电子科技集团公司第十研究所工程师，硕士，研究方向：自 然语言处理和软件测试． 万方数据 中央民族大学学报(自然科学版) 第22卷 然语言，明确提出一套半结构化的文本规范，将文本纳入范围有限的规范化的自然语言受限子集之中． (2)采用目前排歧能力最强的“基于隐词形理论的格语法”置8。，突破以词为最小构句成分的限制，以隐 词形为构句基础单元，即将词语按语法、语义、语用划分成无歧义的最小等价类子集——隐词形的集合， 并用以制定语法规则…，以便于从根源上消解歧义，突破瓶颈． 1 自然语言处理 自然语言理解是自然语言处理的重要方面．自然语言理解主要包括下述部分：形态学分析、词法兼 类排岐、句法结构分析、语义分析、语言理解的形式表达．通信协议测试中的协议形式化描述模型有：有 广泛，本文采用其为语言理解的形式表达方式．根据有歧义自然语言文本生成自然语言理解的最终结 果——无歧义的形式化方式表示的信息，其核心问题是排除自然语言文本的歧义．鉴于隐词形论和格 语法结合使用在兼类、多义、句法结构排岐方面的强大能力。5‘8|，本文对通信协议文本进行的自然语言 理解采用隐词形论和格语法． 1．1通信协议