| With the rapid development of the Internet,the business needs of Internet applications are constantly changing and updated.The bottleneck of a single application is gradually revealed,and the advantages of microservice architecture begin to emerge.A microservice architecture system is composed of many sub-service items,which has advantages including low coupling,independent development environments,independent deployment environments and a high scalability.The correctness of the running of each service item determines whether the system can effectively respond to requests and generate value.With the expansion of businesses,large-scale microservice architecture systems can often split thousands of sub-service items,which will inevitably produce complex link calls,and link combing is very difficult.The service has characteristics including long-term online running,frequent changes and evolutions as well as dynamic complex interaction,which bring difficulties to the real-time running monitoring,timely verification and fault location of the service running process,meanwhile increasing the complexity of correctness verification of service running.The problems existing in the current microservice architecture are mainly analyzed in this paper,and a service running correctness verification technology is put forward based on process mining.The main work of this paper is as follows:(1)It is aimed at the verification of the running correctness of microservice systems,and a verification method based on process mining is proposed,which mainly includes the discovery of service running process and the verification of service running fault location as well as service running correctness.It can be used to monitor the running of microservice systems online and two kinds of common faults can be located: call failure and call out of order.The consistency analysis technology is used to verify the correctness of service running,and the quantitative results of service efficiency,service security as well as service simplicity are obtained.(2)Based on the service running correctness verification method in this paper,the verification system of service running correctness SCV(service correctness verification system)is designed and implemented,which can support the functions of service log management,model mining,fault location and index calculation.(3)Aiming at the methods and tools of fault location and correctness verification in this paper,eight open-source microservice projects are used as the detection targets,and a SCV system is used for fault location and correctness verification.The fault location ability and the accuracy of verification results are tested,meanwhile the impact of different log conditions on system performance is analyzed.The experimental results show that the fault location technology in this paper can be used to locate more than 85% of the faults,which also has practical performance indicators in the large-scale implementation process.The correctness verification results can correctly reflect the status of the service system as well as the relative level of indexes including service safety,service efficiency and service simplicity,which can also be effectively used to judge the relative severity of fault degree,execution efficiency and redundancy in different service operation processes. |