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年後][5年後] |
こんな記事もあります 「ソフトウェア工学 Why Programs」
・Pascal の生みの親ヴィルトが逝去
・Twitter でいわゆるシャドウバンが分かるようになる？
・IPA がソフトウェア開発分析データ集 2022 を公開
・伏せ字をモザイクにするのは危険？
・FSF が GitHub Copilot に対するホワイトペーパーを公募
・在宅勤務時の PC 利用状況を把握できるアプリ
・個人は RHEL を無料で使えるように（16 システムまで）
・LD_PRELOAD で標準ライブラリの関数の挙動を変更する
・プログラム構造を可視化する Sourcetrail
・改めて Barry Boehm のスパイラルモデルを学ぶ
トラックバックについて
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-2023 by CLES All Rights Reserved.