如何为更新二进制字符串问题生成强测试用例

问：

问题：我有一个长度为 N 和 Q 查询的二进制字符串 S：

• 查询 1：将字符串 S 的所有元素从索引 u 更新为索引 v 以等于 x（其中 x 为 0 或 1）。

• 查询 2：检查 S[x..y] 等于 S[z..t].

我不确定如何为这个问题生成健壮的测试用例。你能帮我吗？我尝试使用区段树或类似的东西。对于任何语言错误，我深表歉意。