Patents
Literature
Patsnap Copilot is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
Patsnap Copilot

457 results about "Code coverage" patented technology

In computer science, test coverage is a measure used to describe the degree to which the source code of a program is executed when a particular test suite runs. A program with high test coverage, measured as a percentage, has had more of its source code executed during testing, which suggests it has a lower chance of containing undetected software bugs compared to a program with low test coverage. Many different metrics can be used to calculate test coverage; some of the most basic are the percentage of program subroutines and the percentage of program statements called during execution of the test suite.

Dynamic symbolic execution method and device thereof based on overall situation super block dominator graph

The invention provides a dynamic symbolic execution method and a device of the dynamic symbolic execution method based on an overall situation super block dominator graph and belongs to the field of computer software testing and software security. The method is as follows: a control flow diagram of a tested executable program is obtained, and the control flow diagram is transformed to a super block dominator graph according to relevant theories of a dominance relation. Each nodal point in the super block dominator graph is marked with 'weight' which is updated before symbolic execution at each time, and the 'weight' indicates the least number of basic blocks which can be covered when the nodal point is executed. When one dynamic symbolic execution is over, the nodal point with the largest 'weight' value is selected from the super block dominator graph, and corresponding forecasting path constraint conditions are generated, and then a new testing use case is generated by solving of a solver, so that the next execution is driven. Compared with the prior art, the dynamic symbolic execution method and the device of the dynamic symbolic execution method based on the overall situation super block dominator graph are capable of covering code blocks as many as possible with least testing use cases, so that the growth rate of the code coverage rate is effectively accelerated, and the problem of path explosion is relieved. The dynamic symbolic execution method and the device of the dynamic symbolic execution method based on the overall situation super block dominator graph is of great importance for the performance of testing large-scale utility software of the dynamic symbolic execution.
Owner:UNIV OF ELECTRONICS SCI & TECH OF CHINA

Intelligent contract operation code coverage rate calculation method and system

The invention discloses an intelligent contract operation code coverage rate calculation method and system. The method comprises the steps that when a source code file of an intelligent contract is obtained, a deployment request is sent to a blockchain, and thus the blockchain can deploy the intelligent contract according to the deployment request and return a contract address of the intelligent contract; according to the contract address of the intelligent contract returned by the blockchain, identification information of the intelligent contract is obtained, a transaction request which contains the identification information is constructed, the transaction request is sent to the blockchain, and thus the blockchain can output a corresponding statistical result file to a preset storage medium according to the identification information of the transaction request; according to the identification information, the statistic result file is obtained in the storage medium, and according to the statistic result file and a preset formula, the intelligent contract coverage operation code rate is calculated. The method and system simplify the calculation process of the intelligent contract coverage rate and improve the calculation precision of the intelligent contract coverage rate.
Owner:WEBANK (CHINA)
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products