Eureka AIR delivers breakthrough ideas for toughest innovation challenges, trusted by R&D personnel around the world.

Multi-model-based C language program code specification construction method

A program code and model technology, applied in the field of C language program code specification description based on multi-model, can solve the problems of less than formal language, difficult to understand, poor ease of use, etc., to achieve the effect of simple design and easy implementation

Active Publication Date: 2018-04-20
TSINGHUA UNIV +1
View PDF10 Cites 16 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
  • Multi-model-based C language program code specification construction method
  • Multi-model-based C language program code specification construction method
  • Multi-model-based C language program code specification construction method

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

Firstly abstracted packaging of five code feature definition models is carried out for source codes, and fusion of the five code feature definition models is realized through attribute association among program elements, so that a fused multi-dimensional code query feature definition model is provided for a user. By use of a text query language PRDL, while semanteme of the PRDL is analyzed and grammar actions are executed, corresponding analysis and check for the source codes of a target program are realized. By use of a method, a user can efficiently and quickly perform formalized definitionon coding specifications and rules and perform self-check on the codes, so that the technical effects of improving the code integration quality and improving the programming efficiency are achieved.

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
IPC IPC(8): G06F8/41G06F11/36
CPCG06F8/42G06F8/436G06F11/3608
Inventor 周旻顾明孙家广徐宝新
Owner TSINGHUA UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Eureka Blog
Learn More
PatSnap group products