1

命題充足可能性、定理証明、巡回セールスマンなど、多くの種類の難しい計算問題に対して、問題を解決しようとするプログラムのパフォーマンスを評価するために使用できる広範なテストスイートが存在します。

自動バグ検出、つまり、自動的に検出できる種類の既知のバグを含むプログラムまたはコードフラグメントのコレクションにそのようなものはありますか？たとえば、Coverityは内部で使用するためにそのようなものを持っている必要があると思いますが、Google検索では公開されているものは何も表示されないようです。

4

1 に答える 1

3

そのようなスイートは存在しないと思います。「標準」スイートに関する最も明白な質問は、どの言語で書かれるかということです。

C の場合は、SAFECodeのテスト スイート (こちら) を参照できます。SAFECode は、これらのバグを実行時に検出することを目的としていますが、「完璧な」静的解析ツールであれば、おそらくそれらを静的に検出できるはずです。

Frama-Cは、より包括的で、さらに重要な静的解析ツールです。「 C コードの脆弱性を求めて静​​的解析ツールをテスト駆動する」というタイトルの論文を参照してください。この論文は、まさにあなたが求めているテストスイートの必要性を説明しています。また、テスト スイートや一般的なアナライザー間の有効性にもリンクしています。Frama-C には独自のベンチマークがある場合があります。ソースをダウンロードして確認できます。

以下も参照してください。

于 2012-09-19T02:53:12.840 に答える