Design And Implementation Of The Generator Of REST Interface Implementation Conformance Statement Proformas

Implementation conformance statement(ICS)of interface is the main basis for determining the content of interface implementation conformance test and an important reference for the test process.ICS proforma directly reflects all the details of declaration and test required for interface implementation,and is the carrier of ICS.There is no unified guiding standard for the popular network management interface technology based on Representational state transfer(REST),and relevant standards are being formulated by the International Organization for Standardization.In addition,there is also a lack of relevant standards for REST interface implementation conformance testing.The quality of REST interface implementation system varies,which puts forward practical requirements for the REST interface implementation conformance test,and requires clear guidance methods and test support tools.In this paper,we designed and implemented the generator of REST interface implementation conformance statement(RIICS),and the automatically generated RIICS proforma will provide an important reference for the REST interface implementation conformance test.Firstly,based on the OpenAPI Specification(OAS),this paper summarizes parsing rules of OAS implemented by JavaScript Object Notation(JSON)language,which can guide ANTLR tools to parse REST interface definition files made up by JSON language conforming to OAS and construct OAS parsing tree.Secondly,this paper filters OAS syntax elements from the perspective of interface conformance testing requirements,puts forward the composition and format of RIICS proforma according to the selected OAS syntax elements,and makes a formal definition of RIICS proforma by using Backus-Naur form(BNF).Thirdly,this paper formally defines the mapping rules from OAS parse tree to RIICS proforma data.The mapping process from OAS parse tree to RIICS proforma data can be divided into static mapping process and dynamic mapping process.The dynamic mapping process can be furtherly divided into node data expansion process and support table attribute value construction process.In this paper,BNF is used to formally define the mapping rules of the above mapping process.The above research results can provide theoretical support and practical guidance for the design and implementation of RIICS proforma generator.At last,this paper completes the design,implementation and functional verification of RIICS proforma generator.To sum up,this paper innovatively puts forward the formal definition of RIICS proforma and the formal definition of mapping rules from OAS parse tree to RIICS proforma data.In this paper,a RIICS proforma generator is designed and implemented,which can parse the REST interface definition made up by JSON language conforming to the OpenAPI specification,and automatically generate RIICS proforma,thus avoiding interface testers spending much time on tedious work of writing and proofreading RIICS proformas,effectively improving the correctness and generation efficiency of RIICS proforma,and providing necessary supporting means for promoting the REST interface implementation conformance test.