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

Mutation test data evolution generation method based on statement dominance relationship

A technology for mutation testing and data generation, which is applied in electrical digital data processing, software testing/debugging, genetic laws, etc. It can solve the problems of high consumption of mutation testing and limiting the application of mutation testing.

Pending Publication Date: 2020-06-30
CHINA UNIV OF MINING & TECH
View PDF0 Cites 7 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, as the scale of the program continues to expand, a large number of mutants will be generated during the mutation test, so that under the traditional mutation testing guidelines, it is necessary to execute the complete test program and a large number of mutants to determine whether these mutants can be killed , which leads to high consumption of mutation testing, which limits the application of mutation testing in actual 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
  • Mutation test data evolution generation method based on statement dominance relationship
  • Mutation test data evolution generation method based on statement dominance relationship
  • Mutation test data evolution generation method based on statement dominance relationship

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0054] Embodiments of the present invention will be described in detail below.

[0055] Step 1. Research on mutation testing theory based on sentence dominance relationship.

[0056] The present invention mainly studies the problem of generating variation test data based on sentence dominance relationship. Under the traditional mutation testing guidelines, the program under test and the variant need to be run simultaneously to detect whether the variant is killed. This increases the cost of mutation testing.

[0057] For example, given the tested program G (as shown in (1)), use the mutation operator to act on the third line of the tested program G to generate a variant M (as shown in (2)).

[0058] Assuming that a test data (1, 2, 1) is generated by random method, according to the traditional mutation test criterion, the test data should first be executed with the tested program G and the variant M; then, the tested programs G and M should be observed and Compare the runni...

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 mutation test data evolution generation method based on a statement dominance relationship. One of the key problems of the variation test is to generate test data for effectively killing variants in a short time. Along with increasingly increased program scale and complexity, under a traditional mutation test criterion, a tested program and a variant need to be operated at the same time to detect whether the variant is killed or not, which certainly affects mutation test efficiency. According to the method, firstly, a mutation test criterion based on a statement dominance relationship is given, a mathematical model of a mutation test data generation problem based on the statement dominance relationship is established on the basis, and a corresponding evolutionaryoptimization solving method is given.

Description

technical field [0001] The invention relates to the problem of generating variation test data, and designs an evolutionary generation method of variation test data based on the dominant relation of sentences. As the scale of the program continues to expand, a large number of mutants will be generated during the mutation testing process, so that under the traditional mutation testing guidelines, it is necessary to execute the complete tested program and a large number of mutants to determine whether these mutants can be killed. It leads to high consumption of mutation testing, which limits the application of mutation testing in actual software testing. In order to improve the efficiency of mutation testing, a new method must be used for research. The present invention intends to provide a new mutation testing criterion, that is, to detect program behavior through some inherent features contained in the program itself. If the variant alters these inherent characteristics of th...

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): G06F11/36G06N3/12
CPCG06F11/3688G06F11/3692G06N3/126
Inventor 魏昌卿姚香娟巩敦卫赵倩赵晴
Owner CHINA UNIV OF MINING & 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

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com