Program state-oriented fault classification method, mutation testing method and device

A fault classification and program state technology, applied in software testing/debugging, error detection/correction, instrumentation, etc., can solve problems such as low optimization efficiency of mutation testing, sparse fault implications, and reduced evaluation effectiveness, etc., to simplify faults Analyze the effect of cost, good scalability, and reduced number of tests

Inactive Publication Date: 2018-10-16
BEIJING UNIV OF POSTS & TELECOMM
View PDF3 Cites 10 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] 1) Variation sampling: Randomly select a small subset from the full set of variants of the program; the defect of this method is that the reliability of the evaluation results is low;
[0004] 2) Select mutation: select a subset from all fault types (mutation operator) to generate a fault program; the defect of this method is to remove a class of faults, which may reduce the effectiveness of the evaluation;
[0005] 3) Variation clustering: This method clusters faults with "similar behavior" into one category, and only generates one variant for each type of fault, thereby reducing the number of tests; " modeling and further discussion
[0009] Experiments show that the implication relationship of faults is sparse, so only a small number of faults can be deleted, and the optimization efficiency of the current technology for mutation testing is not high

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
  • Program state-oriented fault classification method, mutation testing method and device
  • Program state-oriented fault classification method, mutation testing method and device
  • Program state-oriented fault classification method, mutation testing method and device

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0035] The specific embodiments of the present invention will be described in further detail below in conjunction with the drawings and embodiments. The following examples are used to illustrate the present invention, but not to limit the scope of the present invention.

[0036] The main purpose of the embodiments of the present invention is to provide a fault classification method and a mutation test method based on fault classification. The core idea is to classify all faults that have the same impact on the same program state into one category. If the impact cannot be detected by the test set, all faults of this type cannot be detected. In the embodiment of the present invention, a program state refers to the value of a variable at a certain program point, which is recorded as a two-tuple , Where x is the name of the variable, and t is the corresponding program point; in the fault program, the change of the variable state is called state mutation, and a state mutation passes ...

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 program state-oriented fault classification method, a mutation testing method and a device. The method comprises the following steps of: constructing a fault node set and a state mutation point set for each sentence of a source program to be tested based on a mutation operator corresponding to the syntax of the source program to be tested; constructing a variation flow diagram of the source program to be tested based on the fault node set, the state variation point set, the triggering relationship and the propagation relationship between the state variations of each statement; and according to the direct backward dominance relationship of the variant flow diagram, constructing a fault class dominance tree to perform fault classification on the source program to betested. The invention classifies and sorts the fault programs according to the general fault test principle, and supports multiple types of mutation operators, has good scalability, thereby reducing the test times, optimizing the fault set, simplifying the fault analysis cost, and improving the mutation test efficiency.

Description

Technical field [0001] The present invention relates to the field of software mutation testing, and more specifically, to a program state-oriented fault classification method, mutation testing method and equipment. Background technique [0002] Mutation testing is a type of failure-oriented testing and evaluation technology. It generates a set of failure programs for the code under test and runs the tests to check the test case set's ability to detect program failures. However, a problem faced by mutation testing is that a large number of variants (fault procedures) may be generated, which results in a slow evaluation process and consumes a lot of computing resources and testing costs. In order to optimize the test efficiency, the existing research schemes proposed three solutions: [0003] 1) Variant sampling: randomly select a small subset from the full set of variants of the program; the disadvantage of this method is the low reliability of the evaluation results; [0004] 2) Se...

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 Applications(China)
IPC IPC(8): G06F11/36
CPCG06F11/3688
Inventor 王雅文林欢宫云战金大海
Owner BEIJING UNIV OF POSTS & TELECOMM
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