満足可能性モジュロ理論 (SMT)こんにちは、
JMP には「理論を法とする充足可能性」のサポートはありますか? また、ソフトウェア開発者がソフトウェア テスト プランを作成するのに役立つソルバーはありますか?
最高のオラフ
実験計画法Re: 理論による充足可能性 (SMT)JMP Pro は被覆配列を提供します。
Re: 理論による充足可能性 (SMT)ありがとう、マーク。
すべての変数が互いに独立している場合、カバー配列は非常に便利です。
因子制約を考慮する必要があるテスト状況を探しています。
最高のオラフ
Re: 理論による充足可能性 (SMT)Covering Array プラットフォームで因子制約を定義できます。このプラットフォームに関する章を読みましたか?
