Metamorphic relation testing priority ranking method based on quantitative measurement

A technology for prioritization and metamorphic relations, applied in the field of formal description and decomposition of metamorphic relations, can solve problems affecting the effectiveness of measurement and evaluation criteria

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

AI Technical Summary

Problems solved by technology

This also affects the validity of t

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 relation testing priority ranking method based on quantitative measurement
  • Metamorphic relation testing priority ranking method based on quantitative measurement
  • Metamorphic relation testing priority ranking method based on quantitative measurement

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0058] 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.

[0059] In order to illustrate the quantitative measurement and sorting process of the present invention in detail and clearly, this example takes a program P that realizes the [P(x)]=sin(x) function as an example for related description. This program is used to calculate y=sin(x).

[0060] Step 1: Obtain the input relationship and output relationship for the target transformation relationship;

[0061] (1) to (7) are binary output transformation relations, (8) to (10) are multi-input transformati...

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 relation testing priority ranking method based on quantitative measurement. The method includes: based on testing coverage, measuring in-degree of input relations of metamorphic relations, measuring complexity of output relations, and measuring spacing of relevant test inputs of the input relations to obtain three effectiveness metric units for the metamorphic relations. When results of the three effectiveness metric units are inconsistent, ranking is performed according to PIR (InD(IR)) > PIR (AC(OR)) > PIR (Dis(IR)). Through the application of the three metric units, metamorphic relation testing priorities can be quickly ranked without prior test execution. The metamorphic relation testing priority ranking method based on quantitative measurement has the advantages that quantitative basis is provided for the effectiveness measurement of metamorphic relations, feasible means is provided for setting testing priorities; through the application of quantitative measurement, the method compared to traditional experiential conclusions is simpler, more accurate and more feasible, the application range of priority design is guaranteed, and the precise, effective method is provided for the selection and ranking of metamorphic relations.

Description

technical field [0001] The invention relates to a method for prioritizing a metamorphosis relationship test based on quantitative measurement, relates to a formalized description and decomposition method of a metamorphosis relationship, and belongs to the technical field of software metamorphosis testing. Background technique [0002] In software testing, it is often assumed that test judgments exist, which is also known as test judgment assumptions. However, this assumption is often difficult to hold in practice. Because in many cases, the cost of verifying the correctness of a test case execution result is very high, even impossible to verify under the existing conditions. This is the usual sense of the "test decision problem." In addition, under some other conditions, even if the test judgment can be obtained, this method of obtaining the test judgment cannot be realized automatically, and also requires the participation of manual activities. At this time, manual verif...

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
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