一种SMT公式自动生成方法、系统及应用

本发明公开了一种SMT公式自动生成方法，所述生成方法基于树结构并结合启发式策略，包括如下步骤：步骤一、配置SMT公式随机生成器，设定初始复杂SMT公式生成参数；步骤二、基于步骤一中设定的SMT公式生成参数随机生成一个或多个初始复杂SMT公式，作为初始种子，并配置变异次数；步骤三、解析随机选取的所述初始种子的模型树结构，通过变异策略对所述初始种子进行变异操作，根据求解时间决定是否进行种子替换；步骤四、重复上述操作，直到达到配置的变异次数，生成所有满足要求的SMT公式。本发明还公开了实现上述方法的系统，具有广泛应用价值。