混成系统伪证生成的时间分段增强

基于优化的伪证生成采用随机优化算法来搜索混成系统的错误输入。本文引入一种增强伪证生成的简单思路，即时间分段，它使优化器能够利用时变信号的时序因果结构。时间分段包括多次运行伪证生成求解器，从一个区间到另一个区间，逐步构造输入信号候选。我们的实验表明，时间分段在一些实际例子中能显著提升性能。我们还给出了理论结果，指出时间分段可能有效的模型与规约类型。