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

Efficiency control method and device in formal code generation

A code generation and control method technology, applied in the field of efficiency control in formal code generation, can solve problems such as lack of efficiency control mechanism and reduced system security, so as to reduce hidden dangers related to production safety, improve safety, and reduce omissions the effect of the possibility

Active Publication Date: 2016-08-24
AGRICULTURAL BANK OF CHINA
View PDF4 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0007] In view of this, the main purpose of the present invention is to provide an efficiency control method and device in formal code generation to solve the problem in the prior art that there is no efficiency control mechanism in the formal code generation process, which may lead to a decrease in system security

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
  • Efficiency control method and device in formal code generation
  • Efficiency control method and device in formal code generation
  • Efficiency control method and device in formal code generation

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0070] In order to make the above objects, features and advantages of the present invention more comprehensible, the embodiments of the present invention will be further described in detail below in conjunction with the accompanying drawings and specific implementation methods.

[0071] The efficiency control method and device in the formal code generation of the present invention is aimed at the problem of lack of efficiency control mechanism in the formal code generation process existing in the prior art, and proposes not only to check the syntax of the formal code input by the user, but also to Receive efficiency control rules to establish an efficiency control rule database, use input filtering rules, input process control rules and output prediction rules to control the efficiency of formal codes input by users and their execution results, so as to control the execution of codes under the same computing power Response time, to achieve the purpose of efficiency control, to ...

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 discloses a method and a device for efficiency control in a formalized code generation. The method comprises the following steps: receiving efficiency control rules, wherein the efficiency control rules comprise an input filtering rule, an input process control rule and an output anticipating rule, receiving the formalized code inputted by the receiving user, analyzing the code, generating an analyzing result, judging whether the code fits the input filtering rule or the input process control rule or not, judging whether the code passes the grammar check or not according to the analyzing result, preserving the code if the code fits the input filtering rule or the input process control rule and passes the grammar check, prompting mistake if the code cannot fit the input filtering rule or the input process control rule, or cannot pass the grammar check, calculating execution result set when the execution instruction is received after the preservation, judging whether the execution result set fits the output anticipating rule or not, continuing executing if the execution result set fits the output anticipating rule, and prompting mistake if the execution result set cannot fit the output anticipating rule.

Description

technical field [0001] The invention relates to the field of computer technology, in particular to an efficiency control method and device in formalized code generation. Background technique [0002] Today, with the rapid development of information technology, formal codes are widely used in mathematics, computer science, artificial intelligence and other fields. Formal code is a code combined by certain style rules, which can realize various semantic logic and related operations. All kinds of programming languages, all kinds of database languages, extensible markup languages ​​and special codes in specific fields are all formal codes. In the prior art, there are various types of software development products, database programming products, and commercial software systems specially developed to solve certain industry problems, such as Microsoft's Visual Studio series integrated development environment, and formal code generation of database specification languages. Tools M...

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): G06F9/45
Inventor 孔亮廖方平王皓瑜刘鹏飞张延堂齐诚民罗茜曹轶杨骥东孙令武张敬孙伟程勇杜腾飞
Owner AGRICULTURAL BANK OF CHINA
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