你好，
JMP 中是否支援“可滿足性模理論”，或者是否有任何求解器可幫助軟體開發人員創建軟體測試計劃？
最佳奧拉夫
JMP Pro 提供覆蓋數組。
謝謝馬克，
如果所有變數彼此獨立，則覆蓋數組非常有用。
我正在尋找必須考慮因素限制的測試情況。
您可以在 Covering Array 平台中定義因子限制。您閱讀了有關該平台的章節嗎？
