私はテストの初心者です。約 14 個の変数と出力を受け取るモジュールを開発しましたTrue/False。テストには、「Quickcheck」を使用してランダムに生成されたテスト ケースを使用しました。
ただし、14 個の変数はランダムに生成されます (手動で記述するにはテスト ケースの数が膨大であるため)。真理値についてはわかりません。モジュールの結果をアサート検証するにはどうすればよいでしょうか。
これはエンジニアリングの問題です: 生成テスト ケースを作成するときに、人々はどのようにアサートしますか?