Static detection method on basis of embedded software and system thereof

Abstract

The invention provides a static detection method on the basis of embedded software. The method overcomes the defects in an existing static detection technology and is used for carrying out static detection by combining control flow information, data stream information and path alias information. The method adopts a detection executing end module and a client module. A client provides support for editing a graphical rule file, a tester can execute static detection on a source file after completing the work of editing a source file, and the client sends a command to notify a detection execution end to start static detection; the detection execution end receives the detection starting command sent by the client, analyzes the structure of the source file, calls a rule analysis module to analyze the rule file, generates a matching result after processing, carries out packaging by a matching result packaging module and sends a detection result generated by packaging to the client for analysis and display; and the client carries out analysis and mapping on the detection result and the client is updated according to the detection result, so that a developer can visually view the static detection result and visually view the rule breaking condition.

Description

technical field [0001] The invention relates to the technical field of software detection, in particular to a static detection method and system based on embedded software. Background technique [0002] Embedded systems have been developed to the present and are widely used in automation control, military technology, industrial control, scientific research, medical research, traffic management, artificial intelligence and other system environments. In an embedded system, hardware is the core, software is the soul, and embedded software plays a key role in the overall system. How to ensure the quality, reliability, and security of embedded software while shortening the development cycle as much as possible has become a subject of much concern. Therefore, the importance of embedded software testing is increasingly prominent. [0003] In the embedded software development process, the later the errors in the code are found, the higher the maintenance cost. Therefore, finding a...

AI Technical Summary

Problems solved by technology

[0006] 1) The detection process only uses control flow information, without aggregate data flow information, and some errors cannot be detected;

[0007] 2) If the path alias is not analyzed, false positive information will be generated;

[0008] 3) The execution path that violates the rules is not located, and the detection results cannot be used by other tools

Images