The Implementation Of Analysis And Verification Platform Of C Program Base On MISRA Rules

In the software development process, observing the programming rules can not only make the code simple and consistent, reducing defects code, you can also improve the readability of the code, to facilitate teamwork development and ongoing maintenance. Similarly, embedded system also has its own characteristics, traditional software testing theory can not be directly used for embedded software testing, so the corresponding embedded software programming rules have great significance. Programming under the rules may guarantee the security of embedded programs, particularly in the field of automotive electronics and other real-time control fields. With those software like real-time software and embedded software becoming increasingly large and complex, The requirements of safety, reliability and development cycle are getting higher.This article describes a static visual testing tool working on standard C program software, this tool can count and display the basic information of program code like the macro definitions, the number of functions, control flow branches and looping structures. And it supports MISRA C-2004 standard, which means it help with checking how much the code observing the MISRA C-2004 rules, by designing the validated method for the C code under ANSI C standard.This article is mainly based on the rules in the required verification code range, test the rules of the four major categories and locate the code in the specific location and violation information in violation of the rules, simultaneous visualization display.This article validate the rules in four categories, according to the code scope the validations need, moreover locate exactly where the code is not observing the rules, and show the information in a direct way.In this paper, the feasibility of automated inspection programming rules theory has been confirmed, by designing and implementing the automatic verification tool of MISRA rules. With this tool, user can verified where the code is not observing the rules automatically, it will contribute to find the potential risk in program, improve it's correctness, normative, and thus more effectively ensure the quality of the code.