A Parallel Runtime Verification Method Based on Path Slices
LI Jiajie
CHEN Zhe
Abstract：Runtime verification is a technique to verify the correctness of program behavior during program operation,which has been applied to many fields.The monitor statute is used to describe properties in the runtime validation,and multiple properties can be defined in the monitor statute.However,existing runtime validation technologies have performance drawbacks.When multi-ple properties are defined in the monitor statute,existing technologies can only verify multiple properties in a serial manner,result-ing in poor runtime performance of the program and thus limiting the utility of runtime validation.Therefore,in order to improve the efficiency of runtime verification,a parallel runtime verification method based on path slices is proposed,and the existing tool MOVEC is extended to implement the above parallel runtime verification method.Moreover,experiments are also compared on the test set Mibench with MOVEC under the serial mechanism.The experimental results show that the parallel run-time verification method based on the path slice can realize the effective parallel verification of the C language program,and the performance can be improved by about 70%,achieving the purpose of making more use of computing resources and verifying the correctness of the pro-gram faster.
Keywords：runtime verificationmonitor specificationparallelpath sliceshierarchical hash table forest
Publication Date：2025-12-20
Online Publishing Date：2026-03-09(First online date of this platform, not the publication date of the document)
Pages：7( 3470-3476 )