摘要 背景：软件测试对于确保复杂优化和约束满足系统的质量至关重要。尽管面向命令式编程语言的测试技术已经相当成熟，但将其应用于MiniZinc等声明式语言仍然在很大程度上被忽视。