プロジェクトの説明

Daikonは、不変条件(と推定されるもの)の動的検出の実装です。不変条件は、プログラム内の各時点で保持されている(例えば "x=2*y+5"、"this.next.prev=this"、"myarrayは昇順にソートされている"といった)プロパティです。不変条件はassert文、ドキュメント、形式仕様でしばしばみられます。不変条件はプログラムの理解や多数の他のアプリケーションに有用です。Daikonは、プログラムを実行し、プログラムの計算した値を観測し、観測された実行を通してtrueであったプロパティを報告します。Java、C、C++、Perl、IOAのプログラム、スプレッドシート、その他のデータソース内のプロパティを検出することが出来ます。

(最終翻訳者: 匿名さん) 翻訳してみる 原文を表示する

レビュー
あなたの評価
レビューする