講演抄録/キーワード |
講演名 |
2010-11-26 14:20
アセンブラプログラミング演習におけるチャンク分解とプログラムスライス抽出に基づく答案評価法 ○立岩佑一郎(名工大)・吉田裕一(パナソニック アドバンストテクノロジー)・山本大介・高橋直久(名工大) ET2010-58 |
抄録 |
(和) |
我々はこれまでにアセンブラプログラミング答案の自動正誤判定手法を開発してきた.この手法はプログラムの動作,プログラムでの計算機リソースの使い方,およびプログラムの制御構造が正解例と一致するかの照合判定を行う.しかし,照合内容を手がかりとした誤り原因の絞り込みは学習者にとって困難であることが明らかになってきた.本稿では,チャンクとプログラムスライスにより,学習者が誤り原因を特定しやすい表現の生成を目的とする.このため,チャンクによる誤り検出方法と,チャンクとプログラムスライスによる計算機リソース誤り原因の絞り込み方法を提案する.提案法は誤り原因を従来法より絞り込むことを可能にするため,より演習に有用なデバッガやヒント提示機能の開発を可能にする. |
(英) |
We had developed a mechanism for automatically detecting program bugs of examination papers in assembly programming exercise. The mechanism verifies student program against correct answer program in behavior of programs, usage of machine resources in programs, and control structure of programs. However, we have noticed that it is hard for students to find out error statements which cause the bugs by analyzing the verification logs. Our purpose is to generate expression for assisting students to find out error statements. Consequently we propose methods for detecting bugs by chunk and narrowing scope of machine resource usage bugs by chunk and program slice. Since the method refines the scope more strongly than conventional one, the method is useful for development of more helpful debuggers and a function for providing more helpful hints in exercise. |
キーワード |
(和) |
アセンブラプログラミング / プログラムスライス / 動的逆方向スライス / 自動評価 / e-learning / / / |
(英) |
e-learning / automatic evaluation / dynamic backward slice / program slice / assembly programing / / / |
文献情報 |
信学技報, vol. 110, no. 312, ET2010-58, pp. 53-58, 2010年11月. |
資料番号 |
ET2010-58 |
発行日 |
2010-11-19 (ET) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
ET2010-58 |