SAT技术/问题：最根本的约束求解问题
本报告关注的是SAT采样：找到多个具有高度多样性的解（赋值）→ 测试用例的生成问题（例：为带有复杂参数/参数间约束的命令行程序生成测例）
现状
- 均匀采样
- 自适应加权采样
- ……
LS-Sampling 迭代生成满足子句的赋值
生成时，不考虑可满足性，生成后考虑最小的修改使其可满足
自适应采样概率 0或1的采样概率和当前已经采样的数目/频数有关
衡量多样性：t-wise元组的覆盖率
SAT技术/问题：最根本的约束求解问题
本报告关注的是SAT采样：找到多个具有高度多样性的解（赋值）→ 测试用例的生成问题（例：为带有复杂参数/参数间约束的命令行程序生成测例）
现状
LS-Sampling 迭代生成满足子句的赋值
生成时，不考虑可满足性，生成后考虑最小的修改使其可满足
自适应采样概率 0或1的采样概率和当前已经采样的数目/频数有关
衡量多样性：t-wise元组的覆盖率