Unlock instant, AI-driven research and patent intelligence for your innovation.

Equivalent variant identification method and device

A recognition method and a technology of a recognition device, which are applied in the computer field, can solve problems such as inability to simulate errors, and achieve the effect of improving test results

Inactive Publication Date: 2020-10-02
SICHUAN UNIV
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Equivalent variants refer to those variants that are different from the original program in terms of syntax (text level), but are identical to the original program in semantics (functional level). Since the equivalent variants are functionally identical to the original program, therefore The output on any test set is the same as the original program, that is, the equivalent variant is completely correct in function and cannot simulate any errors in the software development process

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
  • Equivalent variant identification method and device
  • Equivalent variant identification method and device
  • Equivalent variant identification method and device

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0024] The following will clearly and completely describe the technical solutions in the embodiments of the present invention with reference to the accompanying drawings in the embodiments of the present invention. Obviously, the described embodiments are only some, not all, embodiments of the present invention. The components of the embodiments of the invention generally described and illustrated in the figures herein may be arranged and designed in a variety of different configurations. Accordingly, the following detailed description of the embodiments of the invention provided in the accompanying drawings is not intended to limit the scope of the claimed invention, but merely represents selected embodiments of the invention. Based on the embodiments of the present invention, all other embodiments obtained by those skilled in the art without making creative efforts belong to the protection scope of the present invention.

[0025] It should be noted that like numerals and let...

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

An embodiment of the invention provides an equivalent variant identification method. The equivalent variant identification method comprises the steps of obtaining source codes of a to-be-identified variant; according to the source codes, generating a graph model of the to-be-identified variant; according to the graph model, searching for multiple propagation paths of the to-be-identified variant;and by searching for whether the propagation path in an error state generated by outputting the to-be-identified variant exists in the propagation paths or not, obtaining an identification result.

Description

technical field [0001] The present invention relates to the field of computer technology, in particular to a method and device for identifying equivalent variants. Background technique [0002] Mutation testing is an error-based software testing method. By injecting various tiny grammatical errors into the program to be tested, a large number of error programs called variants are generated to simulate the errors that occur during the software development process. True error, the effectiveness of the test set is measured according to the ability of the test set to distinguish the original program from the wrong program. If the output of a variant on the test set is different from the original program, the variant is said to be killed by the test set, otherwise it is called This variant survives. Equivalent variants refer to those variants that are different from the original program in terms of syntax (text level), but are identical to the original program in semantics (func...

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
Patent Type & Authority Patents(China)
IPC IPC(8): G06F11/36
CPCG06F11/3684G06F11/3696
Inventor 林涛刘海陆吴芝明黎鸣
Owner SICHUAN UNIV