dk

不変検出器
今すぐダウンロード

dk ランキングとまとめ

広告

  • Rating:
  • 出版社名:
  • Program Analysis Group
  • オペレーティングシステム:
  • Windows All
  • ファイルサイズ:
  • 90.2 MB

dk タグ


dk 説明

ダイコンは可能性のある不変性の動的検出の実装です。つまり、Daikon Invariant Detectorはプログラム不変式を報告します。 Invariantは、プログラム内の特定の点またはポイントを保持するプロパティです。これらはしばしばアサートステートメント、ドキュメンテーション、および正式な仕様で見られます。不変式は、プログラム理解と他のアプリケーションのホストに役立ちます。例としては、「.field> ABS（Y）」を含む。 「y = 2 * x + 3」。 「配列Aはソートされています」。 "すべてのリストオブジェクトの場合はlst、lst.next.prev = lst"; "すべてのTreeNodeオブジェクトn、n.left.value


dk 関連ソフトウェア

連続試験

ソースコードが編集されるにつれて、テストスイートの障害について開発者に迅速なフィードバックを提供します。 ...

254 3.8 MB

ダウンロード

私たちに関しては