你好，
JMP 是否支持“可满足性模量理论”或者是否有可用的求解器来帮助软件开发人员创建软件测试计划？
最佳奥拉夫
JMP Pro 提供覆盖阵列。
谢谢你，马克，
如果所有变量彼此独立，则覆盖数组非常有用。
我正在寻找必须考虑因素限制的测试情况。
您可以在覆盖阵列平台中定义因子约束。您读过关于此平台的章节吗？
