Judgment method and system for stubborn variant of parallel program

A judgment method and variant technology, applied in instrumentation, electrical digital data processing, calculation, etc., can solve problems affecting the application of variation testing, and achieve the effect of improving testing efficiency

Active Publication Date: 2021-11-02
SHANDONG JIANZHU UNIV
View PDF5 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] A parallel program refers to a program that contains two or more parallel execution processes; a distributed storage parallel program means that each process has its own independent memory. During program execution, the interaction between processes is mainly realized by message passing; Processes are executed in parallel and communicate with each other. Parallel programs can achieve high solution speed and accuracy, and have been widely used in scientific research and production and life, such as weather forecasting, email filtering, and virus analysis; specifically, in addition to general serial In...

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
  • Judgment method and system for stubborn variant of parallel program
  • Judgment method and system for stubborn variant of parallel program
  • Judgment method and system for stubborn variant of parallel program

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0037] The present disclosure provides a method for determining stubborn variants of parallel programs, including:

[0038] According to the execution status of the mutated statement, the execution order of the sending node of the mutated statement is divided into equivalence classes;

[0039] Identify factors that affect variant recalcitrance;

[0040] According to the factors that affect the recalcitrance of the variant, combined with the influence of the execution order of the sending node after the equivalence class division on the factors, the recalcitrant composite index of the variant is calculated;

[0041] Set the threshold and compare it with the recalcitrant composite index to complete the determination of recalcitrant variants.

[0042] In this embodiment, the execution status of the mutated statement is determined according to the variables in the mutated statement; combined with the influence of communication dependence on variables in the set of variables relat...

Embodiment 2

[0112] In this embodiment, the program triangle is selected as the program under test, figure 2 For the code of the program triangle, the performance of the proposed method is evaluated based on variance analysis. The function of this program is to seek the triangle type formed by the first 3 input variables of the program, and calculate the value of type; in this embodiment, the Implement the mutation operation to obtain the mutation statement "w=w-type".

[0113] In order to verify the effectiveness of the determination index for stubborn variants, the following operations are performed: first, according to the calculation method of variant stubbornness disclosed in the present disclosure, the stubborn variants in the program are determined; then, the random method is used to generate test data covering the variant sentences; Finally, these test data are used to execute the program under test with recalcitrant variants. The plausibility of the disclosure was assessed in ...

Embodiment 3

[0162] This embodiment discloses a system for judging stubborn variants of parallel programs, including an equivalence classification module, a stubborn composite index calculation module, and a stubborn variant judging module;

[0163] The equivalence class division module is configured to: perform equivalence class division on the execution order of the sending nodes of the variant statement according to the execution status of the variant statement;

[0164] The recalcitrant composite index calculation module is configured to: determine the factors affecting the recalcitrance of the variant; according to the factors affecting the recalcitrance of the variant, and in combination with the influence of the execution order of the sending node after the equivalence class division on the factors, calculate the variant The recalcitrant composite index;

[0165] The recalcitrant variant determination module is configured to: set a threshold, compare it with the recalcitrant composi...

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 judgment method for stubborn variant of parallel program. The method is characterized by comprising the following steps: performing equivalence class division on an execution sequence of sending nodes of variation statements according to execution conditions of the variation statements; determining intractable factors influencing the variants; calculating intractable composite indexes of the variants according to factors influencing the intractable variants and in combination with the influence of the execution sequence of the sending nodes subjected to equivalence class division on the factors; and setting a threshold value, and comparing the threshold value with the intractable composite index to complete judgment of the intractable variant. The concepts of the parallel programs are combined with the variation test principle, the stubborn variants of the parallel programs are screened out according to the relation between the execution sequence of the sending nodes and the intractable factors influencing the variants, the stubborn variants are emphatically tested, and then the test efficiency is improved.

Description

technical field [0001] The disclosure belongs to the technical field of computer software testing, and in particular relates to a method and system for judging stubborn variants of parallel programs. Background technique [0002] The statements in this section merely provide background information related to the present disclosure and do not necessarily constitute prior art. [0003] Software testing is an important way to improve software quality; in order to test software, it is usually necessary to prepare a certain amount of test data, called test data sets; the adequacy of test data sets is a key prerequisite for improving the credibility of software testing; evaluating a certain The adequacy of the test data set is often achieved by implementing mutation testing on the software under test; the process of implementing mutation testing is as follows: First, the original program is modified slightly according to certain rules and a statement in line with the grammar, 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/36
CPCG06F11/3644G06F11/366
Inventor 田甜杨秀婷王安轼马晓娜
Owner SHANDONG JIANZHU UNIV
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