Hybrid execution test optimization method and device based on constraint segmentation

• Main Authors: CHEN ZHENBANG, SHUAI ZIQI, YIN LIANGZE, WEN YANJUN, CHEN LIQIAN, LIU WANWEI, DONG WEI, WANG JI, LI SHANSHAN, HONG WEIJIANG, MAO XIAOGUANG
• Format: Patent
• Language: Chinese; English
• Published: 05.07.2022
• Subjects: CALCULATING; COMPUTING; COUNTING; ELECTRIC DIGITAL DATA PROCESSING; HANDLING RECORD CARRIERS; PHYSICS; PRESENTATION OF DATA; RECOGNITION OF DATA; RECORD CARRIERS

The invention discloses a hybrid execution test optimization method and device based on constraint segmentation, and the method comprises the steps: constructing an initial input or randomly generating an initial input according to a solution provided by a constraint solver, so as to carry out the specific execution of a tested program; performing symbolic execution along a specific path of program input execution, collecting path constraints, generating a new constraint to be solved by using a search strategy, constructing a variable relation graph, and segmenting the variable relation graph to obtain a sub-graph set; generating a sub-constraint set based on the sub-graph set, performing timeout prediction on each sub-constraint, and generating a sub-constraint set which is predicted to be not timeout and a sub-constraint set which is predicted to be timeout; and solving the non-overtime sub-constraint set by using an SMT solving method, solving the overtime sub-constraint set by using a random generation me