Research On Parallel Program Debugging Technology For Airworthiness Verification

The continuous development of the aviation industry and computer technology has made the airborne software diversified and complicated,and the software scale has gradually increased and developed in parallel.The design of the parallel program improves the efficiency of the software,and because of the uncertainty of its own scheduling,it brings some potential exceptions that are difficult to detect and debug.The potential exceptions are difficult to be verified and repaired by the current debugging method,resulting in software debugging problems.Increasingly prominent,this has brought great challenges to the guarantee of software quality,and it is difficult to meet the security and reliability requirements of software airworthiness.Based on the research and analysis of parallel program debugging and anomaly detection at home and abroad,the parallel-oriented C language program is researched to realize the process re-rendering of parallel programs,variable dynamic tracking and positioning and anomaly detection and positioning.Firstly,based on the source code instrumentation technology,the design of the instrumentation information template library is used to obtain the real-time execution information of the program running and the detection and judgment of the abnormality.Next,the variables in the parallel program are taken as the research object,combined with the variable dependency.And the variable instrumentation template proposed a variable dynamic tracking and positioning technology for lightweight instrumentation,which realizes the dynamic tracking of variables.At the same time,it studies the real-time detection technology of conventional anomalies related to variables.Secondly,in order to achieve parallelism Reproducible debugging of the program,a parallel program deterministic replay technology based on runtime lightweight hybrid monitoring is proposed,and a parallel exception detection method is proposed.Finally,based on the Eclipse plug-in development mechanism,the visualized airborne parallel program airworthiness verification tool is designed and implemented.The tool can verify the dynamic tracking and location of the variable and the detection and location of the abnormality.The test-based comparison verifies the runtime based on the proposed method.The correctness of the parallel program deterministic reproduction technique for lightweight hybrid monitoring,which can reduce spatiotemporal overhead during the recording phase and achieve deterministic replay in the playback phase.