Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Method and device for verifying software source code

A software source and source code technology, applied in the computer field, can solve problems such as failure to find software source code errors

Active Publication Date: 2020-10-23
BEIHANG UNIV
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] The present invention provides a software source code verification method and device to solve the problem that in the prior art, when there is an error in the software source code, and when the result of the executable code line of the software source code is consistent with the expected result, it is impossible to find the error in the software source code. the wrong question

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
  • Method and device for verifying software source code
  • Method and device for verifying software source code
  • Method and device for verifying software source code

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0049] In order to make the purpose, technical solutions and advantages of the embodiments of the present invention clearer, the technical solutions in the embodiments of the present invention will be clearly and completely described below in conjunction with the drawings in the embodiments of the present invention. Obviously, the described embodiments It is a part of embodiments of the present invention, but not all embodiments. Based on the embodiments of the present invention, all other embodiments obtained by persons of ordinary skill in the art without making creative efforts belong to the protection scope of the present invention.

[0050] Such as figure 1 As shown, it is a schematic flowchart of a method for verifying software source code shown in an exemplary embodiment, including:

[0051]Step 101: Divide the software source code into grammatical units according to the grammatical rules of the programming language to obtain at least one grammatical unit.

[0052] Wh...

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 invention provides a software source code verification method and apparatus. The method comprises the steps of performing grammar unit division on a software source code according to a grammar rule of a programming language to obtain at least one grammar unit; based on a preset push-down automaton, performing identification on each grammar unit; after the identification is passed, compiling the grammar units into target code segments; according to a preset special axiom set, obtaining first denotational semantics corresponding to the grammar units, and obtaining second denotational semantics corresponding to the target code segments; judging whether the first denotational semantics and the second denotational semantics are consistent or not; and if the first denotational semantics and the second denotational semantics are inconsistent, determining that the software source code has an error. According to the method and the apparatus, the problem that the error in the software source code cannot be discovered when the software source code has the error and a running result of an executable code of the software source code is consistent with an expected result in the prior art is solved.

Description

technical field [0001] The invention relates to the field of computer technology, in particular to a method and device for verifying software source codes. Background technique [0002] The compiler is one of the important system software of the computer system. All software source codes written in high-level languages ​​must be compiled by the compiler to generate executable code that the computer can recognize. Therefore, ensuring the accuracy of the compiler compilation process is important for the entire computer system is critical. [0003] At present, the main means of verifying the accuracy of software source code in the existing technology is: the compiler compiles a large amount of software source code, generates executable code, and then runs the generated executable code to verify whether the actual running result is consistent with the expected result. Source Code Accuracy. However, this method of checking the accuracy of the software source code cannot guarant...

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/41
CPCG06F8/425G06F8/436
Inventor 马殿富谭宇赵永望陈志伟刘克瑞
Owner BEIHANG UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

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