CN110335041A - Consistency detecting method, device, equipment and the storage medium that intelligent contract calls - Google Patents
Consistency detecting method, device, equipment and the storage medium that intelligent contract calls Download PDFInfo
- Publication number
- CN110335041A CN110335041A CN201910536533.4A CN201910536533A CN110335041A CN 110335041 A CN110335041 A CN 110335041A CN 201910536533 A CN201910536533 A CN 201910536533A CN 110335041 A CN110335041 A CN 110335041A
- Authority
- CN
- China
- Prior art keywords
- node
- intelligent contract
- block chain
- control information
- random ordering
- 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.)
- Granted
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q20/00—Payment architectures, schemes or protocols
- G06Q20/38—Payment protocols; Details thereof
- G06Q20/389—Keeping log of transactions for guaranteeing non-repudiation of a transaction
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q40/00—Finance; Insurance; Tax strategies; Processing of corporate or income taxes
- G06Q40/04—Trading; Exchange, e.g. stocks, commodities, derivatives or currency exchange
Landscapes
- Business, Economics & Management (AREA)
- Accounting & Taxation (AREA)
- Finance (AREA)
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- Strategic Management (AREA)
- General Business, Economics & Management (AREA)
- General Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Economics (AREA)
- Marketing (AREA)
- Technology Law (AREA)
- Development Economics (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
The application provides a kind of consistency detecting method, device, equipment and storage medium that intelligent contract calls, which comprises obtains target block chain, the target block chain includes at least one node;Out-of-order control information is injected into original data content corresponding with the target block chain by way of towards tangent plane programming;Intelligent contract is disposed into each node, the intelligence contract includes resource transfers rule or variable operation rule;Each node random ordering is controlled by the out-of-order control information and calls the intelligent contract, obtains intelligent contract random ordering call result corresponding with the node;Based on the obtained corresponding intelligent contract random ordering call result of each node, the consistency detection result that the intelligent contract random ordering is called is determined.The application is realized in the case where not changing block chain source code, calls the consistency of intelligent contract to detect each node random ordering.
Description
Technical field
The application belongs to field of computer technology, and in particular to a kind of consistency detecting method, the dress of intelligence contract calling
It sets, equipment and storage medium.
Background technique
Block chain is a kind of a kind of chain type number for being sequentially in time combined into data block in such a way that sequence is connected
According to structure, and the distributed account book that can not be distorted He can not forge guaranteed in a manner of cryptography.
Intelligent contract is a kind of computer protocol for being intended to propagate, verify or execute in a manner of information-based contract, is allowed
Do not have to carry out credible transaction in third-party situation, these transaction are traceable and irreversible, and in block chain environment, intelligence is closed
About show as executable code.Since block chain has the characteristics that decentralization, can not distort and high availability, by intelligent contract
Be written in block chain in the form of digitized, can ensure the storage to intelligent contract, reading, execute that whole process is transparent can be with
Track can not be distorted.
When high concurrent carries out intelligent contract calling, the sequence that each node of block chain executes intelligent contract is likely to occur entanglement
The case where execution, and embody in entire block chain network, the execution sequence of each node is not again identical, and it is out-of-order to be equivalent to intelligent contract
It calls, the consistent implementations of each node are affected to entire block chain network after intelligent contract random ordering is called, but the prior art
Call the research of the consistency of intelligent contract very few each node high concurrent random ordering of block chain.
Summary of the invention
The consistency of intelligent contract is called to detect each node high concurrent random ordering to realize, present applicant proposes one
Consistency detecting method, device, equipment and the storage medium that the intelligent contract of kind calls.
On the one hand, present applicant proposes a kind of methods of consistency detection that intelligent contract calls, which comprises
Target block chain is obtained, the target block chain includes at least one node;
It is injected by way of towards tangent plane programming into original data content corresponding with the target block chain out-of-order
Control information;
Intelligent contract is disposed into each node, the intelligence contract includes resource transfers rule or variable operation rule;
Each node random ordering is controlled by the out-of-order control information and calls the intelligent contract, is obtained and the node pair
The intelligent contract random ordering call result answered;
Based on the obtained corresponding intelligent contract random ordering call result of each node, determine that the intelligent contract random ordering is called
Consistency detection result.
On the other hand, present applicant proposes a kind of consistency detection device that intelligent contract calls, described device includes:
Target block chain obtains module, and for obtaining target block chain, the target block chain includes at least one node;
Random ordering control information injection module, for by way of towards tangent plane programming to corresponding with the target block chain
Original data content in the out-of-order control information of injection;
Intelligent contract deployment module, for disposing intelligent contract into each node, the intelligence contract includes that resource turns
Move rule or variable operation rule;
Out-of-order call result obtains module, described in being called by each node random ordering of the out-of-order control information control
Intelligent contract obtains intelligent contract random ordering call result corresponding with the node;
Consistency detection result determining module, for calling knot based on the obtained corresponding intelligent contract random ordering of each node
Fruit determines the consistency detection result that the intelligent contract random ordering is called.
On the other hand, present applicant proposes a kind of electronic equipment, the electronic equipment includes: processor and memory, institute
It states and is stored at least one instruction, at least a Duan Chengxu, code set or instruction set in memory, at least one instruction, institute
An at least Duan Chengxu, the code set or instruction set is stated to be loaded by the processor and executed to realize intelligence as described above
The consistency detecting method that contract calls.
On the other hand, it present applicant proposes a kind of computer readable storage medium, is stored at least in the storage medium
One instruction, at least a Duan Chengxu, code set or instruction set, at least one instruction, an at least Duan Chengxu, the generation
Code collection or instruction set are loaded by processor and are executed the consistency detecting method to realize intelligent contract calling as described above.
Consistency detecting method, device, equipment and the storage medium for the intelligent contract that the application proposes, by towards section
The mode of programming guarantees under the source code for not changing block chain service, and out-of-order control generation is injected into the source code of block chain
Code, then intelligent contract of the deployment including resource transfers rule or variable operation rule into each node, realizes that control is each
Each thread of node occur when high concurrent executes intelligent contract it is out-of-order, repeat or the case where delay executes, then check with
The corresponding intelligent contract random ordering call result of each node finally calls knot based on the corresponding intelligent contract random ordering of each node
Fruit, each node high concurrent random ordering of verifying block chain call the consistent implementations of intelligent contract, are not changing block to realize
In the case where chain source code, calls the consistency of intelligent contract to check each node random ordering, reduce block chain product
Defect and risk ensure that the accuracy for the consistency detection result that intelligent contract random ordering is called.
Detailed description of the invention
It in ord to more clearly illustrate embodiments of the present application or technical solution in the prior art and advantage, below will be to implementation
Example or attached drawing needed to be used in the description of the prior art are briefly described, it should be apparent that, the accompanying drawings in the following description is only
It is only some embodiments of the present application, for those of ordinary skill in the art, without creative efforts,
It can also be obtained according to these attached drawings other attached drawings.
Fig. 1 is the system architecture diagram for the consistency detection system that intelligent contract provided by the embodiments of the present application calls.
Fig. 2 is a kind of flow diagram for the consistency detecting method that intelligent contract provided by the embodiments of the present application calls.
Fig. 3 be it is provided by the embodiments of the present application by way of towards tangent plane programming to corresponding with the target block chain
A kind of flow diagram of out-of-order control information is injected in original data content.
Fig. 4 is the schematic diagram of AOP random ordering control routine provided by the embodiments of the present application write, compile and disposed.
Fig. 5 is the intelligent contract of the deployment into each node provided by the embodiments of the present application, and the intelligence contract includes resource
A kind of flow diagram of transition rule or variable operation rule.
Fig. 6 is provided by the embodiments of the present application by out-of-order control information control each node random ordering calling intelligence
Energy contract obtains a kind of flow diagram of intelligent contract random ordering call result corresponding with the node.
Fig. 7 is the deployment result schematic diagram of the transfer of currency provided by the embodiments of the present application and the addition, subtraction operation of variable.
Fig. 8 is the numerical value of variable that stores in the account balance or intelligent contract of intelligent contract provided by the embodiments of the present application
Check result schematic diagram.
Fig. 9 is provided by the embodiments of the present application based on the corresponding intelligent contract random ordering call result of obtained each node,
Determine a kind of flow diagram for the consistency detection result that the intelligent contract random ordering is called.
Figure 10 is the working principle diagram for the consistency detecting method that intelligent contract provided by the embodiments of the present application calls.
Figure 11 is the structural schematic diagram for the consistency detection device that intelligent contract provided by the embodiments of the present application calls.
Figure 12 is server architecture schematic diagram provided by the embodiments of the present application.
Specific embodiment
In order to make those skilled in the art more fully understand application scheme, below in conjunction in the embodiment of the present application
Attached drawing, the technical scheme in the embodiment of the application is clearly and completely described, it is clear that described embodiment is only
The embodiment of the application a part, instead of all the embodiments.Based on the embodiment in the application, ordinary skill people
Member's every other embodiment obtained without making creative work, all should belong to the model of the application protection
It encloses.
It should be noted that the description and claims of this application and term " first " in above-mentioned attached drawing, "
Two " etc. be to be used to distinguish similar objects, without being used to describe a particular order or precedence order.It should be understood that using in this way
Data be interchangeable under appropriate circumstances, so as to embodiments herein described herein can in addition to illustrating herein or
Sequence other than those of description is implemented.In addition, term " includes " and " having " and their any deformation, it is intended that cover
Cover it is non-exclusive include, for example, containing the process, method of a series of steps or units, system, product or server need not limit
In step or unit those of is clearly listed, but may include be not clearly listed or for these process, methods, produce
The other step or units of product or equipment inherently.
Block chain is the end-to-end decentralization network collectively constituted by numerous nodes, and each node allows to obtain
A complete database copy is obtained, safeguards entire block chain based on a set of common recognition mechanism between node.Fig. 1 show this Shen
Please embodiment provide intelligent contract call consistency detection system system architecture diagram, the intelligence contract calling consistency
Detection system can be used as the implementation environment for calling the consistency detecting method intelligently saved, as shown in Figure 1, the system architecture
110 may include distributed node 111,112,113,114,115 and 116, can pass through communication between each distributed node
Link is attached, for example can be attached by wired communications links or wireless communication link, multiple distributed nodes
Block chain network is collectively constituted.User can be interconnected by client 120 and server 130, and the two simultaneously can also be via
The corresponding node of network insertion.
It should be appreciated that the quantity of distributed node described in Fig. 1 is only schematical, it, can be with according to needs are realized
With any number of distributed node.
In one embodiment, the intelligent contract call request that server 130 can be received in response to client 120,
Then intelligent contract is called by each node (distributed node 111,112,113,114,115 and 116).
Fig. 2 is the flow diagram for the consistency detecting method that a kind of intelligent contract provided by the embodiments of the present application calls,
Present description provides the method operating procedures as described in embodiment or flow chart, but based on routine or without creative labor
It may include more or less operating procedure.The step of enumerating in embodiment sequence is only in numerous step execution sequences
A kind of mode, do not represent and unique execute sequence.It, can be according to implementation when system or server product in practice executes
Example or method shown in the drawings sequence execute or parallel execution (such as environment of parallel processor or multiple threads).
It is specific as shown in Fig. 2, the method may include:
S201. target block chain is obtained, the target block chain includes at least one node.
In this specification embodiment, it is necessary first to determine target block chain, which can be for by Fig. 1
The block chain network that node 111,112,113,114,115 and 116 forms.
S203. it is injected by way of towards tangent plane programming into original data content corresponding with the target block chain
Random ordering control information.
In this specification embodiment, can by towards tangent plane programming (Aspect Oriented Programming,
AOP mode) injects out-of-order control routine, i.e. AOP random ordering control routine to the operational process of block chain, specifically, such as Fig. 3 institute
Show, it is described to inject out-of-order control into original data content corresponding with the target block chain by way of towards tangent plane programming
Information processed may include:
S301. the out-of-order control information is created by way of towards tangent plane programming, the out-of-order control information includes
Delay executes control information or repeats control information.
In this specification embodiment, it is necessary first to write AOP random ordering control routine, which can wrap
Delay is included to execute control routine or repeat control routine, so that control is before and after the execution of intelligent contract method, it is random to increase
The thread random ordering behavior for postponing or repeating.Wherein, delay executes control routine may further include random delay control again
Code processed or fixed delay control routine, the random delay control routine is for when controlling one section of intelligent contract random delay
Between, the fixed delay control routine repeats control routine and again may be used for controlling intelligent contract fixed delay for a period of time
To further comprise repeating code at random or fixing to repeat control routine, the code that repeats at random is for controlling
It makes intelligent contract and repeats certain number at random, the fixation repeats code, and intelligent contract is fixed to execute one for controlling
Determine number.
S303. the out-of-order control information is compiled.
In this specification embodiment, after writing AOP random ordering control routine, can to the AOP random ordering control routine with
And the corresponding original data content of block chain is compiled, the corresponding original data content of block chain is the source generation of the block chain
Code.The process of compiling can be completed by compiler, which can be the compiler for supporting AOP compiling, such as
Aspectj compiler etc., Aspectj compiler are the frames towards section, it extends Java language, and AspectJ is fixed
Justice AOP grammer, it has a special compiler to be used to generate the Class file in accordance with Java byte code specification.Wherein,
Java is an Object-Oriented Programming Language, and Class is the prototype to certain type of object definition variable and method.
S305. cutting into position of the out-of-order control information in the original data content is determined.
S307. the out-of-order control information after compiling is injected in the original data content according to the cutting into position.
It, can be first to this during the source code to target block chain is compiled in this specification embodiment
Source code is parsed, and determines the cutting into position for needing to inject AOP random ordering control routine, and then the AOP after compiling is out-of-order
Control routine is inserted into the source code according to the cutting into position.Specifically, the AOP random ordering control routine writes, compiles
The schematic diagram translated and disposed is as shown in Figure 4.
In a feasible embodiment, after AOP random ordering control routine is injected into the source code of block chain,
The modification of AOP random ordering control routine becomes to be less susceptible to, but many times, and writing for AOP random ordering control routine is not very complete
Beauty needs to modify to the AOP random ordering control routine being initially injected into source code according to actual motion demand.In order to prevent
AOP random ordering control routine is write extremely, convenient can not modify, so that random delay or fixed delay cannot be achieved, repeats at random secondary
The demand of several or fixed number of repetition, the design of AOP random ordering control routine can be interacted with shared drive Redis, convenient for logical
External scripts are crossed to control AOP random ordering control routine.Wherein, Redis is a kind of high performance distributed storage database.
For example, certain execution needs to repeat n times, N is the integer more than or equal to 1, that can be by corresponding in modification Redis
Value, so that AOP random ordering control routine is modified, it thus can be according to the modified number repeated to intelligent contract
It carries out repeating calling.For another example, a certain execution needs fixed delay for a period of time, then can be by corresponding in modification Redis
Value, so that AOP random ordering control routine is modified, it thus can be reducible to intelligence according to the modified fixed time executed
It is fixed and postpones to execute a period of time, after a period of time, then do other operations.
In this specification embodiment, controlling information by AOP can be in the source code for guaranteeing not changing block chain service
In the case of, the operation workflow injection control routine intelligently saved to block chain realizes each thread for controlling each node at it
Occur out-of-order, repetition when intelligent contract executes or postpones the case where executing.Because AOP control technology, which has, does not change source code
Advantage, therefore not will cause block chain product defects and risk, guarantee the maintainability of block chain source code, further, since can
To be controlled by external scripts AOP random ordering control routine, the convenient control of AOP random ordering control routine is improved, reality is facilitated
Now random or fixed delay, it is random to repeat or fix duplicate demand.And the lower product defects of block chain product and risk, area
Block chain source code is higher maintainable and the convenient control of AOP random ordering control routine, all can be intelligent contract random ordering
The consistency detection of calling provides safeguard, to ensure that the accuracy for the consistency detection result that intelligent contract random ordering is called.
S205. intelligent contract is disposed into each node, the intelligence contract includes resource transfers rule or variable operation
Rule.
In this specification embodiment, in order to verify the consistency that intelligent contract random ordering is called, need to dispose intelligent contract
Into each node, the intelligence contract may include at least one of resource transfers rule or variable operation rule.
The resource transfers rule described in a feasible embodiment may include being transferred to, producing rule for currency, described
Currency can be ideal money or digital cash etc..
In a feasible embodiment, the variable operation rule may include addition, subtraction operation rule of variable etc., institute
Variable is stated according to the sphere of action of variable to divide, may include global variable and local variable etc., come according to storage occupied space
Point, and may include integer variable, the integer variable may further include long variable, short variable, character again
Type variable, floating type variable etc..
This illustrates in embodiment, to before each node deployment intelligence contract, needs to write the intelligence contract code, institute
Stating intelligent contract code is to run currency to be transferred to, produce the code of rule or run the code of variable addition, subtraction operation, then right
Intelligent contract code is compiled, disposes, being published in each node of deployed block chain.
Specifically, as shown in figure 5, described dispose intelligent contract into each node, the intelligence contract includes that resource turns
Rule or variable operation rule are moved, may include:
S501. the intelligent contract is created;Wherein, the resource transfers rule includes being transferred to, producing rule for currency, institute
State the addition, subtraction operation rule that variable operation rule includes variable.
S503. the intelligent contract is compiled.
S505. the intelligent contract after compiling is deployed in each node.
S207. each node random ordering is controlled by the out-of-order control information and calls the intelligent contract, obtain with it is described
The corresponding intelligent contract random ordering call result of node.
In practical applications, script of giving out a contract for a project is write, user can send out call request (such as transfer request, plus-minus request) to often
On a node, after each node receives the request of user, all kinds of sides in intelligent contract can be called with higher concurrency
Method, for example, transferring accounts to intelligence saving, intelligent contract is transferred accounts to outside, to the addition of variables stored in intelligent contract or to intelligence
The variable stored in contract subtracts each other, and at the same time, controls Out-of-order execution intelligence on each node by AOP random ordering control routine
All kinds of methods in contract, such as, if unlatching node Out-of-order execution operation, random or fixed delay, random or fixed repetition
Execute etc..
Specifically, as shown in fig. 6, described control each node random ordering calling intelligence by the out-of-order control information
Contract obtains intelligent contract random ordering call result corresponding with the node, may include:
S601. it during each node calls the intelligent contract, runs the delay and executes control information or institute
It states and repeats control information.
In this specification embodiment, it can be set whether opened the step of node random ordering operates, such as in each section
During point calls intelligent contract, when needing out-of-order control, then the operation of node Out-of-order execution can be opened, intelligence is improved
The flexibility and controllability for the consistency detection that energy contract random ordering is called.
S603. based on the delay execute control information or it is described repeat control information, control each node delay
At least one of or repeat the first operation, the second operation, third operation or the 4th operation;Wherein, first operation
For the operation that the currency of external account is transferred to intelligent contract corresponding with the node, second operation is will be with the section
Currency in the corresponding intelligent contract of point produces the operation of the external account, the third operation for the node pair
The operation that the variable stored in the intelligence saving answered is added, the 4th operation are to close to intelligence corresponding with the node
The operation that the variable stored in about is subtracted each other.
In this specification embodiment, after opening the operation of node Out-of-order execution, so that it may pass through AOP random ordering control routine
It controls each node delay or repeats being transferred to, producing adding, subtracting fortune for the variable stored in operation, or intelligent contract for currency
Calculate operation.The deployment result schematic diagram of the addition, subtraction operation of the transfer and variable of currency, can be as shown in fig. 7, add in Fig. 7
It indicates to add, minus expression subtracts, and int256addnum indicates that the addition function of 256 integers, int256minusnum indicate 256
The SUbtractive function of position integer, transfer indicate resource transfers.
In practical applications, the external account refers to the account outside block chain, in the intelligent contract of each node
There is an account, be the equal of inter-account there are the account in intelligent contract, and exists and the account outside block chain
It is then external account, such as the account of external user.
It, can be from each node after each node high concurrent calls the intelligent contract in this specification embodiment
Middle to obtain intelligent contract random ordering call result corresponding with the node, the intelligence contract random ordering call result may include closing
About verification information, node verification information and block chain functional verification information, the contract verification information is for measuring intelligent conjunction
Variation about, the node verification information are used to measure the variation of each node, and the block chain functional verification information is for weighing
Measure the ability that each node continues to execute the operation of block chain.And different out-of-order call results is obtained from each dimension, Ke Yiming
The aobvious accuracy and confidence level for improving the consistency detection that intelligent contract random ordering is called.
S605. it is deposited from the account balance or intelligent contract for obtaining intelligent contract corresponding with the node in each node
The numerical value of the variable of storage obtains contract verification information corresponding with the node.
In a feasible embodiment, it can be called from each node and about getBalance method and the side getNum
Method static state reads the account balance of intelligent contract, the numerical value of variable stored in intelligent contract etc., tests to obtain the contract
Demonstrate,prove information.Wherein, getBalance method refers to that the method for obtaining remaining sum, getNum method are the variable values for obtaining storage
Method.Wherein, the numerical value of the variable stored in the account balance of intelligent contract or intelligent contract checks that result schematic diagram can
With as shown in figure 8, as shown in figure 8, the account balance of the intelligent contract of some node be 99990, the numerical value of the variable of storage
It is 121.
In a feasible embodiment, querying method can be stated using view mode, to obtain the account of intelligent contract
The numerical value of variable etc. stored in family remaining sum, intelligent contract, wherein view mode states that querying method is one kind in local lookup
Method.Querying method is stated using view mode, can make can only be by the local node (section i.e. in target block chain
Point) it goes to check the variable value of remaining sum and storage, it goes to look into without knowing together from network, ensures that the data found are in this way
It is local based on block chain, rather than got from other nodes, it ensure that the variable of intelligent contract account balance, storage
The efficiency and accuracy that numerical value obtains.
S607. remaining sum, the height or friendship of block chain of external account corresponding with the node are obtained from each node
At least one of easy number, obtains node verification information corresponding with the node.
In a feasible embodiment, it can be read out from each node more than the corresponding external account of each node
The height of the corresponding block chain of volume, each node, the information such as transaction count of each node, to obtain the node verification letter
Breath.
S609. log information corresponding with the node is obtained from each node, is obtained corresponding with the node
Block chain functional verification information, whether node described in the block chain functional verification information representation, which has, is continued to call the intelligence
The ability of energy contract.
In a feasible embodiment, the acquisition process of block chain functional verification information may include:
Log information corresponding with the node is obtained from each node.
Judge whether the log information is abnormal.
When the corresponding log information of the node does not occur abnormal, then obtains characterizing the node having and continue to adjust
With the block chain functional verification information of the ability of the intelligent contract.
When the corresponding log information of the node occurs abnormal, then obtains characterizing the node not having and continue to adjust
With the block chain functional verification information of the ability of the intelligent contract.
In practical applications, continue that the ability of the intelligent contract is called to can be understood as continuing to execute the operation of block chain
(it is normal to initiate Transaction Information etc. to block chain).
S209. based on the obtained corresponding intelligent contract random ordering call result of each node, determine that the intelligent contract is random
The consistency detection result that sequence is called.
In this specification embodiment, intelligent contract random ordering call result is being obtained, is needing to call the intelligence contract random ordering
As a result it is analyzed, so that it is determined that the consistency detection result that the intelligence contract random ordering is called.
In a feasible embodiment, when the contract verification information of each node, node verification information, block chain function
When verification information is all consistent, and each node is provided with the ability for continuing to call the intelligent contract, then it is assumed that by described
The consistency detection that intelligent contract random ordering is called, otherwise it is assumed that being examined not over the consistency that the intelligent contract random ordering is called
It surveys.For example, as shown in Figure 1, one sharing 6 nodes in block chain network, then when the about verification information in this 6 nodes, node
When verification information, block chain functional verification information are all consistent, and this 6 nodes are provided with and continue to call the intelligent contract
When ability, then it is assumed that the consistency detection called by the intelligent contract random ordering.
In a feasible embodiment, in order to improve the efficiency for the consistency detection that intelligent contract random ordering is called, not
Need the data of each node just the same must can determine the consistency detection called by intelligent contract random ordering, not
Under the premise of influencing network common recognition, as long as there is the data of preset quantity node completely the same, than the data if any 2/3 node
It is completely the same, and this 2/3 node is provided with the ability for continuing to call the intelligent contract, then can think that each node is logical
Consistency detection is crossed, otherwise it is assumed that not over consistency detection.For example, as shown in Figure 1, one sharing 6 in block chain network
Node, then when the wherein about verification information of 4 nodes (such as node 111,112,114,116), the node in this 6 nodes are tested
When card information, block chain functional verification information are all consistent, and this 4 nodes are provided with the energy for continuing to call the intelligent contract
When power, then it is assumed that the consistency detection that each node is called by the intelligent contract random ordering.
Specifically, as shown in figure 9, it is described based on the obtained corresponding intelligent contract random ordering call result of each node, really
The consistency detection that the fixed intelligent contract random ordering is called is as a result, can also include:
S901. the contract verification information and the consistent node of the node verification information are obtained, target section is obtained
Point set.
S903. when the quantity of destination node is greater than preset threshold, and the block chain functional verification information of each destination node
It characterizes the destination node and has the ability for continuing to call the intelligent contract, it is determined that called by the intelligent contract random ordering
Consistency detection.
S905. when the quantity of the destination node is less than or equal to the preset threshold, it is determined that do not pass through the intelligence
The consistency detection that contract random ordering is called.
The work that Figure 10 show the consistency detecting method that a kind of intelligent contract provided by the embodiments of the present application calls is former
Reason figure injects random or fixed delay as shown in Figure 10 first into the corresponding source code of block chain, and random or fixation is duplicate
AOP random ordering control routine, then injection is transferred to including currency and produces and/or store variable in each node into block chain
The intelligent contract of plus and minus calculation, after each node receives the call request of external user, each node starts to call institute
Intelligent contract is stated, at the same time, opens the operation of node Out-of-order execution, control each node delay or repeats turning for currency
Enter, produce and/or store variable plus, reducing, obtain the corresponding contract account balance of each node, store variable in contract
The out-of-order call result such as numerical value, external account remaining sum, block chain height, transaction count, log recording, finally judge whether there is
The above-mentioned data of preset quantity node are all consistent, and the preset quantity node can have continue to execute block chain operation
Ability, if so, it may be considered that it is logical that each node random ordering of block chain, which calls the consistency detection result of the intelligent contract,
It crosses, otherwise, then it is assumed that do not pass through.In the application, since AOP control technology has the advantages that not change source code, it can reduce
Block chain product defects and risk guarantee the maintainability of block chain source code, in addition, calling intelligence from different dimensions high concurrent
Contract can significantly improve the consistency detection that intelligent contract random ordering is called to obtain the out-of-order call result of different dimensions
Accuracy and confidence level.
It is as shown in figure 11, described the embodiment of the present application also provides a kind of consistency detection device that intelligent contract calls
Device may include:
Target block chain obtains module 1101, and for obtaining target block chain, the target block chain includes at least one
Node.
Random ordering control information injection module 1103, for by way of towards tangent plane programming to the target block chain
Out-of-order control information is injected in corresponding original data content.
Intelligent contract deployment module 1105, for disposing intelligent contract into each node, the intelligence contract includes money
Source transition rule or variable operation rule.
Out-of-order call result obtains module 1107, calls for controlling each node random ordering by the out-of-order control information
The intelligence contract obtains intelligent contract random ordering call result corresponding with the node.
Consistency detection result determining module 1109, for based on the obtained corresponding intelligent contract random ordering tune of each node
With as a result, determining the consistency detection result of the intelligent contract random ordering calling.
In a feasible embodiment, the out-of-order control information injection module 1103 may include:
Random ordering control information creation unit, for creating the out-of-order control information by way of towards tangent plane programming,
The out-of-order control information includes that delay executes control information or repeats control information.
Random ordering control information compilation unit, for being compiled to the out-of-order control information.
Cutting into position determination unit, for determining incision position of the out-of-order control information in the original data content
It sets.
Injection unit injects in the initial data for the out-of-order control information after compiling according to the cutting into position
Rong Zhong.
In a feasible embodiment, intelligent contract deployment module 1105 may include:
Intelligence saves creating unit, for creating the intelligent contract;Wherein, the resource transfers rule includes currency
It is transferred to, produces rule, the variable operation rule includes the addition, subtraction operation rule of variable.
Intelligent contract compilation unit, for being compiled to the intelligent contract.
Deployment unit, for the intelligent contract after compiling to be deployed in each node.
In a feasible embodiment, the random ordering call result obtains module 1107 and may include:
Running unit executes control for during each node calls the intelligent contract, running the delay
Information described repeats control information.
Postpone or repeat unit, for controlling letter based on delay execution control information or described repeat
Breath, control each node delay or repeat the first operation, second operation, third operation or the 4th operation at least one
Kind;Wherein, first operation is that the currency of external account is transferred to the operation of intelligent contract corresponding with the node, described
Second operation is that the currency in intelligent contract corresponding with the node is produced to the operation of the external account, the third
The operation that operation is added for the variable that stores in saving intelligence corresponding with the node, the 4th operation for
The operation that the variable stored in the corresponding intelligent contract of the node is subtracted each other.
Contract verification information acquiring unit, for obtaining the account of intelligent contract corresponding with the node from each node
The numerical value of the variable stored in family remaining sum or intelligent contract, obtains contract verification information corresponding with the node.
Node verification information acquisition unit, more than the acquisition external account corresponding with the node from each node
At least one of volume, the height of block chain or transaction count obtain node verification information corresponding with the node.Specifically
Ground then obtains characterizing the node and has and continue to call institute when the corresponding log information of the node does not occur abnormal
The block chain functional verification information for stating the ability of intelligent contract, when the corresponding log information of the node occurs abnormal,
It then obtains characterizing the block chain functional verification information that the node does not have the ability for continuing to call the intelligent contract.
Block chain functional verification information acquisition unit, for obtaining log note corresponding with the node from each node
Information is recorded, obtains block chain functional verification information corresponding with the node, described in the block chain functional verification information representation
Whether node has the ability for continuing to call the intelligent contract.
In a feasible embodiment, the consistency detection result determining module 1109 may include:
Destination node set acquiring unit, for obtaining the contract verification information and the node verification information phase one
The node of cause obtains destination node set.
Testing result judging unit is greater than preset threshold, and the area of each destination node for the quantity when destination node
Destination node described in block chain functional verification information representation has the ability for continuing to call the intelligent contract, it is determined that by described
The consistency detection that intelligent contract random ordering is called, when the quantity of the destination node is less than or equal to the preset threshold, then really
The fixed consistency detection that do not called by the intelligent contract random ordering.
The embodiment of the present application also provides a kind of electronic equipment of consistency detecting method for calling and intelligently saving, the electronics
Equipment includes processor and memory, and at least one instruction, at least a Duan Chengxu, code set or instruction are stored in the memory
Collection, at least one instruction, an at least Duan Chengxu, the code set or the instruction set are loaded by the processor and are executed to realize such as
The consistency detecting method that intelligence contract provided by above method embodiment calls.
Embodiments herein additionally provides a kind of storage medium, and the storage medium may be disposed among terminal to save
For realizing relevant at least one instruction of the consistency detecting method that intelligent contract calls a kind of in embodiment of the method, at least one
Duan Chengxu, code set or instruction set, at least one instruction, an at least Duan Chengxu, the code set or the instruction set are by the processing
The consistency detecting method that device is loaded and executed to realize the intelligent contract calling of above method embodiment offer.
Optionally, in this specification embodiment, storage medium can be located at multiple network servers of computer network
In at least one network server.Optionally, in the present embodiment, above-mentioned storage medium can include but is not limited to: USB flash disk,
Read-only memory (Read-Only Memory, ROM), is moved random access memory (Random Access Memory, RAM)
The various media that can store program code such as dynamic hard disk, magnetic or disk.
Memory described in this specification embodiment can be used for storing software program and module, and processor passes through operation storage
In the software program and module of memory, thereby executing various function application and data processing.Memory can mainly include
Storing program area and storage data area, wherein storing program area can application program needed for storage program area, function etc.;It deposits
Storage data field, which can be stored, uses created data etc. according to the equipment.In addition, memory may include that high speed is deposited at random
Access to memory, can also include nonvolatile memory, a for example, at least disk memory, flush memory device or other easily
The property lost solid-state memory.Correspondingly, memory can also include Memory Controller, to provide visit of the processor to memory
It asks.
The consistency detecting method embodiment of intelligence contract provided by the embodiment of the present application can be in mobile terminal, calculating
It is executed in machine terminal, server or similar arithmetic unit.For running on the server, Figure 12 is the embodiment of the present application
A kind of hardware block diagram of the server of the consistency detecting method of the intelligent contract provided.As shown in figure 12, the server
1200 can generate bigger difference because configuration or performance are different, may include one or more central processing units
(processor 1210 can include but is not limited to Micro-processor MCV or can (Central Processing Units, CPU) 1210
The processing unit of programmed logic device FPGA etc.), memory 1230 for storing data, one or more storage application
The storage medium 1220 (such as one or more mass memory units) of program 1223 or data 1222.Wherein, memory
1230 and storage medium 1220 can be of short duration storage or persistent storage.The program for being stored in storage medium 1220 may include one
A or more than one module, each module may include to the series of instructions operation in server.Further, centre
Reason device 1210 can be set to communicate with storage medium 1220, execute on server 1200 a series of in storage medium 1220
Instruction operation.Server 1200 can also include one or more power supplys 1260, one or more are wired or wireless
Network interface 1250, one or more input/output interfaces 1240, and/or, one or more operating systems 1221,
Such as Windows ServerTM, Mac OS XTM, UnixTM, LinuxTM, FreeBSDTM etc..
Input/output interface 1240 can be used for that data are received or sent via a network.Above-mentioned network is specifically real
Example may include the wireless network that the communication providers of server 1200 provide.In an example, input/output interface 1240 wraps
A network adapter (Network Interface Controller, NIC) is included, base station and other network equipments can be passed through
It is connected so as to be communicated with internet.In an example, input/output interface 1240 can be radio frequency (Radio
Frequency, RF) module, it is used to wirelessly be communicated with internet.
It will appreciated by the skilled person that structure shown in Figure 12 is only to illustrate, above-mentioned electronics is not filled
The structure set causes to limit.For example, server 1200 may also include more perhaps less component or tool than shown in Figure 12
There is the configuration different from shown in Figure 12.
It should be understood that above-mentioned the embodiment of the present application sequencing is for illustration only, do not represent the advantages or disadvantages of the embodiments.
And above-mentioned this specification specific embodiment is described.Other embodiments are within the scope of the appended claims.One
In a little situations, the movement recorded in detail in the claims or step can be executed according to the sequence being different from embodiment and
Still desired result may be implemented.In addition, process depicted in the drawing not necessarily requires the particular order shown or company
Continuous sequence is just able to achieve desired result.In some embodiments, multitasking and parallel processing it is also possible or
It may be advantageous.
All the embodiments in this specification are described in a progressive manner, same and similar portion between each embodiment
Dividing may refer to each other, and each embodiment focuses on the differences from other embodiments.Especially for device and
For server example, since it is substantially similar to the method embodiment, so being described relatively simple, related place is referring to side
The part of method embodiment illustrates.
Those of ordinary skill in the art will appreciate that realizing that all or part of the steps of above-described embodiment can pass through hardware
It completes, relevant hardware can also be instructed to complete by program, the program can store in a kind of computer-readable
In storage medium, storage medium mentioned above can be read-only memory, disk or CD etc..
The foregoing is merely the preferred embodiments of the application, not to limit the application, it is all in spirit herein and
Within principle, any modification, equivalent replacement, improvement and so on be should be included within the scope of protection of this application.
Claims (10)
1. a kind of consistency detecting method that intelligence contract calls, which is characterized in that the described method includes:
Target block chain is obtained, the target block chain includes at least one node;
Out-of-order control is injected into original data content corresponding with the target block chain by way of towards tangent plane programming
Information;
Intelligent contract is disposed into each node, the intelligence contract includes resource transfers rule or variable operation rule;
Each node random ordering is controlled by the out-of-order control information and calls the intelligent contract, is obtained corresponding with the node
Intelligent contract random ordering call result;
Based on the obtained corresponding intelligent contract random ordering call result of each node, the intelligent contract random ordering is called one is determined
Cause property testing result.
2. the method according to claim 1, wherein it is described by way of towards tangent plane programming to the mesh
Mark the out-of-order control information of injection in the corresponding original data content of block chain, comprising:
The out-of-order control information is created by way of towards tangent plane programming, the out-of-order control information includes that delay executes control
Information processed repeats control information;
The out-of-order control information is compiled;
Determine cutting into position of the out-of-order control information in the original data content;
Out-of-order control information after compiling is injected in the original data content according to the cutting into position.
3. according to the method described in claim 2, it is characterized in that, described dispose intelligent contract, the intelligence into each node
Energy contract includes resource transfers rule or variable operation rule, comprising:
Create the intelligent contract;Wherein, the resource transfers rule includes being transferred to, producing rule, the variable fortune for currency
Calculate the addition, subtraction operation rule that rule includes variable;
The intelligent contract is compiled;
Intelligent contract after compiling is deployed in each node.
4. according to the method described in claim 3, it is characterized in that, described control each node by the out-of-order control information
Random ordering calls the intelligent contract, obtains intelligent contract random ordering call result corresponding with the node, comprising:
During each node calls the intelligent contract, runs the delay and execute and control information or described repeat
Control information;
Based on the delay execute control information or it is described repeat control information, control each node delay or repeat
At least one of first operation, the second operation, third operation or the 4th operation;Wherein, first operation is by external account
The currency at family is transferred to the operation of intelligent contract corresponding with the node, and second operation is will intelligence corresponding with the node
Currency in energy contract produces the operation of the external account, and the third operation is to intelligence section corresponding with the node
The operation that is added of variable stored in about, the 4th operation in intelligence contract corresponding with the node to storing
The operation that variable is subtracted each other;
The variable stored from the account balance or intelligent contract for obtaining intelligent contract corresponding with the node in each node
Numerical value, obtain contract verification information corresponding with the node;
From the remaining sum, the height of block chain or transaction count for obtaining external account corresponding with the node in each node
At least one obtains node verification information corresponding with the node;
Log information corresponding with the node is obtained from each node, obtains block chain function corresponding with the node
It is able to verify that information, whether node described in the block chain functional verification information representation has the energy for continuing to call the intelligent contract
Power.
5. according to the method described in claim 4, it is characterized in that, described based on the obtained corresponding intelligent contract of each node
Out-of-order call result determines the consistency detection result that the intelligent contract random ordering is called, comprising:
The contract verification information and the consistent node of the node verification information are obtained, destination node set is obtained;
When the quantity of destination node is greater than preset threshold, and mesh described in the block chain functional verification information representation of each destination node
Mark node has the ability for continuing to call the intelligent contract, it is determined that is examined by the consistency that the intelligent contract random ordering is called
It surveys;
When the quantity of the destination node is less than or equal to the preset threshold, it is determined that do not pass through the intelligent contract random ordering tune
Consistency detection.
6. according to the method described in claim 4, it is characterized in that, the acquisition from each node is corresponding with the node
Log information obtains block chain functional verification information corresponding with the node, the block chain functional verification information table
Levy whether the node has the ability for continuing to call the intelligent contract, comprising:
When the corresponding log information of the node does not occur abnormal, then obtains characterizing the node and have and continue to call institute
State the block chain functional verification information of the ability of intelligent contract;
When the corresponding log information of the node occurs abnormal, then obtains characterizing the node not having and continue to call institute
State the block chain functional verification information of the ability of intelligent contract.
7. a kind of consistency detection device that intelligence contract calls, which is characterized in that described device includes:
Target block chain obtains module, and for obtaining target block chain, the target block chain includes at least one node;
Random ordering control information injection module, for by way of towards tangent plane programming to original corresponding with the target block chain
Out-of-order control information is injected in beginning data content;
Intelligent contract deployment module, for disposing intelligent contract into each node, the intelligence contract includes resource transfers rule
Then or variable operation rule;
Out-of-order call result obtains module, calls the intelligence for controlling each node random ordering by the out-of-order control information
Contract obtains intelligent contract random ordering call result corresponding with the node;
Consistency detection result determining module, for based on the corresponding intelligent contract random ordering call result of obtained each node,
Determine the consistency detection result that the intelligent contract random ordering is called.
8. device according to claim 7, which is characterized in that the random ordering controls information injection module and includes:
Random ordering control information creation unit, it is described for creating the out-of-order control information by way of towards tangent plane programming
Random ordering control information includes that delay executes control information or repeats control information;
Random ordering control information compilation unit, for being compiled to the out-of-order control information;
Cutting into position determination unit, for determining cutting into position of the out-of-order control information in the original data content;
Injection unit injects the original data content according to the cutting into position for the out-of-order control information after compiling
In.
9. a kind of electronic equipment, which is characterized in that the electronic equipment includes: processor and memory, is deposited in the memory
Contain at least one instruction, at least a Duan Chengxu, code set or instruction set, at least one instruction, an at least Duan Cheng
Sequence, the code set or instruction set are loaded by the processor and are executed to realize the intelligence as described in claim 1-6 is any
The consistency detecting method that contract calls.
10. a kind of computer readable storage medium, which is characterized in that be stored at least one instruction, extremely in the storage medium
A few Duan Chengxu, code set or instruction set, at least one instruction, an at least Duan Chengxu, the code set or instruction
Collection is loaded by processor and is executed the consistency detecting method to realize the intelligent contract calling as described in claim 1-6 is any.
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201910536533.4A CN110335041B (en) | 2019-06-20 | 2019-06-20 | Consistency detection method, device, equipment and storage medium for intelligent contract calling |
CN201910931373.3A CN110599183B (en) | 2019-06-20 | 2019-06-20 | Intelligent contract calling method and device and storage medium |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201910536533.4A CN110335041B (en) | 2019-06-20 | 2019-06-20 | Consistency detection method, device, equipment and storage medium for intelligent contract calling |
Related Child Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201910931373.3A Division CN110599183B (en) | 2019-06-20 | 2019-06-20 | Intelligent contract calling method and device and storage medium |
Publications (2)
Publication Number | Publication Date |
---|---|
CN110335041A true CN110335041A (en) | 2019-10-15 |
CN110335041B CN110335041B (en) | 2021-07-16 |
Family
ID=68142097
Family Applications (2)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201910536533.4A Active CN110335041B (en) | 2019-06-20 | 2019-06-20 | Consistency detection method, device, equipment and storage medium for intelligent contract calling |
CN201910931373.3A Active CN110599183B (en) | 2019-06-20 | 2019-06-20 | Intelligent contract calling method and device and storage medium |
Family Applications After (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201910931373.3A Active CN110599183B (en) | 2019-06-20 | 2019-06-20 | Intelligent contract calling method and device and storage medium |
Country Status (1)
Country | Link |
---|---|
CN (2) | CN110335041B (en) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110752969A (en) * | 2019-10-21 | 2020-02-04 | 腾讯科技(深圳)有限公司 | Performance detection method, device, equipment and medium |
CN111198763A (en) * | 2019-12-25 | 2020-05-26 | 平安壹钱包电子商务有限公司 | Resource reuse detection method, terminal and computer-readable storage medium |
CN111651977B (en) * | 2020-05-26 | 2021-07-06 | 中南民族大学 | Language-independent legal contract and intelligent contract consistency measuring method |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN111160911B (en) * | 2019-12-31 | 2023-10-24 | 杭州趣链科技有限公司 | Intelligent contract calling frequency control method for block chain |
CN112330453B (en) * | 2020-11-23 | 2024-05-10 | 杭州趣链科技有限公司 | Intelligent contract calling method, device, equipment and storage medium based on blockchain |
CN113542405B (en) * | 2021-07-14 | 2023-10-17 | 广东卓启云链科技有限公司 | Block chain-based network communication system, method, equipment and storage medium |
Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108804096A (en) * | 2017-05-05 | 2018-11-13 | 中思博安科技(北京)有限公司 | A kind of task scheduling execution method and apparatus based on intelligent contract |
Family Cites Families (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10102265B1 (en) * | 2017-04-12 | 2018-10-16 | Vijay K. Madisetti | Method and system for tuning blockchain scalability for fast and low-cost payment and transaction processing |
CN109639751B (en) * | 2018-10-16 | 2021-12-21 | 平安科技(深圳)有限公司 | Block chain link point monitoring method, device and system and computer storage medium |
CN109598506B (en) * | 2018-11-02 | 2023-06-09 | 克洛斯比尔有限公司 | Method, system, computing device and computer readable storage medium for precisely delaying encryption of blockchain |
CN109743182B (en) * | 2019-01-21 | 2021-10-22 | 中国联合网络通信集团有限公司 | Intelligent contract approval method and system based on block chain |
-
2019
- 2019-06-20 CN CN201910536533.4A patent/CN110335041B/en active Active
- 2019-06-20 CN CN201910931373.3A patent/CN110599183B/en active Active
Patent Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108804096A (en) * | 2017-05-05 | 2018-11-13 | 中思博安科技(北京)有限公司 | A kind of task scheduling execution method and apparatus based on intelligent contract |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110752969A (en) * | 2019-10-21 | 2020-02-04 | 腾讯科技(深圳)有限公司 | Performance detection method, device, equipment and medium |
CN110752969B (en) * | 2019-10-21 | 2021-03-16 | 腾讯科技(深圳)有限公司 | Performance detection method, device, equipment and medium |
CN111198763A (en) * | 2019-12-25 | 2020-05-26 | 平安壹钱包电子商务有限公司 | Resource reuse detection method, terminal and computer-readable storage medium |
CN111651977B (en) * | 2020-05-26 | 2021-07-06 | 中南民族大学 | Language-independent legal contract and intelligent contract consistency measuring method |
Also Published As
Publication number | Publication date |
---|---|
CN110335041B (en) | 2021-07-16 |
CN110599183B (en) | 2021-08-17 |
CN110599183A (en) | 2019-12-20 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN110335041A (en) | Consistency detecting method, device, equipment and the storage medium that intelligent contract calls | |
Van der Werf et al. | Process discovery using integer linear programming | |
US7861226B1 (en) | Constraint solver to code based test data generation for improving software reliability and security | |
CN109408373A (en) | Test method, computer readable storage medium and the test terminal of intelligent contract | |
US20140053129A1 (en) | Parallelization of Dataflow Actors with Local State | |
Kulkarni et al. | Automatic construction of inlining heuristics using machine learning | |
US20070033659A1 (en) | Adaptive evolutionary computer software products | |
Madhavan et al. | Contract-based resource verification for higher-order functions with memoization | |
US10514898B2 (en) | Method and system to develop, deploy, test, and manage platform-independent software | |
US20170249235A1 (en) | Systems and methods for automatically parallelizing sequential code | |
Roesch et al. | Relay: A high-level compiler for deep learning | |
US8745602B2 (en) | Automatic configuration of project system from project capabilities | |
Santhiar et al. | Static deadlock detection for asynchronous C# programs | |
US8086455B2 (en) | Model development authoring, generation and execution based on data and processor dependencies | |
CN109684189B (en) | Logic verification method and device for block chain intelligent contract and computer storage medium | |
US8949103B2 (en) | Program code simulator | |
Ma et al. | Context sensitivity without contexts: A cut-shortcut approach to fast and precise pointer analysis | |
Engels et al. | Model-based verification and validation of properties | |
CN111435312A (en) | Application program management method and device and electronic equipment | |
US10503243B1 (en) | Instrumenting low power coverage counters in emulation | |
CN108304164A (en) | A kind of development approach and development system of service logic | |
Delmas et al. | Analysis of software patches using numerical abstract interpretation | |
Ceccarello et al. | Automated generation of model classes for java pathfinder | |
US10198539B1 (en) | Systems and methods for dynamic RTL monitors in emulation systems | |
Arons et al. | Efficient symbolic simulation of low level software |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
REG | Reference to a national code |
Ref country code: HK Ref legal event code: DE Ref document number: 40008850 Country of ref document: HK |
|
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |