Failure test case generation method for model domain
Patent Information
- Authority / Receiving Office
- CN Β· China
- Current Assignee / Owner
- CHONGQING UNIV
- Publication Date
- 2021-04-20
Smart Images

Figure 1 
Figure 2 
Figure 3
Abstract
Description
technical field
[0001] The invention relates to a method for generating a failure test case, in particular to a method for generating a failure test case in a model domain. Background technique
[0002] In the process of software development and maintenance, the purpose of software debugging is to find and fix errors in the software. It is a time-consuming and labor-intensive process that often requires a significant investment of effort and time from developers. In order to reduce the cost of debugging, researchers have proposed many methods to help debuggers find defects in programs. A typical process of locating program defects is as follows: Suppose there is a program P with a test case set T constructed from the input domain, after the program P executes all the test cases in T, it will generate an information matrix of the model domain, see attached figure 1 . Then use the suspicious value calculation formula to calculate the coverage information of the model domai...