Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

A redundant variant identification method and identification device

An identification method and variant technology, applied in instrumentation, error detection/correction, calculation, etc., can solve the problems of huge number of variants and high cost of variant execution time, so as to reduce the number of variants, reduce time cost, and improve The effect of efficiency

Active Publication Date: 2020-08-11
UNIV OF SCI & TECH BEIJING
View PDF5 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0009] The technical problem to be solved by the present invention is to provide a redundant variant identification method and identification device to solve the problem that the large number of variants in the prior art leads to huge execution time of variants

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

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0062] Such as figure 1 As shown, the redundant variant identification method provided by the embodiment of the present invention includes:

[0063] S101, dividing the variants into different variant groups according to the position of the variant;

[0064] S102, performing code preprocessing on the original program and the variant group, so that the variants in the original program and the variant group can perform selective symbolic execution;

[0065] S103, performing selective symbolic execution on the preprocessed original program and the variant, and recording the symbolic execution status of the original program and the variant after execution;

[0066] S104, comparing the symbolic execution states of the original program and the variant to generate a state change sequence;

[0067] S105. In each variant group, identify the variant to which the recurring state change sequence belongs as a redundant variant.

[0068] In the method for identifying redundant variants de...

Embodiment 2

[0136] The present invention also provides a specific implementation of a redundant variant identification device. Since the redundant variant identification device provided by the present invention corresponds to the specific implementation of the aforementioned redundant variant identification method, the redundant variant identification device The purpose of the present invention can be achieved by executing the process steps in the specific implementation of the above method, so the explanations in the specific implementation of the redundant variant identification method above are also applicable to the specific implementation of the redundant variant identification device provided by the present invention. Embodiments will not be repeated in the following specific embodiments of the present invention.

[0137] Such as Figure 4 As shown, the embodiment of the present invention also provides a redundant variant identification device, including:

[0138] The grouping modu...

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 a redundant variant identification method and identification device, capable of effectively reducing the time expenditure of a variant test execution process under the conditionof not reducing the effectiveness of a variant test. The redundant variant identification method comprises the following steps: dividing variants into different variant groups according to variationpositions; carrying out code preprocessing on the original program and the variant group, so that variants in the original program and the variant group can be selectively symbolized and executed; performing selection symbolic execution on the preprocessed original program and variant, and recording symbolic execution states of the original program and variant after execution; comparing the symbolic execution states of the original program and the variants to generate a state change sequence; and in each variant group, identifying the variants to which the repeatedly occurring state change sequences belong as redundant variants. The invention relates to the technical field of software.

Description

technical field [0001] The invention relates to the field of software technology, in particular to a redundant variant identification method and identification device. Background technique [0002] Software testing can reveal faults in programs and is an important means to ensure software quality. But practice shows that it is impossible to find all program failures. In order to detect as many potential faults in the software as possible, it is necessary to ensure the adequacy of software testing. Test adequacy criteria can quantitatively evaluate the adequacy of software testing. The criteria for software testing adequacy are divided into several perspectives: [0003] (1) The test adequacy criterion based on the program structure measures the adequacy of the test using the degree of coverage of the program components by the test cases; [0004] (2) The function-based testability adequacy criterion measures the adequacy of the test by using the degree of coverage of the...

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/3624G06F11/3668G06F11/3688
Inventor 孙昌爱唐锦郭新玲
Owner UNIV OF SCI & TECH BEIJING
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products