私がこれが大きい理由を平易な英語で説明させてください。形式的検証は、セキュリティを確認する非常に強力な方法です。通常、人々はコードをテストする際に、多くの例を試して動作を確認します。問題は、テストはあなたが試そうと思ったケースだけをカバーするということです。バグはまだ隠れている可能性があります。

原文表示
このページには第三者のコンテンツが含まれている場合があり、情報提供のみを目的としております(表明・保証をするものではありません)。Gateによる見解の支持や、金融・専門的な助言とみなされるべきものではありません。詳細については免責事項をご覧ください。
  • 報酬
  • コメント
  • リポスト
  • 共有
コメント
コメントを追加
コメントを追加
コメントなし
  • ピン留め