私たちのグループは、産業プロセスをシミュレートするプロセス モデリング アプリケーションを構築しています。このプロセスの最終出力は、化学物質と流量を表す一連の数値です。
このアプリケーションは、まったく同じ基礎となる数学モデルを使用してシミュレーションを作成する非常に古いソフトウェアに基づいています。シミュレーションには何千もの変数が含まれます。
各コンポーネントは単体テスト済みですが、ソフトウェアによって生成されたデータ出力が古いシミュレーション ソフトウェアのものと一致することを確認できるようにする必要があります。形式化された厳密な方法で、この問題にどのようにアプローチするのが最善かを考えています。
古いプログラムは、テキスト ファイルを介して入力を指定することによって機能するため、プログラムで各変数を取得し、ファイル内の値を調整して (それに応じて新しいアプリケーションでも)、新しいアプリケーションと古いアプリケーションの出力を比較できると考えていました。モデル内のすべての変数に対してこれを行います。
各変数の許容範囲はわかっているので、その特定の変数の正確性を示すには、いくつかの値の各変数のランダム サンプルで十分だと思います。
このアプローチについて何か考えはありますか?他のアイデアはありますか?