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.

Pending Publication Date: 2021-12-14
NANHUA UNIV
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0009] At the same time, the effectiveness of the method is largely affected by the data set. Due to the lack of expert guidance in the field, the generation of the data set usually has a large randomness or blindness, so that there are a large number of meaningless inputs / output, it is difficult to effectively compress the solution space, and the solution efficiency is low

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Automatic identification method of numerical program metamorphic relation
  • Automatic identification method of numerical program metamorphic relation
  • Automatic identification method of numerical program metamorphic relation

Examples

Experimental program
Comparison scheme
Effect test

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...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention provides an automatic identification method of a numerical program metamorphic relation (MR), which comprises the following steps of: (1) analyzing an input mode based on a problem domain; (2) generating initial test input based on a random method; and (3) carrying out output mode mining on the basis of a gene expression programming (GEP) (Gene Expression Program, GEP). According to the method, the metamorphic relation identification is decomposed into two steps of input mode analysis and output mode mining, so that the metamorphic relation identification difficulty is reduced. According to the numerical program characteristics, four input mode recognition ways are given, and the problem of randomly constructing a metamorphic relation is avoided; an input mode meaningful to verification is established by applying domain knowledge, and the problems of huge solution space and low solution efficiency are solved; a GEP automatic search output mode is introduced, and the problems that an MR recognition result is large in randomness and low in effectiveness are solved.

Description

technical field [0001] The invention relates to the technical field of computer algorithms, in particular to an automatic identification method for numerical program transformation relations. Background technique [0002] Scientific computing and industrial design software such as nuclear design and safety analysis software and aeroengine power design simulation software that use numerical simulation, usually do not have analytical solutions due to the need to solve complex partial differential equations. High problem, known as the Oracle problem of software testing. Traditional testing methods verify the program under test by directly comparing the actual results with the expected results. The Oracle problem makes it difficult to fully test the above-mentioned software. Without sufficient testing, software quality is difficult to guarantee. [0003] Metamorphic testing (MT) is currently recognized as one of the effective methods to solve Oracle problems. It indirectly imp...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06N5/00G06N5/02
CPCG06N5/025G06N5/01
Inventor 李萌王丽君阳小华闫仕宇刘杰万亚平李丰源任长安陈珍平谢金森赵鹏程于涛
Owner NANHUA UNIV
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

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