Program testing system
A technology for program testing and test cases, applied in program control devices, software testing/debugging, etc., can solve the problem of high cost of white box testing, achieve the effect of efficient and accurate modification work, and overcoming difficulties
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
example 1
[0191] In order to obtain a more concise modification prompt, a device for simplifying the modification prompt can be used to simplify the modification prompt, that is, to delete or merge semantically repetitive or contradictory parts in the modification prompt. The simplification is generally in units of a set of sister hint expressions. The hint expressions generated according to an experienced branch of the path and its previous sister branches are called a set of sister hint expressions. Example 1: The SWITCH structure of C++: switch(X){case0...case 1...case 2...}, the judgment formula of each branch is: X==0 / X==1 / X==2 , if the path has experienced the third branch, then the hint expression generated according to the experienced branch and its former sister branch is: X! = 0 / X! =1 / X==2, obviously, the first two hint expressions are redundant; Example 2: IF structure of C++, if(X>=1000)...else if(X>=100)...else if(X>10)...else..., if the path has gone through the fourth ...
PUM
Login to View More Abstract
Description
Claims
Application Information
Login to View More 