BLOGTIMES
« :: »
2016/06/20

デバッグの理論と実践 ―なぜプログラムはうまく動かないのか

  softwareengineering  programming 
このエントリーをはてなブックマークに追加

デバッグの理論と実践 ―なぜプログラムはうまく動かないのかWhy Programs Fail, Second Edition: A Guide to Systematic Debugging

Why Programs Fail の原著*1は持っているのですが、邦訳版「デバッグの理論と実践 ―なぜプログラムはうまく動かないのか」出ていることを知らなかったので買ってみました。

この本ではバグの除去を TRAFFIC という7つのステップで解説しています。原著だと p.20 の部分になりますが、それぞれTrack（BTS/ITSに登録する）、Reproduce（Failure*2 を再現させる）、 Automate（テストケースの自動化・簡略化）、Find（Failure を起こしたモジュールから、依存性を利用してプログラムをさかのぼる）、Focus（不具合の発生について複数の可能性がある場合に始めに試すべきこと）、Isolate（科学的な方法を使って Fault Localization を行う）、Correct（不具合を除去し、それを検証する）といったところでしょうか。

日本語だと読みやすいのでささっと読んでしまう予定です。


by hsur at 20:55 [5年前][4年前][3年前][2年前][1年前][1年後][2年後][3年後][4年後] |
こんな記事もあります 「Failure Fault Localization」
・PyYAML の dump がちょっと変？
・Omnios で「Not on system console」と言われたので・・・
・リモートとローカルで rsync のパスが違う場合は --rsync-path を使う必要がある
・USB Type-C → Type-A の変換は仕様違反？
・マイナポイントをゲットしました
・ という感じで、input ...[2020-08-23 23:38:00]">Ant で起動したプログラムに標準入力から文字列を与える
・Eclipse で行の折り返し(Word Wrap)を切り替える
・シンプルな DateTime ピッカー「jQuery Date/Time Entry」
・Python でも nkf
・MPT BIOS Fault が出たので SAS HBA を交換
トラックバックについて
Trackback URL:
お気軽にどうぞ。トラックバック前にポリシーをお読みください。[policy]
このエントリへのTrackbackにはこのURLが必要です→https://blog.cles.jp/item/8573
Trackbacks
このエントリにトラックバックはありません
Comments
愛のあるツッコミをお気軽にどうぞ。[policy]
古いエントリについてはコメント制御しているため、即時に反映されないことがあります。
コメントはありません
Comments Form

コメントは承認後の表示となります。
OpenIDでログインすると、即時に公開されます。

OpenID を使ってログインすることができます。

Identity URL: Yahoo! JAPAN IDでログイン

« :: »
Copyright © 2004-2020 by CLES All Rights Reserved.