![[PukiWiki]](image/wadanyan.png "[PukiWiki]")
#author("2018-04-18T13:59:26+09:00","","") [[勉強会/品質保証/ソフトウェア品質]] #author("2018-05-08T10:33:33+09:00","","") [[勉強会/品質保証]] *デバッグ [#wc83c70a] **デバックの理論と実践 [#zc2dc426] -担当者：とみとみ ***デバッグの理論と実践第1章[#p0278f12] -第1章（pdf）：&attachref(デバッグの理論と実践(第1回)_0.pdf); -メモ --今回は各章の紹介です ***自動デバッグの概論[#p0278f12] -自動デバッグの概論(pdf)：&attachref(自動デバッグの概要.pdf); -資料：&attachref(バグの特徴を用いた自動プログラム修正ツールの比較.pdf); -資料：https://qiita.com/sisomoti/items/e9d1b4dc756300f75abf -資料：http://tech.cygames.co.jp/archives/2937/ -資料：&attachref(C16_79.pdf); -メモ --時間が無く本が読めていないので、今回は大阪大学院生の修士論文とその他サイトの情報を基にして自動デバッグの概論とゲーム業界におけるデバッグについてお話させていただきます。 ***デバッグの理論と実践第2章[#p0278f12] -第2章（pdf）：&attachref(デバッグの理論と実践(第2回).pdf); -メモ --今回は問題をどのように管理するのが適切であるかについてです。 ***デバッグの理論と実践第3章[#p0278f12] -第3章（pdf）：&attachref(デバッグの理論と実践(第3回).pdf); -メモ --今回はデバッグにおけるテストについてです。 ***デバッグの理論と実践第4章[#p0278f12] -第4章（pdf）：&attachref(デバッグの理論と実践(第4回).pdf); -メモ --今回はデバッグにおける問題の再現についてです。 ***デバッグの理論と実践第5章[#p0278f12] -第5章（pdf）：&attachref(デバッグの理論と実践(第5回).pdf); -メモ --今回はデバッグにおける問題の単純化についてです。この本のメインテーマの1つです。 ***デバッグの理論と実践第6章[#p0278f12] -内容 --科学的手法。仮説の構築と検証・実験の実施・一連のプロセスを系統立てて進める方法・デバッグプロセスの明確化 -メモ --時間の都合と内容の優先度を考慮して省略させていただきます。時間があれば作成してアップします。 ***デバッグの理論と実践第7章[#p0278f12] -第7章（pdf）：&attachref(デバッグの理論と実践(第6回).pdf); -メモ --今回は障害に関係する部分を切り取るテクニックであるプログラムスライスについてです。 --特に静的解析におけるプログラムスライスの内容です。動的解析については9章でお話させていただくことになります。 --デバッグとは全く関係の無い内容となりますが、完全数についての説明をリンク付けしておきます。https://ja.wikipedia.org/wiki/完全数 ***デバッグの理論と実践第8章[#p0278f12] -第7章（pdf）：&attachref(デバッグの理論と実践(第7回).pdf); -メモ --今回はプログラムを観察する方法についての内容です。printfデバッグを始めとする様々な観察法について説明します。 ***デバッグの理論と実践第10章[#p0278f12] -第10章（pdf）：&attachref(期待される挙動のアサーション_3.pdf); -メモ --今回はアサーションについての内容です。今回よりkeynoteでスライド作成しています。 ***デバッグの理論と実践第11章[#p0278f12] -第11章（pdf）：&attachref(第１1章 異常の検出.pdf); -メモ --今回はカバレッジについての内容です。詳しい内容は別の本を用いて説明します。 ***デバッグの理論と実践第12章[#p0278f12] -第12章（pdf）：&attachref(第１2章 原因と結果.pdf); -メモ --今回は因果関係と原因の発見の方法についてです。
