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

Metamorphic test method for concurrent program

A technology of metamorphosis testing and programs, applied in the field of metamorphosis testing of concurrent programs, which can solve problems such as inapplicable data competition types

Active Publication Date: 2021-05-18
UNIV OF SCI & TECH BEIJING
View PDF5 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, a data race that occurs during program execution may not cause the program to deadlock or crash, nor may it violate the inserted assertion, making the above method unsuitable for revealing data race-type failures

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
  • Metamorphic test method for concurrent program
  • Metamorphic test method for concurrent program
  • Metamorphic test method for concurrent program

Examples

Experimental program
Comparison scheme
Effect test

no. 1 example

[0046] The first thing to say is that metamorphic testing is a technique for alleviating the problem of testing expectations. This technology utilizes certain intrinsic properties (transformation properties) of the program to be tested to generate test cases (including original test cases and derived test cases), and then executes the original test cases and derived test cases to obtain corresponding outputs. By verifying whether the output satisfies A certain relationship (transformation relationship) is used to judge the test results. Metamorphic testing technology does not need to know the expected output corresponding to each test case, which can effectively alleviate the problem of test expectations.

[0047] Based on the above, aiming at the test expectation problem in the concurrent program testing process, this embodiment provides a concurrent program metamorphosis testing method, which can be implemented by an electronic device, and the electronic device can be a term...

no. 2 example

[0093] This embodiment provides an electronic device, which includes a processor and a memory; at least one instruction is stored in the memory, and the instruction is loaded and executed by the processor, so as to implement the method of the first embodiment.

[0094] The electronic device may have relatively large differences due to different configurations or performances, and may include one or more processors (central processing units, CPU) and one or more memories, wherein at least one instruction is stored in the memory, so The above instruction is loaded by the processor and executes the above method.

no. 3 example

[0096] This embodiment provides a computer-readable storage medium, where at least one instruction is stored, and the instruction is loaded and executed by a processor, so as to implement the method of the above-mentioned first embodiment. Wherein, the computer-readable storage medium may be ROM, random access memory, CD-ROM, magnetic tape, floppy disk, optical data storage device and the like. The instructions stored therein can be loaded by the processor in the terminal to execute the above method.

[0097] In addition, it should be noted that the present invention may be provided as a method, device or computer program product. Accordingly, embodiments of the invention may take the form of an entirely hardware embodiment, an entirely software embodiment or an embodiment combining software and hardware aspects. Furthermore, embodiments of the invention may take the form of a computer program product embodied on one or more computer-usable storage media having computer-usabl...

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 metamorphic test method for a concurrent program in order to solve the test expectation problem existing in a concurrent program test, and the metamorphic test method comprises the following steps: aiming at the characteristic of executing interlacing by the concurrent program, guiding the identification of a metamorphic relation mode by using an interlacing scene capable of triggering data competition; taking the execution track of the original test case as an original execution sequence, generating a derivative test case according to the metamorphic relation mode, and controlling the execution of the derivative test case; verifying the test result by comparing whether the output results of the derivative test case and the original test case violate the current metamorphic relation mode or not; meanwhile, a metamorphic relation mode of concurrent programs is provided, and generation of derivative test cases and judgment of test results are guided. According to the method, the execution process of the program is optimized by reducing the interlaced space of the concurrent program, and the data competition fault in the concurrent program can be effectively detected.

Description

technical field [0001] The invention relates to the technical field of software testing, in particular to a method for metamorphosis testing of concurrent programs. Background technique [0002] Concurrent programs have multiple concurrently executing processes, and the processes usually share some storage space explicitly or implicitly, and their execution order is uncertain. The situation of non-deterministic interactions and influences between concurrent processes is often referred to simply as execution interleaving. Execution interleaving not only easily leads to the introduction of new defects in the design phase of concurrent programs, but also brings challenges to the analysis and testing of concurrent programs. How to effectively detect hidden defects in concurrent programs and improve the reliability of concurrent programs has become an important problem to be solved in the field of concurrent program development. [0003] Software testing is a widely used method...

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/3688G06F11/3684G06F11/3692Y02D10/00
Inventor 孙昌爱代贺鹏耿宁
Owner UNIV OF SCI & TECH BEIJING
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