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