微服务组合验证方法综述  

Survey on Microservice Composition Testing

作　　者：毛昕怡 辛园园 MAO Xin-yi;XIN Yuan-yuan(Faculty of Electrical Engineering and Computer Science of Ningbo University,Ningbo 315211,China)

机构地区：[1]宁波大学信息科学与工程学院

出　　处：《无线通信技术》2019年第3期46-50,共5页Wireless Communication Technology

摘　　要：微服务架构作为一种分布式的架构,因其良好的平台兼容性、灵活的动态扩展能力、强大的容错能力等特点,在业内引起了越来越多的关注.在微服务架构中,通常单一微服务仅能实现一个简单的功能,而实现复杂的业务功能时,需将系统中各个独立的微服务进行灵活组合,以满足更为丰富的业务需求.但组合后的微服务可能存在逻辑错误或安全性等问题,因此若要保证组合后的微服务能够完成期望的业务功能,同时在运行时不会出现不期望的情况,则需对组合服务进行验证.研究微服务组合验证能够确保组合服务正常运行并且达到预期目标.本文旨在对当前微服务组合验证的相关研究进行综述,先对微服务的概念及微服务的组合进行介绍,再分别从微服务的静态验证和运行时检测两个方面,对目前微服务组合验证的研究工作进行阐述.As a distributed architecture,microservice architecture has attracted more and more attentions in the industry due to its good platform compatibility,flexible dynamic expansion ability,strong fault tolerance and other characteristics.In the microservice architecture,a single microservice can only realize a simple function,while when implementing complex business functions,various independent microservices in the system need to be flexibly combined to meet richer business requirements.The combined microservice may have logical errors or security problems.Therefore,to ensure that the combined niicroservice can implement the expected business functions,and at the same time,there will be no unexpected situation at runtime,the combined services need to be verified.Research on microservice composition validation can ensure the normal operation of composite services and achieve the expected goals.This paper aims to summarize the current research on niicroservice combination validation.Firstly,the concept of microservice and the comb in ation of microservice are introduced,and then the research work on microservice combination validation is elaborated from the two aspects of microservice static validation and run-time detection respectively.

关 键 词：微服务 微服务组合 形式化验证方法 运行时检测 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]