Research On Microservice Testing Oracle Technology Based On One-line Algebraic Specification

With the wide application of microservice architecture,the quality of microservice has received more and more concerns.Software testing technology based on the specifications is an effective way to ensure service quality.As a formal specifications independent to implementation details,algebraic specifications give a good solution to the test oracle problem by constructing axiom equations.However,the complex dependencies of microservices and the dynamics of response results bring some challenges to the test oracle.In this paper,we propose a microservice test oracle technology based on the monic algebraic specifications,and construct axioms based on the metamorphic relationship by the atomic pattern and the composite pattern to generate service test oracle,which effectively solves the problems caused by the complex dependencies of microservices.During the execution process of the monic test sequence,the service adaptive scheduling strategy and ordered tree comparison mechanism are added to deal with the problems caused by the dynamic response of the service.This thesis mainly includes the following three aspects:1.In order to describe the characteristics of microservices under test more accurately,we analyze the relationship of microservice response results and apply the metamorphic testing technology to obtain five atomic patterns and combination patterns.These five atomic patterns include equality,same,subset,union and intersection.We propose the steps of constructing the test oracle based on the patterns of metamorphic relationship.2.To promote the success rate of monic test sequence execution and solve the problem that microservice response data are difficult to compare,we propose a framework for microservice test oracle execution.The framework includes three steps as follows: first convert the monic test sequence into servie operation sequence,then add adaptive scheduling strategy for coping with complex network,finally bulid ordered tree of Json to compare service response results.3.Based on the existing algebraic specifications service test platform,we design and implement a microservice test platform.Two case studies on array service and online medical system are reported with thecomparison with existing technologies.Experimental results show that ourproposed technology can promote the success rate and efficiency of test sequence execution,find more bugs in the microservice system,and improve the software quality of the microservice system.