Eureka AIR delivers breakthrough ideas for toughest innovation challenges, trusted by R&D personnel around the world.

Method for generating test data covering parallel program paths based on coevolution

A technology of co-evolution and program path, applied in software testing/debugging, genetic modeling, etc., can solve the problem of no test data generation method, and achieve the effect of solving the problem of test data generation and expanding the application field.

Inactive Publication Date: 2014-07-02
CHINA UNIV OF MINING & TECH
View PDF4 Cites 17 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0007] After reviewing relevant literature, there is no test data generation method suitable for parallel program path coverage

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
  • Method for generating test data covering parallel program paths based on coevolution
  • Method for generating test data covering parallel program paths based on coevolution
  • Method for generating test data covering parallel program paths based on coevolution

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0030] figure 1 Shown is the overall flow chart of the present invention. In the following, the technical solution of the present invention will be clearly and completely described with reference to the drawings and examples.

[0031] Step 1. Establishment of mathematical model

[0032] 1.1 Basic concepts

[0033] Remember the parallel program S={S 0 ,S 1 ,...,S m-1}, where S i (i=0,1,...,m-1) indicates the i-th process, and m is the number of processes. Let the input vector of S be where x j (j=1,2,...,n s ) is the jth input component, and its value range is So, The range of values ​​(that is, the input space of the program) is input vector is the decision vector, correspondingly, it is called x j (j=1,2,...,ns ) is the jth decision component.

[0034] Definition 1: A node considers the i-th process S of S i , and its basic execution unit is called a node. Either all statements contained in a node are executed, or none are executed. A node can be a judg...

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 method for generating test data covering parallel program paths based on coevolution, and aims to provide a method for automatically and efficiently generating test data covering parallel program objective paths. The method includes the following specific steps that firstly, a mathematical model of a test data generation problem is built, and a problem for generating the test data covering the parallel program paths is modeled into a single-object optimization problem; secondly, a coevolution genetic algorithm is designed to solve the model. According to the method, groups are divided into a plurality of sub groups and a cooperative team group according to the correlation of course paths and program input components. Each sub group is used for independently optimizing a part of input components relevant to one certain course path. After the sub groups are evolved into a certain period, excellent individuals of the sub groups are combined to form an initial individual of the cooperative team group so as to be used for optimizing complete program input. After the cooperative group is evolved into a certain period, the excellent individuals are returned to the sub groups. Through alternate coevolution of the cooperative team group and the sub groups, the expected test data are generated.

Description

technical field [0001] The invention relates to the field of computer software testing, and designs a method for generating parallel program path coverage test data, which can be used to generate test data covering target paths in parallel program testing. Background technique [0002] With the development of parallel computing technology, more and more scientific problems are solved by parallel programs, such as image processing, weather forecast, molecular dynamics simulation, etc. Among many parallel program development methods, using the message passing environment to extend the existing serial program can reduce the additional programming burden and improve the efficiency of parallel program development, thus becoming the most commonly used parallel program development method. Typical message passing environments include: message passing interface, parallel virtual machine, CM message passing library, and Express, etc. Among them, the first two are public software and ...

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
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
Eureka Blog
Learn More
PatSnap group products