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
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
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...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com