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

A Path Coverage Test Data Generation Method for Weak Mutation Test

A technology for path coverage testing and data generation, applied in software testing/debugging, electrical digital data processing, error detection/correction, etc., can solve the problem of low efficiency of weak mutation testing

Inactive Publication Date: 2018-10-16
XUZHOU UNIV OF TECH
View PDF3 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 overcome the low efficiency of the existing weak mutation test, transform the defect-oriented weak mutation test problem into a mature path coverage problem; and use the genetic algorithm to generate test data, which can not only pass through the target path, and can find defects in the target path, improving the efficiency of software testing

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 Path Coverage Test Data Generation Method for Weak Mutation Test
  • A Path Coverage Test Data Generation Method for Weak Mutation Test
  • A Path Coverage Test Data Generation Method for Weak Mutation Test

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0055] The technical solutions in the embodiments of the present invention will be clearly and completely described below in conjunction with the drawings in the embodiments of the present invention. Apparently, the described embodiments are only some of the embodiments of the present invention, but not all of them. Based on the embodiments of the present invention, all other embodiments obtained by persons of ordinary skill in the art without making creative efforts belong to the protection scope of the present invention.

[0056] Such as figure 1 As shown, it is a general flowchart of a method for generating path coverage test data for weak mutation testing proposed by the present invention. The method includes:

[0057] Step 1 convert weak mutation test to path coverage test

[0058] 1.1 Basic concepts

[0059] The construction method of the mutation branch refers to the method in the article "Automatically performing weak mutation with the aid of symbolic execution, co...

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 discloses a path coverage test data generation method used for a weak mutation test, and aims to convert a weak mutation test problem into a path coverage problem so as to effectively improve mutation test efficiency and generate test data which has a high defect detection capability. The path coverage test data generation method comprises the following steps: firstly, on the basis of weak mutation test criterion, constructing mutation branches, and adopting a certain method to generate a mutation branch correlogram on the basis of relevancy between the mutation branches and the coverage difficulty of each mutation branch; then, on the basis of the correlogram, according to a certain strategy, generating en executable path set which can be easily covered; thirdly, constructing a multi-target optimization mathematical model of a multi-path coverage test data generation problem; and finally, adopting a multi-population parallel genetic algorithm to generate the test data which covers the paths.

Description

technical field [0001] The invention relates to the field of computer software testing, and designs a method for generating path coverage test data for weak mutation testing. The difference between this method and the original method is that it converts the weak mutation test problem into a path coverage problem, and the generated target paths are easy to cover and the path set is relatively small. Covering these path test data has a strong error detection ability. Background technique [0002] Software testing is an important means to ensure software quality. Through testing, not only can detect possible defects in software, but also improve the reliability of software. Mutation testing is a defect-oriented software testing method. Through manual analysis, defects are inserted into the program to simulate real defects. These defects largely reflect the real defects of the software. [0003] Mutation testing refers to making a small grammatical change to a certain sentence ...

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/3676G06F11/3684
Inventor 不公告发明人
Owner XUZHOU UNIV OF TECH
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