String 如何生成满足某些限制的字符串？

有谁能帮我一下生成满足某些限制的字符串的技术吗

例如，假设我需要生成字符串s和t

      length(s) < length(t)
      length(t) > 12
      t contains at least 3 capital letters
and   s contains a 2

长度（s）12
t至少包含3个大写字母
s包含一个2

我不是指这个特定的示例，而是指一些生成满足特定条件的字符串的通用技术

检查以下内容：

好的讨论和想法。 谢谢

---

Manuel

相关：闻起来像作业，这是作业吗？相关，来自同一用户：不是作业。我只需要生成满足某些条件的字符串和整数，还没有找到比边值分析和等价划分更好的技术。这些似乎还不够，所以我想知道在这方面有更多经验的人是否可以指导我的研究。谢谢