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
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
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...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
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