Unlock instant, AI-driven research and patent intelligence for your innovation.

C language program code specification construction method based on multiple models

A program code and model technology, applied in the field of C language program code specification description based on multiple models, can solve the problems of being inferior to formal language, difficult to understand, unable to check coding specification rules, etc., and achieve the effect of easy implementation and simple design

Active Publication Date: 2021-01-26
TSINGHUA UNIV +1
View PDF10 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

In terms of user experience, the way of configuring check items and programming implementation has high requirements for users in use, and is not suitable for describing rules in batches, and is not as easy to accept as formal language
Existing formal languages, such as RuleWizard provided by C++test, have strong versatility and have defined multiple coding standard sets, but the logical structure of the coding standard rules described by it is relatively complicated and difficult to understand. Underperforms on usability
In addition, some coding standard checking tools cannot check coding standard rules related to control flow and data flow

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • C language program code specification construction method based on multiple models
  • C language program code specification construction method based on multiple models
  • C language program code specification construction method based on multiple models

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0079]The present embodiment carries out formal definition for selecting the automotive software C programming specification MISRA-C and the national military standard GJB-5369 programming standard subset released by the Automobile Industry Software Reliability Association, wherein the MISRA-C specification set includes the environment for the C language 141 encoding specification rules in 21 categories including , character set, identifier, type, constant, declaration and definition. The GJB-5369 specification set includes a total of 137 coding specification rules in 15 categories such as declaration definition, layout writing, branch control, and pointer use of C language programs. In the experiment, each coding specification rule is defined separately using the invented method.

[0080] The formal construction method of the program code specification based on multiple models in this embodiment includes the following steps:

[0081] 1) For program source code analysis, five...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The present invention first carries out the abstract encapsulation of five code feature definition models for the source code, and realizes the fusion of these five code feature definition models through the attribute association between program elements, providing users with a fusion of multi-dimensional code query Features define the model. Using the text-based query language PRDL, while parsing the semantics of PRDL and executing its grammatical actions, the corresponding analysis and inspection of the source code of the target program is realized. By using the invention, the user can formally define the code specification rules efficiently and quickly, and independently check the code, so as to achieve the technical effects of improving code integration quality and programming efficiency.

Description

technical field [0001] The invention belongs to the field of program analysis, in particular to the specification description of C language program code based on multiple models. Background technique [0002] With the increasing complexity of software systems, the powerful functions of programming languages ​​​​provide programmers with programming freedom, but also introduce troubles. The development of software systems is generally completed by teamwork. Different people have different programming habits and styles, and the neglect of norms increases security risks during code integration and maintenance. [0003] In today's software development process, people are increasingly aware of the importance of standardized coding, especially in areas with high safety requirements, such as the aerospace and automotive industries, and the C programming specification set MISRA has been formulated for coding specification issues. -C and aerospace model software C language safety sub...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Patents(China)
IPC IPC(8): G06F8/41G06F11/36
CPCG06F8/42G06F8/436G06F11/3608
Inventor 周旻顾明孙家广徐宝新
Owner TSINGHUA UNIV
Features
  • R&D
  • Intellectual Property
  • Life Sciences
  • Materials
  • Tech Scout
Why Patsnap Eureka
  • Unparalleled Data Quality
  • Higher Quality Content
  • 60% Fewer Hallucinations
Social media
Patsnap Eureka Blog
Learn More

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2025 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com