Formal description and decomposition method for metamorphic relation

A formalized description and transformation relationship technology, applied in the field of software transformation testing, can solve problems such as lack of understanding of the research background, unintuitive meaning of transformation relations, and incomprehensible description forms

Active Publication Date: 2014-04-09
PLA UNIV OF SCI & TECH
View PDF0 Cites 5 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0007] On the other hand, multiple description forms are difficult to understand
Usually, for these metamorphic relations, especially those that lack a definite mathematical description form, or when the test input appears in a matrix or other complex form, the meaning of the metamorphic relationship is not intuitive without understanding the research background, and its meaning is difficult to understand
[0008] These two factors greatly restrict the application and reuse of transformation relations

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
  • Formal description and decomposition method for metamorphic relation
  • Formal description and decomposition method for metamorphic relation
  • Formal description and decomposition method for metamorphic relation

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0066] Below in conjunction with specific embodiment, further illustrate the present invention, should be understood that these embodiments are only used to illustrate the present invention and are not intended to limit the scope of the present invention, after having read the present invention, those skilled in the art will understand various equivalent forms of the present invention All modifications fall within the scope defined by the appended claims of the present application.

[0067] Such as figure 2 As shown, the flow chart of the formal description and decomposition method of the transformation relationship based on symbolic logic, in order to illustrate the formal modeling, description and decomposition process of the present invention in detail and clearly, this example uses a realization [P(x)]=sin (x) The program P of the function is taken as an example for relevant description. This program is used to calculate y=sin(x).

[0068] Step 1: Create a transformatio...

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 formal description and decomposition method for a metamorphic relation. The method includes the following steps: (1) according to targeted tested software, extracting and designing the metamorphic relation that the software mush satisfy to create the metamorphic relation; (2) performing formal modeling on the obtained metamorphic relation on the basis of symbolic logic, determining constraint conditions under which the metamorphic relation is established, performing formal description, then describing input parameters and output parameters of the metamorphic relation on the basis of the symbolic logic, and establishing a formal description model of the metamorphic relation; (3) on the basis of the formal model, respectively extracting subrelations forming the metamorphic relation and a set description form of a metamorphic relation composition model, and establishing a metamorphic relation decomposition model. The method is simple and clear, description capacity and application range of the formal model are guaranteed through symbolic logic description, the accurate, standard and effective method is provided for description of the metamorphic relation, and the method is more conducive to automated implementation of subsequent metamorphic testing.

Description

technical field [0001] The invention relates to a formalized description and decomposition method of a metamorphosis relationship, which belongs to the technical field of software metamorphosis testing. Background technique [0002] Software testing is currently the main means to discover and determine whether software is faulty, and it is also one of the most effective methods. The biggest problem facing software testing is how to judge whether the output of test cases is correct. This judgment basis is called the test judgment (Test Oracle). This kind of test judgment is often not complete, which is also one of the most important problems faced by software testing, that is, the test judgment problem. [0003] For example, for complex numerical calculations, scientific calculations and other calculation programs and software, such as the solution of partial differential equations, it is difficult for testers to judge whether the output given by the calculation program is ...

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 Applications(China)
IPC IPC(8): G06F11/36
Inventor 惠战伟黄松李辉姚奕胡斌任正平张婷婷王梅娟史涯晴雷小宇
Owner PLA UNIV OF SCI & 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