------------------------------------------------------------------ 第 396 回 PTT のお知らせ --- Programming Tools and Techniques --- ------------------------------------------------------------------ ■日時: 2014年4月30日 (水) 18:30 から ■場所: 慶應義塾大学矢上キャンパス 14棟-212教室 (ディスカッションルーム2) http://www.st.keio.ac.jp/outline/guide.html ------------------------------------------------------------------ ■話者: 吉村 剛 (慶應義塾大学) ------------------------------------------------------------------ ■題名: Linux カーネルにおけるエラー伝播とバグの実態調査 ------------------------------------------------------------------ ■概要: Linux カーネルはサーバや組み込み機器を中心に広く使用されるようになり, 高い信頼性を要求される場面も増えてきている.一方で,linux においても信頼性 低下の要因となるバグが避けられていないことが多くの調査で示されており, コード解析やテストなどのバグ対策が必須となる.しかし,linux はコードが複雑・ 巨大で変化が速いため,現実的にはバグ対策は効率的であることが求められる. バグ対策の効率化に向けて,バグによって発生するエラーの実態や,発生しやすい バグの傾向を知ることは重要である.本発表では,1) linux カーネルのクラッシュ 前後の挙動をフォールトインジェクションとデバッガで追跡する調査, 2) linux カーネルにおいてよく発生していたバグの実態をパッチ説明文の自然言語処理 を用いることで分析する調査,の2つについてその方法と結果を紹介する. ------------------------------------------------------------------ ■アクセス情報: 慶應義塾大学矢上キャンパス 14棟-212教室 (ディスカッションルーム2) 矢上キャンパスまで:http://www.st.keio.ac.jp/access/index.html キャンパス概略図:http://www.st.keio.ac.jp/outline/guide.html 14 棟は矢上キャンパス手前のスロープを上がってすぐにある建物です. 212 教室へのアクセス:14 棟手前の階段を上って左右ある自動ドアの右側から 入って,エレベータから 2 階に上がって左手奥から2つ目の部屋です. ------------------------------------------------------------------