Automatic identification method of numerical program metamorphic relation
A transforming relationship and automatic identification technology, applied in the field of computer algorithms, can solve the problems of validity influence, intractable space compression, low solution efficiency, etc., and achieve the effect of reducing the difficulty of identification, overcoming the randomness and overcoming the huge solution space.
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment 1
[0053] Take the sine function sin as an example.
[0054] (1) From the periodicity, the input pattern r can be obtained 1 :x 2 =x 1 +2π, we can get r by symmetry 2 :x 2 = π-x 1 , get r from the property of odd function 3 :x 2 =-x 1 ;
[0055] (2) Randomly generate 100 initial test inputs I in the range [0,1] stc =Random(0,1,100), according to r 1 Generate the corresponding follow-up test input I ftc ={I stc +2π}, forming an input pair (I stc , I ftc ), and so on for other input modes;
[0056] (3) Use the input pair to drive the program under test P sin Execute, and get the output pair (P sin (I stc ), P sin (I ftc ));
[0057] (4) The default function operator of GEP is Op={+,-,×, / ,x 2};
[0058] (5) According to Op, GEP technology is used to mine the output pattern from the pair of output results, and the sum of squares due to error (SSE) is used as the fitness function to evaluate the quality of the output pattern. The smaller the value, the better. GE...
PUM
![No PUM](https://static-eureka.patsnap.com/ssr/23.2.0/_nuxt/noPUMSmall.5c5f49c7.png)
Abstract
Description
Claims
Application Information
![application no application](https://static-eureka.patsnap.com/ssr/23.2.0/_nuxt/application.06fe782c.png)
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap