| 講演名 | 2016-03-05 初学者向けネットワーク構築演習におけるプログラム解析技術に基づく設定誤り検出法の提案 立岩 佑一郎(名工大), 高橋 直久(名工大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本稿では，初学者向けネットワーク構築演習で，学習者の構築したネットワーク（答案と呼ぶ）において，通信の到達性に関する設定誤りが潜在する領域（誤り潜在域と呼ぶ）を導出する手法を提案する．この手法は，演習問題と答案を入力とし，答案による通信シミュレーションの実行履歴を求め，演習問題から正解の実行履歴パターンを求め，両者の照合結果と誤り潜在域のテンプレート表とを照らし合わせて誤り潜在域を求め，それを出力とする．この手法の特徴は，プログラム解析技術に基づいていること，ネットワークの正解例を必要とせず，演習問題の通信例で代用していること，誤り潜在域をテンプレート化していることである． |
| 抄録(英) | In this study, we propose a method that specifies regions (we call them fault regions) where misconfigurations concerning reachability exist in networks constructed by students. The proposed method receives exercise problems and students' networks as its inputs, computes execution histories of communication simulation for the students' networks, computes patterns of correct execution histories from the exercise problems and then computes their fault regions by comparing the results of both computations with a template table of fault regions, and outputs the regions. The features of this method are that it is based on program analysis techniques and that it substitutes communication examples in exercise problems without the necessity of correct configuration examples. In addition, the proposed method also generates a template of fault regions. |
| キーワード(和) | ネットワーク構築演習 / 到達性 / 誤り潜在域 / 誤り局所化 |
| キーワード(英) | network construction exercise / reachability / fault region / fault localization |
| 資料番号 | ET2015-106 |
| 発行日 | 2016-02-27 (ET) |
| 研究会情報 | |
| 研究会 | ET |
|---|---|
| 開催期間 | 2016/3/5(から1日開催) |
| 開催地（和） | 香川大学（幸町キャンパス） |
| 開催地（英） | Kawaga Univ. (Saiwai-cho Campus) |
| テーマ（和） | 大学連携によるe-Learning・ICT共同活用／一般 |
| テーマ（英） | E-Learning and ICT Cooperative Use by University , etc. |
| 委員長氏名（和） | 松原 行宏(広島市大) |
| 委員長氏名（英） | Yukihiro Matsubara(Hiroshima City Univ.) |
| 副委員長氏名（和） | 小尻 智子(関西大) |
| 副委員長氏名（英） | Tomoko Kojiri(Kansai Univ.) |
| 幹事氏名（和） | 長谷川 忍(北陸先端大) / 鷹岡 亮(山口大) |
| 幹事氏名（英） | Shinobu Hasegawa(JAIST) / Ryo Takaoka(Yamaguchi Univ.) |
| 幹事補佐氏名（和） | 後藤田 中(香川大) / 立岩 佑一郎(名工大) |
| 幹事補佐氏名（英） | Naka Gotoda(Kagawa Univ.) / Yuichiro Tateiwa(Nagoya Inst. of Tech.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Educational Technology |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 初学者向けネットワーク構築演習におけるプログラム解析技術に基づく設定誤り検出法の提案 |
| サブタイトル（和） | |
| タイトル（英） | A Proposal for a Misconfiguration Detection Method based on Program Analysis Techniques for Network Construction Exercises for Beginners |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ネットワーク構築演習 / network construction exercise |
| キーワード(2)（和/英） | 到達性 / reachability |
| キーワード(3)（和/英） | 誤り潜在域 / fault region |
| キーワード(4)（和/英） | 誤り局所化 / fault localization |
| 第 1 著者 氏名（和/英） | 立岩 佑一郎 / Yuichiro Tateiwa |
| 第 1 著者 所属（和/英） | 名古屋工業大学(略称：名工大) Nagoya Institute of Technology(略称：NIT) |
| 第 2 著者 氏名（和/英） | 高橋 直久 / Naohisa |
| 第 2 著者 所属（和/英） | 名古屋工業大学(略称：名工大) Nagoya Institute of Technology(略称：NIT) |
| 発表年月日 | 2016-03-05 |
| 資料番号 | ET2015-106 |
| 巻番号（vol） | vol.115 |
| 号番号（no） | ET-492 |
| ページ範囲 | pp.71-76(ET), |
| ページ数 | 6 |
| 発行日 | 2016-02-27 (ET) |