接口的实现一致性声明（Implementation Conformance Statement,ICS）是确定接口实现一致性测试内容的主要依据和测试过程的重要参考。ICS文稿直接体现了接口实现需要进行声明和测试的全部细节,是ICS的载体。对于目前流行的基于REST（REpresentational State Transfer,REST）技术的网络管理接口技术而言,并没有统一的指导性规范,国际标准化组织中正在制定相关规范,此外也缺乏针对REST接口实现一致性测试的相关标准。REST接口实现系统的质量良莠不齐,这就对REST接口实现的一致性测试提出了实际的要求,需要有明确的指导方法和测试支撑工具。本文设计并实现了 REST接 口实现一致性声明（REST Interface Implementation Conformance Statement,RIICS）文稿的生成器,其自动生成的RIICS文稿将为REST接口实现一致性测试提供重要的参考依据。首先,本文以 OpenAPI 规范（OpenAPI Specification,OAS）为研究基础,总结出了 JavaScript 对象标记（JavaScript Object Notation,JSON）语言的OAS语法分析规则,该语法分析规则可指导ANTLR工具对遵循OAS的JSON语言REST接口定义文件进行语法分析,并构造出OAS语法分析树;其次,本文从接口实现一致性测试需求的角度对OAS语法元素进行了筛选,根据择取出的OAS语法元素提出了 RIICS文稿的组成和格式,并且利用巴科斯范式（Backus-Naur Form,BNF）对RIICS文稿做出了形式化定义;然后,本文对OAS语法分析树到RIICS文稿数据的映射规则进行了形式化定义。由OAS语法分析树到RIICS文稿数据的映射过程可分为静态映射过程和动态映射过程,其中动态映射过程可进一步分为结点数据展开过程和支持表属性值构造过程。本文利用BNF对上述映射过程的映射规则分别进行了形式化定义。上述研究成果可为RIICS文稿生成器的设计与实现提供理论支撑和实践指导。最后,本文完成了 RIICS文稿生成器的设计、实现与功能验证。综上所述,本文创新性地提出了 RIICS文稿的形式化定义,以及从OAS语法分析树到RIICS文稿数据的映射规则的形式化定义。本文设计并实现了 RIICS文稿生成器,该生成器能够解析遵循OpenAPI规范的JSON语言REST接口定义,并自动生成RIICS文稿,从而使接口测试人员免于繁琐的RIICS文稿编写、校对工作,有效提高RIICS文稿内容的正确性和生成效率,为推进REST接口实现的一致性测试提供了必要的支撑手段。