Modeling and Evolutionary Solving Method for Software Test Data Generation Problems Containing Random Numbers

A technology for software testing and data generation, applied in the field of modeling and evolutionary solving, can solve problems that are difficult to work

Inactive Publication Date: 2016-08-03
CHINA UNIV OF MINING & TECH
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

For complex software with internal uncertain factors such as random numbers, traditional test data generation methods are often difficult to work
[0005] At present, some scholars have conducted research on software testing problems with uncertain operating results, and produced many related research results, but few of them are aimed at software testing with random numbers.

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
  • Modeling and Evolutionary Solving Method for Software Test Data Generation Problems Containing Random Numbers
  • Modeling and Evolutionary Solving Method for Software Test Data Generation Problems Containing Random Numbers
  • Modeling and Evolutionary Solving Method for Software Test Data Generation Problems Containing Random Numbers

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

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

[0032] Step 1. Theoretical research on the adequacy of software testing with random numbers.

[0033] The present invention mainly studies the problem of generating test data based on coverage. The traditional coverage-based test adequacy criterion is described as: given all test targets of the software (which can be statements, branches or paths, etc.), find a test data set in the input space of the program, so that for each test target, the set There is some test data that, when the program is run on that data, is able to cover the test target.

[0034] For conventional software, this criterion has become one of the very important testing methods. But for software that contains random numbers inside, what kind of path will be traversed when running the program with a certain data as input, and those statements will be covered, which will often be affected by random numbers, with great uncertai...

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 an optimization model and an evolution solution method for problems in test data generation for software containing random numbers. Cores of software tests include generating valid test data within a short time. The traditional test data generation methods are frequently difficult to implement effectively for complicated software internally containing uncertain parameters such as random numbers. The optimization model and the evolution solution method have the advantages that test adequacy criteria for the software containing the random numbers are provided at first, the mathematical model for the problems in test data generation for the software containing the random numbers is built on the basis of the test adequacy criteria, and the corresponding evolution optimization solution method is provided.

Description

technical field [0001] The invention relates to a test problem of software containing random numbers, and designs a modeling and evolutionary solution method for the problem of generating test data of software containing random numbers. The runtime behavior of software with random numbers has great uncertainty, so a new method must be used for research. When the evolutionary optimization method is used to establish a mathematical model containing random number software, it becomes more difficult to express the individual fitness value and compare the advantages and disadvantages, and it is even more difficult to generate effective test data. The present invention intends to provide the test adequacy criterion for software with random numbers through the relevant knowledge of uncertain optimization, probability theory and fuzzy mathematics, and establishes an uncertain optimization model for the test data generation problem of software with random numbers based on this, and pro...

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
Inventor 姚香娟巩敦卫王文亮李彬张功杰田甜
Owner CHINA UNIV OF MINING & TECH
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

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap