CN109800174A - A kind of the emulation inspection method and device of block chain intelligence contract - Google Patents
A kind of the emulation inspection method and device of block chain intelligence contract Download PDFInfo
- Publication number
- CN109800174A CN109800174A CN201910096086.5A CN201910096086A CN109800174A CN 109800174 A CN109800174 A CN 109800174A CN 201910096086 A CN201910096086 A CN 201910096086A CN 109800174 A CN109800174 A CN 109800174A
- Authority
- CN
- China
- Prior art keywords
- inspection
- rule
- checked
- contract
- intelligent contract
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Abstract
The present invention provides the emulation inspection method and device of a kind of block chain intelligence contract, this method, comprising: pre-establishes the inspection environment of block chain intelligence contract;Intelligent contract load entrance is set in the inspection environment and checks that rule is loaded into mouth;Mouth load check rule into the inspection environment is loaded by the inspection rule;Entrance is loaded by the intelligent contract, and intelligent contract to be checked is loaded into the inspection environment;It checks that rule and the intelligent contract to be checked carry out simulation run according to described in the inspection environment, the intelligent contract to be checked is checked using the inspection rule.The present invention provides the emulation inspection methods and device of a kind of block chain intelligence contract, can more efficiently carry out the inspection of intelligent contract.
Description
Technical field
The present invention relates to block chain technical field, in particular to a kind of the emulation inspection method and dress of block chain intelligence contract
It sets.
Background technique
Intelligent contract is an important link of block chain technology, in order to enable intelligent contract can be in block chain efficiently
Operation, needs to check intelligent contract before using intelligent contract.In the prior art, to the inspection master of intelligent contract
If carrying out by artificial mode, check that efficiency is lower.
Summary of the invention
The embodiment of the invention provides the emulation inspection methods and device of a kind of block chain intelligence contract, can more efficiently
The intelligent contract of progress inspection.
On the one hand, the embodiment of the invention provides a kind of emulation inspection methods of block chain intelligence contract, comprising:
Pre-establish the inspection environment of block chain intelligence contract;
Intelligent contract load entrance is set in the inspection environment and checks that rule is loaded into mouth;
Mouth load check rule into the inspection environment is loaded by the inspection rule;
Entrance is loaded by the intelligent contract, and intelligent contract to be checked is loaded into the inspection environment;
Check that rule and the intelligent contract to be checked carry out simulation run, benefit according to described in the inspection environment
The intelligent contract to be checked is checked with the inspection rule.
Preferably,
This method further comprises:
According to the grammar request of block chain intelligence contract, generative grammar checks rule;
It is described that mouth load check rule into the inspection environment is loaded by the inspection rule, comprising:
Mouth is loaded into the rule of syntax check described in the inspection environment by the inspection rule;
It is described that emulation fortune is carried out according to the inspection rule and the intelligent contract to be checked in the inspection environment
Row checks the intelligent contract to be checked using the inspection rule, comprising:
Emulation fortune is carried out according to the syntax check rule and the intelligent contract to be checked in the inspection environment
Row judges the grammar request of the whether intelligent contract of the intelligent contract to be checked using the syntax check rule.
Preferably,
This method further comprises:
It is provided according to the quantization for block chain intelligence contract, generates quantization check gauge then;
It is described that mouth load check rule into the inspection environment is loaded by the inspection rule, comprising:
Mouth is loaded by the inspection rule, and the quantization inspection rule is loaded into the inspection environment;
It is described that emulation fortune is carried out according to the inspection rule and the intelligent contract to be checked in the inspection environment
Row checks the intelligent contract to be checked using the inspection rule, comprising:
Check that rule and the intelligent contract to be checked carry out emulation fortune according to the quantization in the inspection environment
Row checks rule using the quantization, judges whether the intelligent contract to be checked is directed to the quantization of block chain intelligence contract
Regulation.
Preferably,
The quantization for block chain intelligence contract provides, comprising: in the state's laws of block chain intelligence contract
Quantify content, quantify content, for block chain intelligence contract in the industry laws of block chain intelligence contract
Quantify content in enterprise's regulation.
Preferably,
This method further comprises:
Inspection result is arranged in the inspection environment to export;
It is emulated in the inspection environment according to the inspection rule and the intelligent contract to be checked described
Operation further comprises after being checked using the inspection rule the intelligent contract to be checked:
Generate the inspection result for being directed to the intelligent contract to be checked;
The inspection result is exported from inspection result outlet.
On the other hand, the embodiment of the invention provides a kind of emulation check devices of block chain intelligence contract, comprising:
Intelligence is arranged in the inspection environment for establishing the inspection environment of block chain intelligence contract in first setting unit
Energy contract load entrance and inspection rule are loaded into mouth;
Regular loading unit is advised for being loaded into mouth load check into the inspection environment by the inspection rule
Then;
Contract loading unit, it is to be checked for being loaded by the intelligent contract load entrance into the inspection environment
Intelligent contract;
Inspection unit, in the inspection environment according to inspection rule and the intelligent contract to be checked into
Row simulation run checks the intelligent contract to be checked using the inspection rule.
Preferably,
The device further comprises:
Syntax rule generation unit, for the grammar request according to block chain intelligence contract, generative grammar checks rule;
The rule loading unit, for being loaded into mouth to grammer described in the inspection environment by the inspection rule
Check rule;
The inspection unit, in the inspection environment according to the syntax check rule and the intelligence to be checked
Energy contract carries out simulation run, using the syntax check rule, judges the whether intelligent contract of the intelligent contract to be checked
Grammar request.
Preferably,
The device further comprises:
Quantizing rule generation unit generates quantization check gauge for providing according to the quantization for block chain intelligence contract
Then;
The rule loading unit, for being loaded into described in mouth loads into the inspection environment by the inspection rule
Quantization checks rule;
The inspection unit, for checking rule and the intelligence to be checked according to the quantization in the inspection environment
Energy contract carries out simulation run, checks rule using the quantization, judges whether the intelligent contract to be checked is directed to block
The quantization of chain intelligence contract provides.
Preferably,
The quantization for block chain intelligence contract provides, comprising: in the state's laws of block chain intelligence contract
Quantify content, quantify content, for block chain intelligence contract in the industry laws of block chain intelligence contract
Quantify content in enterprise's regulation.
Preferably,
The device further comprises:
Second setting unit is exported for inspection result to be arranged in the inspection environment;
The inspection unit, for it is described in the inspection environment according to inspection rule and described to be checked
Intelligent contract carries out simulation run, after being checked using the inspection rule the intelligent contract to be checked, generates
For the inspection result of the intelligent contract to be checked, the inspection result is exported from inspection result outlet.
In embodiments of the present invention, the inspection environment for building block chain intelligence contract in advance, is arranged intelligence in inspection environment
Energy contract load entrance and inspection rule are loaded into mouth, by checking that rule is loaded into a mouthful load check rule, pass through intelligent conjunction
About load entrance loads intelligent contract to be checked, and simulation run is carried out in inspection environment, realizes by checking that rule is treated
The intelligent contract of inspection automaticly inspects, and entire checking process can be automatically performed in inspection environment, can be more efficient
Carry out the inspection of intelligent contract.
Detailed description of the invention
In order to more clearly explain the embodiment of the invention or the technical proposal in the existing technology, to embodiment or will show below
There is attached drawing needed in technical description to be briefly described, it should be apparent that, the accompanying drawings in the following description is the present invention
Some embodiments for those of ordinary skill in the art without creative efforts, can also basis
These attached drawings obtain other attached drawings.
Fig. 1 is a kind of flow chart of the emulation inspection method for block chain intelligence contract that one embodiment of the invention provides;
Fig. 2 is the flow chart of the emulation inspection method for another block chain intelligence contract that one embodiment of the invention provides;
Fig. 3 is a kind of schematic diagram of the emulation check device for block chain intelligence contract that one embodiment of the invention provides.
Specific embodiment
In order to make the object, technical scheme and advantages of the embodiment of the invention clearer, below in conjunction with the embodiment of the present invention
In attached drawing, technical scheme in the embodiment of the invention is clearly and completely described, it is clear that described embodiment is
A part of the embodiment of the present invention, instead of all the embodiments, based on the embodiments of the present invention, those of ordinary skill in the art
Every other embodiment obtained without making creative work, shall fall within the protection scope of the present invention.
As shown in Figure 1, this method can the embodiment of the invention provides a kind of emulation inspection method of block chain intelligence contract
With the following steps are included:
Step 101: pre-establishing the inspection environment of block chain intelligence contract;
Step 102: intelligent contract load entrance being set in the inspection environment and checks that rule is loaded into mouth;
Step 103: mouth load check rule into the inspection environment is loaded by the inspection rule;
Step 104: entrance being loaded by the intelligent contract and loads intelligent contract to be checked into the inspection environment;
Step 105: being imitated in the inspection environment according to the inspection rule and the intelligent contract to be checked
True operation checks the intelligent contract to be checked using the inspection rule.
In embodiments of the present invention, the inspection environment for building block chain intelligence contract in advance, is arranged intelligence in inspection environment
Energy contract load entrance and inspection rule are loaded into mouth, by checking that rule is loaded into a mouthful load check rule, pass through intelligent conjunction
About load entrance loads intelligent contract to be checked, and simulation run is carried out in inspection environment, realizes by checking that rule is treated
The intelligent contract of inspection automaticly inspects, and entire checking process can be automatically performed in inspection environment, can be more efficient
Carry out the inspection of intelligent contract.
In an embodiment of the present invention, this method further comprises:
According to the grammar request of block chain intelligence contract, generative grammar checks rule;
It is described that mouth load check rule into the inspection environment is loaded by the inspection rule, comprising:
Mouth is loaded into the rule of syntax check described in the inspection environment by the inspection rule;
It is described that emulation fortune is carried out according to the inspection rule and the intelligent contract to be checked in the inspection environment
Row checks the intelligent contract to be checked using the inspection rule, comprising:
Emulation fortune is carried out according to the syntax check rule and the intelligent contract to be checked in the inspection environment
Row judges the grammar request of the whether intelligent contract of the intelligent contract to be checked using the syntax check rule.
In embodiments of the present invention, it checks that rule can be syntax check rule, is checked by syntax check rule to be checked
The intelligent contract looked into, judges whether intelligent contract to be checked meets the grammer for writing the programming language of the intelligence contract, finds out
Syntax error therein.+
In an embodiment of the present invention, this method further comprises:
It is provided according to the quantization for block chain intelligence contract, generates quantization check gauge then;
It is described that mouth load check rule into the inspection environment is loaded by the inspection rule, comprising:
Mouth is loaded by the inspection rule, and the quantization inspection rule is loaded into the inspection environment;
It is described that emulation fortune is carried out according to the inspection rule and the intelligent contract to be checked in the inspection environment
Row checks the intelligent contract to be checked using the inspection rule, comprising:
Check that rule and the intelligent contract to be checked carry out emulation fortune according to the quantization in the inspection environment
Row checks rule using the quantization, judges whether the intelligent contract to be checked is directed to the quantization of block chain intelligence contract
Regulation.
In embodiments of the present invention, check that rule can be quantization and check rule.The amount of block chain intelligence contract will be directed to
Change regulation and be converted into quantization inspection rule, which checks that rule can quantify.Such as: block chain link involved in intelligent contract
Whether the quantity of point is within preset quantity etc..
In an embodiment of the present invention, the quantization for block chain intelligence contract provides, comprising: is directed to block chain intelligence
Quantify content in the state's laws of energy contract, quantify content, needle in the industry laws of block chain intelligence contract
Quantify content in enterprise's regulation of block chain intelligence contract.
In embodiments of the present invention, can by state's laws, industry laws and enterprise provide involved in intelligence contract can
Quantifying content transformation is quantization regulation.
In an embodiment of the present invention, this method further comprises:
Inspection result is arranged in the inspection environment to export;
It is emulated in the inspection environment according to the inspection rule and the intelligent contract to be checked described
Operation further comprises after being checked using the inspection rule the intelligent contract to be checked:
Generate the inspection result for being directed to the intelligent contract to be checked;
The inspection result is exported from inspection result outlet.
In embodiments of the present invention, setting inspection result exports, from inspection result outlet outgoing inspection as a result, the inspection
It as a result may include the information such as wrong content, errors present in.
As shown in Fig. 2, this method can the embodiment of the invention provides a kind of emulation inspection method of block chain intelligence contract
With the following steps are included:
Step 201: pre-establishing the inspection environment of block chain intelligence contract, intelligent contract load is set in inspection environment
Entrance checks that rule is loaded into mouth and inspection result outlet.
Step 202: according to the grammar request of block chain intelligence contract, generative grammar checks rule, according to for block chain
The quantization of intelligent contract provides, generates quantization check gauge then.
Wherein, it is provided for the quantization of block chain intelligence contract, comprising: in the state's laws of block chain intelligence contract
Quantify content, quantify content, for block chain intelligence contract in the industry laws of block chain intelligence contract
Quantify content in enterprise's regulation.
Step 203: by checking that rule is loaded into mouth syntax check rule into inspection environment, by checking rule load
Entrance loads quantization check gauge into inspection environment then.
Step 204: entrance being loaded by intelligent contract and loads intelligent contract to be checked into inspection environment.
Step 205: simulation run, benefit being carried out according to syntax check rule and intelligent contract to be checked in inspection environment
Then with grammer check gauge, the grammar request for judging the whether intelligent contract of intelligent contract to be checked, according to amount in inspection environment
Change and check that rule and intelligent contract to be checked carry out simulation run, then using quantization check gauge, judges that intelligence to be checked is closed
The quantization for about whether being directed to block chain intelligence contract provides.
Step 206: the inspection result for being directed to intelligent contract to be checked is generated, by inspection result from inspection result outlet
Output.
As shown in figure 3, the embodiment of the invention provides a kind of emulation check devices of block chain intelligence contract, comprising:
First setting unit 301 is arranged in the inspection environment for establishing the inspection environment of block chain intelligence contract
Intelligent contract load entrance and inspection rule are loaded into mouth;
Regular loading unit 302, for being loaded into mouth load check into the inspection environment by the inspection rule
Rule;
Contract loading unit 303, it is to be checked for being loaded by the intelligent contract load entrance into the inspection environment
The intelligent contract looked into;
Inspection unit 304, for checking that rule and the intelligence to be checked are closed according to described in the inspection environment
Simulation run is about carried out, the intelligent contract to be checked is checked using the inspection rule.
In an embodiment of the present invention, which further comprises:
Syntax rule generation unit, for the grammar request according to block chain intelligence contract, generative grammar checks rule;
The rule loading unit, for being loaded into mouth to grammer described in the inspection environment by the inspection rule
Check rule;
The inspection unit, in the inspection environment according to the syntax check rule and the intelligence to be checked
Energy contract carries out simulation run, using the syntax check rule, judges the whether intelligent contract of the intelligent contract to be checked
Grammar request.
In an embodiment of the present invention, which further comprises:
Quantizing rule generation unit generates quantization check gauge for providing according to the quantization for block chain intelligence contract
Then;
The rule loading unit, for being loaded into described in mouth loads into the inspection environment by the inspection rule
Quantization checks rule;
The inspection unit, for checking rule and the intelligence to be checked according to the quantization in the inspection environment
Energy contract carries out simulation run, checks rule using the quantization, judges whether the intelligent contract to be checked is directed to block
The quantization of chain intelligence contract provides.
In an embodiment of the present invention, the quantization for block chain intelligence contract provides, comprising: is directed to block chain intelligence
Quantify content in the state's laws of energy contract, quantify content, needle in the industry laws of block chain intelligence contract
Quantify content in enterprise's regulation of block chain intelligence contract.
In an embodiment of the present invention, which further comprises:
Second setting unit is exported for inspection result to be arranged in the inspection environment;
The inspection unit, for it is described in the inspection environment according to inspection rule and described to be checked
Intelligent contract carries out simulation run, after being checked using the inspection rule the intelligent contract to be checked, generates
For the inspection result of the intelligent contract to be checked, the inspection result is exported from inspection result outlet.
The contents such as the information exchange between each unit, implementation procedure in above-mentioned apparatus, due to implementing with the method for the present invention
Example is based on same design, and for details, please refer to the description in the embodiment of the method for the present invention, and details are not described herein again.
The each embodiment of the present invention at least has the following beneficial effects:
In embodiments of the present invention, the inspection environment for building block chain intelligence contract in advance, is arranged intelligence in inspection environment
Energy contract load entrance and inspection rule are loaded into mouth, by checking that rule is loaded into a mouthful load check rule, pass through intelligent conjunction
About load entrance loads intelligent contract to be checked, and simulation run is carried out in inspection environment, realizes by checking that rule is treated
The intelligent contract of inspection automaticly inspects, and entire checking process can be automatically performed in inspection environment, can be more efficient
Carry out the inspection of intelligent contract.
It should be noted that, in this document, such as first and second etc relational terms are used merely to an entity
Or operation is distinguished with another entity or operation, is existed without necessarily requiring or implying between these entities or operation
Any actual relationship or order.Moreover, the terms "include", "comprise" or its any other variant be intended to it is non-
It is exclusive to include, so that the process, method, article or equipment for including a series of elements not only includes those elements,
It but also including other elements that are not explicitly listed, or further include solid by this process, method, article or equipment
Some elements.In the absence of more restrictions, the element limited by sentence " including one ", is not arranged
Except there is also other identical factors in the process, method, article or apparatus that includes the element.
Those of ordinary skill in the art will appreciate that: realize that all or part of the steps of above method embodiment can pass through
The relevant hardware of program instruction is completed, and program above-mentioned can store in computer-readable storage medium, the program
When being executed, step including the steps of the foregoing method embodiments is executed;And storage medium above-mentioned includes: ROM, RAM, magnetic disk or light
In the various media that can store program code such as disk.
Finally, it should be noted that the foregoing is merely presently preferred embodiments of the present invention, it is merely to illustrate skill of the invention
Art scheme, is not intended to limit the scope of the present invention.Any modification for being made all within the spirits and principles of the present invention,
Equivalent replacement, improvement etc., are included within the scope of protection of the present invention.
Claims (10)
1. a kind of emulation inspection method of block chain intelligence contract, which is characterized in that
Pre-establish the inspection environment of block chain intelligence contract;
Intelligent contract load entrance is set in the inspection environment and checks that rule is loaded into mouth;
Further include:
Mouth load check rule into the inspection environment is loaded by the inspection rule;
Entrance is loaded by the intelligent contract, and intelligent contract to be checked is loaded into the inspection environment;
It checks that rule and the intelligent contract to be checked carry out simulation run according to described in the inspection environment, utilizes institute
Inspection rule is stated to check the intelligent contract to be checked.
2. the method according to claim 1, wherein
Further comprise:
According to the grammar request of block chain intelligence contract, generative grammar checks rule;
It is described that mouth load check rule into the inspection environment is loaded by the inspection rule, comprising:
Mouth is loaded into the rule of syntax check described in the inspection environment by the inspection rule;
It is described to check that rule and the intelligent contract to be checked carry out simulation run, benefit according to described in the inspection environment
The intelligent contract to be checked is checked with the inspection rule, comprising:
Simulation run, benefit are carried out according to the syntax check rule and the intelligent contract to be checked in the inspection environment
With the syntax check rule, the grammar request of the whether intelligent contract of the intelligent contract to be checked is judged.
3. the method according to claim 1, wherein
Further comprise:
It is provided according to the quantization for block chain intelligence contract, generates quantization check gauge then;
It is described that mouth load check rule into the inspection environment is loaded by the inspection rule, comprising:
Mouth is loaded by the inspection rule, and the quantization inspection rule is loaded into the inspection environment;
It is described to check that rule and the intelligent contract to be checked carry out simulation run, benefit according to described in the inspection environment
The intelligent contract to be checked is checked with the inspection rule, comprising:
Check that rule and the intelligent contract to be checked carry out simulation run, benefit according to the quantization in the inspection environment
Rule is checked with the quantization, judges whether the intelligent contract to be checked is directed to the quantization regulation of block chain intelligence contract.
4. according to the method described in claim 3, it is characterized in that,
The quantization for block chain intelligence contract provides, comprising: in the state's laws of block chain intelligence contract can
Quantization content quantifies content, for the enterprise of block chain intelligence contract in the industry laws of block chain intelligence contract
Quantify content in regulation.
5. method according to any one of claims 1-4, which is characterized in that
Further comprise:
Inspection result is arranged in the inspection environment to export;
Check that rule and the intelligent contract to be checked carry out simulation run according to described in the inspection environment described,
After being checked using the inspection rule the intelligent contract to be checked, further comprise:
Generate the inspection result for being directed to the intelligent contract to be checked;
The inspection result is exported from inspection result outlet.
6. a kind of emulation check device of block chain intelligence contract characterized by comprising
First setting unit is arranged intelligence in the inspection environment and closes for establishing the inspection environment of block chain intelligence contract
About load entrance and inspection rule is loaded into mouth;
Regular loading unit, for being loaded into mouth load check rule into the inspection environment by the inspection rule;
Contract loading unit loads intelligence to be checked into the inspection environment for loading entrance by the intelligent contract
Contract;
Inspection unit, for being imitated in the inspection environment according to the inspection rule and the intelligent contract to be checked
True operation checks the intelligent contract to be checked using the inspection rule.
7. device according to claim 6, which is characterized in that
Further comprise:
Syntax rule generation unit, for the grammar request according to block chain intelligence contract, generative grammar checks rule;
The rule loading unit, for being loaded into mouth to syntax check described in the inspection environment by the inspection rule
Rule;
The inspection unit, for being closed in the inspection environment according to the syntax check rule and the intelligence to be checked
Simulation run is about carried out, using the syntax check rule, judges the language of the whether intelligent contract of the intelligent contract to be checked
Method requirement.
8. device according to claim 6, which is characterized in that
Further comprise:
Quantizing rule generation unit generates quantization check gauge then for providing according to the quantization for block chain intelligence contract;
The rule loading unit, loads the quantization into the inspection environment for being loaded into mouth by the inspection rule
Check rule;
The inspection unit, for checking that rule and the intelligence to be checked are closed according to the quantization in the inspection environment
Simulation run is about carried out, rule is checked using the quantization, judges whether the intelligent contract to be checked is directed to block chain intelligence
The quantization regulation of energy contract.
9. device according to claim 8, which is characterized in that
The quantization for block chain intelligence contract provides, comprising: in the state's laws of block chain intelligence contract can
Quantization content quantifies content, for the enterprise of block chain intelligence contract in the industry laws of block chain intelligence contract
Quantify content in regulation.
10. according to the device any in claim 6-9, which is characterized in that
Further comprise:
Second setting unit is exported for inspection result to be arranged in the inspection environment;
The inspection unit, for it is described in the inspection environment according to inspection rule and the intelligence to be checked
Contract carries out simulation run, and after being checked using the inspection rule the intelligent contract to be checked, generation is directed to
The inspection result of the intelligent contract to be checked exports the inspection result from inspection result outlet.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201910096086.5A CN109800174A (en) | 2019-01-31 | 2019-01-31 | A kind of the emulation inspection method and device of block chain intelligence contract |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201910096086.5A CN109800174A (en) | 2019-01-31 | 2019-01-31 | A kind of the emulation inspection method and device of block chain intelligence contract |
Publications (1)
Publication Number | Publication Date |
---|---|
CN109800174A true CN109800174A (en) | 2019-05-24 |
Family
ID=66560707
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201910096086.5A Pending CN109800174A (en) | 2019-01-31 | 2019-01-31 | A kind of the emulation inspection method and device of block chain intelligence contract |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN109800174A (en) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US11488099B2 (en) | 2019-10-18 | 2022-11-01 | International Business Machines Corporation | Supply-chain simulation |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN106021109A (en) * | 2016-05-20 | 2016-10-12 | 浪潮电子信息产业股份有限公司 | Automatic frame model for program structure analysis |
CN109063477A (en) * | 2018-07-18 | 2018-12-21 | 成都链安科技有限公司 | A kind of intelligent contract aacode defect detection system and method for automation |
CN109240900A (en) * | 2018-08-16 | 2019-01-18 | 北京京东尚科信息技术有限公司 | Block chain network service platform and its intelligent contract detection method, storage medium |
GB201820267D0 (en) * | 2018-12-12 | 2019-01-30 | Univ York | Proof-of-work for blockchain applications |
-
2019
- 2019-01-31 CN CN201910096086.5A patent/CN109800174A/en active Pending
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN106021109A (en) * | 2016-05-20 | 2016-10-12 | 浪潮电子信息产业股份有限公司 | Automatic frame model for program structure analysis |
CN109063477A (en) * | 2018-07-18 | 2018-12-21 | 成都链安科技有限公司 | A kind of intelligent contract aacode defect detection system and method for automation |
CN109240900A (en) * | 2018-08-16 | 2019-01-18 | 北京京东尚科信息技术有限公司 | Block chain network service platform and its intelligent contract detection method, storage medium |
GB201820267D0 (en) * | 2018-12-12 | 2019-01-30 | Univ York | Proof-of-work for blockchain applications |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US11488099B2 (en) | 2019-10-18 | 2022-11-01 | International Business Machines Corporation | Supply-chain simulation |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN105045710B (en) | A kind of automatic test data creation method under cloud computing environment | |
CN108121216B (en) | Automated workshop virtual debugging method based on digital factory | |
Dora et al. | Software development life cycle (SDLC) analytical comparison and survey on traditional and agile methodology | |
CN100401265C (en) | Keyword-driven automatic testing system and method | |
CN103164328B (en) | The regression testing method of a kind of business function, Apparatus and system | |
CN110333895B (en) | Automatic operation and maintenance platform for electric power regulation cloud | |
Dachyar et al. | Business process Re-engineering of engineering procurement construction (EPC) project in oil and gas industry in Indonesia | |
CN113191629A (en) | Intelligent contract generation method and device for quality acceptance of constructional engineering | |
CN105591779A (en) | Method and device for inspecting network element | |
CN108876074B (en) | Universal scheduling method suitable for multi-class resource application approval | |
CN109800174A (en) | A kind of the emulation inspection method and device of block chain intelligence contract | |
CN104133768A (en) | Program code review method and program code review device | |
CN110096445A (en) | A kind of model is in ring test method and device | |
CN115794106A (en) | Method and system for analyzing configuration of binary protocol data of rail transit | |
CN105631134A (en) | Batched random mechanism for chip random verification | |
CN110597718A (en) | Automatic test implementation method and system based on AI | |
CN114240177A (en) | Government affair data quality assessment method and system | |
Abid et al. | Generic framework for holonic modelling and multi-agent based verification of reconfigurable manufacturing systems | |
Wibowo et al. | Simulating port expansion plans using agent based modelling | |
CN111966665B (en) | Data migration testing method and device | |
CN115437757A (en) | Scheduling method, system, server and computer readable storage medium | |
Mokni et al. | An evolution management model for multi-level component-based software architectures | |
CN112180878A (en) | Product life cycle control method in automatic operation and maintenance CICD process | |
CN112486475A (en) | Visual business modeling and model management system based on big data platform | |
CN111444108A (en) | Behavior audit automatic testing method based on S7 industrial protocol |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
RJ01 | Rejection of invention patent application after publication |
Application publication date: 20190524 |
|
RJ01 | Rejection of invention patent application after publication |