Unlock instant, AI-driven research and patent intelligence for your innovation.

Method for generating coverage test case of given condition in multi-value coupling logic

A test case generation and coverage technology, applied in software testing/debugging, error detection/correction, instrumentation, etc., can solve problems such as the generation method of coverage test cases that have not yet been seen

Pending Publication Date: 2020-12-08
北京一仿科技有限公司
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0007] Therefore, no coverage test case generation method for given conditions in multi-valued, coupled logic has yet been seen

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
  • Method for generating coverage test case of given condition in multi-value coupling logic
  • Method for generating coverage test case of given condition in multi-value coupling logic
  • Method for generating coverage test case of given condition in multi-value coupling logic

Examples

Experimental program
Comparison scheme
Effect test

example 1

[0114] Example 1, the basic condition C=(s==1), and there is s0∈[0,10], the resolution is 1. Set the value of C to False, then s * ! =1. Take the intersection with s0, then there is s1∈{[0,1),(1,10]}.

example 2

[0115] Example 2, the basic condition C=(s>80), and there is s0∈[0,60], the resolution is 0.01. Set the value of C to True, then s * >80. If it intersects with s0, then s1 is an empty set, and the assignment fails.

[0116] 2. The assignment scheme of the signal associated with the given condition.

[0117] Through the above-mentioned independent condition assignment process, for a given condition that is leaf node l (let l=r(s j ), 1≤j≤p, that is, the leaf node l is the signal s j The relational operation of , that is, s j For a given signal), the given condition can be obtained as an assignment set S' of an independent condition. S' gives the value range of p signals in the logical expression L, and the value range can be guaranteed by s j The value of the determined condition l can independently determine the result of the logical expression L.

[0118] Signal s can be obtained by S' j The value range after assignment is R.

[0119] Let the expected output value of ...

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 method for generating a coverage test case of a given condition in multi-value coupling logic. The method can be applied to software black box testing, equipment testing, system testing and the like. According to the method, other signal assignments enabling a given signal to independently determine an expression result can be obtained, whether the given signal can independently determine the expression result or not can be judged, and a value domain range of the signal independently determining the expression result can also be obtained, so that on the basis of the value domain range, boundary testing or other types of value testing are conducted.

Description

technical field [0001] The invention relates to the technical field of system testing, in particular to a method for generating coverage test cases for given conditions in multi-valued coupling logic. Background technique [0002] In a complex system, the triggering of certain states is determined by a complex logic relationship composed of dozens or even hundreds of signals. When testing this logical relationship, it is often necessary to test the signals under a specific logic branch separately to verify whether the tested object satisfies the input-output relationship determined by the specific signal. [0003] After investigation, it was found that the MC / DC (Modified Conditional Decision Coverage) test case set generated for Boolean logic expressions, including the requirement that each condition can independently determine the logic output, is consistent with the above requirements. [0004] By analyzing the existing MC / DC test case set generation algorithm, the liter...

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
CPCG06F11/3684G06F11/3688
Inventor 董西路
Owner 北京一仿科技有限公司