Loading article…
デルタデバッグは、仮説-試行-結果ループの科学的アプローチを使用してプログラムのデバッグを自動化する方法論です。この方法論は、1999年にザールラント大学のアンドレアス・ツェラーによって初めて開発されました。[1]
実際には、Delta デバッグ アルゴリズムは、ユニット テストに基づいて、失敗の原因を自動的に分離します。つまり、失敗を誘発する状況を体系的に絞り込み、最小限のセットが残るようにします。たとえば、探しているバグを生成するテスト ケースを提供できる場合は、それを Delta デバッグ アルゴリズムに渡すことができます。これにより、1 最小のプログラムが見つかるまで、バグの再現に必要のない無駄な関数やコード行が単純に削減されます。
デルタ デバッグは、障害を引き起こすプログラム入力 (Web ブラウザーを失敗させる HTML ページなど)、障害を引き起こすユーザー操作 (プログラムをクラッシュさせるキーストロークなど)、または障害を引き起こすプログラム コードの変更 (回帰テストの失敗後など) を分離するために適用されています。
その後、リビジョン コントロールシステムのbisect コマンド(git-bisect、svn-bisect、hg-bisect など)などのいくつかのソフトウェア開発ツールがデルタ デバッグに触発され、プログラムのコードで作業するのではなく、問題のある変更が見つかるまでさまざまなバージョンを比較することで、コード履歴にデルタ デバッグ手法を適用しました。
最近、デルタデバッグに基づくネットワークダイアログ最小化技術が提案され、元のダイアログからネットワークトラフィックの最小のサブセットを見つけ、それを再生しても元のダイアログと同じ目標を達成できるようにしています[2]
ソフトウェア
- デルタ - 興味深さのテストの対象となる「興味深い」ファイルを最小化するコンピュータプログラム[3]
- DD.py - Delta Debugging の Python 実装。チュートリアルも参照してください。
- Lithium - 強化された Delta デバッグ アルゴリズムの Python 実装
- C/C++で書かれたソースファイルを縮小するC-Reduceは、Deltaアルゴリズムを使用する。
- Perses - Delta デバッグ アルゴリズムを採用した、プログラム最小化のための言語に依存しないリデューサー。
- DustMite - 主にDプログラムの削減に使用される汎用データ削減ツール。[4]
- Eclipse プラグイン
- DDinput - 失敗を誘発する入力
- DDchange - 失敗を誘発する変更
- DDstate - 障害を誘発する状態
- XMLメイト[5]
- Common Lispの実装
- Igor - コマンドラインツール 2011-07-19 にWayback Machineでアーカイブされました
参照
参考文献
- アンドレアス・ツェラー：なぜプログラムは失敗するのか：体系的なデバッグガイド、モーガン・カウフマン、ISBN 1-55860-866-4
- コードの歴史から学ぶ Delta Debugging のオリジナル発明者による Google Tech Talk でのプレゼンテーション
- ^ Zeller, Andreas (1999). 「昨日はプログラムが動いていたのに、今日は動かない。なぜ?」.ソフトウェア エンジニアリング — ESEC/FSE '99 . コンピュータ サイエンスの講義ノート. 第 1687 巻. Springer. pp. 253–267. doi :10.1007/3-540-48166-4_16. ISBN 978-3-540-66538-0。
- ^ M. Zubair Rafique 他「ネットワーク ダイアログの最小化とネットワーク ダイアログの差分化: ネットワーク セキュリティ アプリケーション向けの 2 つの新しいプリミティブ」(PDF)。第 30 回年次コンピュータ セキュリティ アプリケーション カンファレンス (ACSAC 2014) の議事録。ACM。
- ^ danielwilkerson.com
- ^ 汎用データ削減ツール DustMite
- ^ 「遺伝的アルゴリズムによるソフトウェアエラーの検出」 2014年3月5日. 2015年7月22日閲覧。
外部リンク
- デルタデバッグプロジェクト - デルタデバッグツールとメソッドへのリンクの広範なコレクション
- Andreas Zeller によるソフトウェア デバッグに関する Udacity コース