一种基于有向图的服务运行正确性验证方法

摘要

本发明公开了一种基于有向图的服务运行正确性验证方法，利用服务在正确运行时产生的日志信息，对日志信息进行处理，再根据处理过的日志挖掘出过程模型，以该模型作为标准，根据服务实际运行的日志与过程模型的吻合度，验证程序实际运行过程的正确性。服务运行的日志是通过字节码插桩技术得到的，日志记录了程序中各方法执行时的信息，包括方法名、类名、包名、时间戳、url等等，通过时间戳可以判定方法的执行次序，从而得到方法执行的序列，以此作为算法的输入，得到过程模型。用同样的方法可以得到程序实际运行的方法执行序列，与过程模型进行匹配，可以检测出程序实际运行过程中的错误。