プログラムの誤り修正課題および正誤判定プログラムの自動生成

• Item type: Trans(1)
• 公開日: 2017-02-22
• タイトル: プログラムの誤り修正課題および正誤判定プログラムの自動生成
• タイトル / 言語: en
• タイトル: A Generator for Exercises of Program Error Correction and Answer Checker Programs
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [論文] プログラミング学習，誤り修正課題
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 南山大学理工学部
• 著者所属: 南山大学理工学部
• 著者所属: 南山大学理工学部
• 著者所属(英): en
• 著者所属(英): Faculty of Science and Engineering, Nanzan University
• 著者所属(英): en
• 著者所属(英): Faculty of Science and Engineering, Nanzan University
• 著者所属(英): en
• 著者所属(英): Faculty of Science and Engineering, Nanzan University
• 著者名: 蜂巣, 吉成; 吉田, 敦; 阿草, 清滋
• 著者名(英): Yoshinari, Hachisu; Atsushi, Yoshida; Kiyoshi, Agusa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: プログラムの誤り修正課題とその正誤判定を行うプログラムを自動生成するツールを提案する．誤り修正課題は意図的に誤りを混入させたプログラムを学習者に提示し，その誤りを正しく修正させる課題であり，デバッギングやコードリーディングの能力向上に有効である．我々はプログラムに混入させる誤りを置換，削除，挿入，移動の書き換え操作の観点から整理し，字句系列の書き換えルールとして定義した．誤り修正課題では誤りの箇所だけを編集可能にすると問題が簡単になり，編集可能箇所を多く設定すると出題者の意図しない修正などが行われることがあり，正誤判定プログラムの実現が困難になる．本研究では，正解となる編集箇所とその記述の個数の観点から誤りを整理し，編集可能箇所を設定する方法を提案する．誤りプログラムの編集可能箇所を適切に設定することで，別解を減らして学習の観点から妥当と考える解に限定し，正解字句と学習者の解答字句を比較することで正誤判定を行う．正しいプログラムと誤りを混入させるためのプログラム書き換えルール，ダミーの編集可能箇所を指定するルールから，誤り修正課題をHTMLとして，その正誤判定をCGIプログラムとして生成するツールを試作した．繰返しや配列，再帰関数，ポインタ，構造体，選択ソートや二分探索などの構文やアルゴリズムなどの学習に関するプログラムに対して誤り修正課題とその正誤判定プログラムが生成できることを確認した．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We propose a tool that generates exercises of program error correction, which are suitable for developing debugging and code reading skills in programming education, and answer checker programs. We define the processes of error injection as code transformation rules, and analyze types of errors from a view of rewriting operations. If learners can edit only codes which are not correct, it is easy for them to find errors. On the other hand, if they can edit any codes freely, it is difficult for grading programs to check all possible answers. We have analyzed types of errors from a view of how to correct them and adopted a strategy to restrict editable points and possible answers from the educational view. From a correct program, program transformation rules to inject errors, and rules to specify dummy editable points, our tool generates exercises as HTML files and answer checkers as CGI programs. CGI programs check correctness of answers by comparing tokens. Our tool can generate exercises that widely cover the syntax and semantics of the programming language such as loops, arrays, recursive functions, pointers, and structures, and some algorithms such as sorting and searching.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA12697953
• 書誌情報: 情報処理学会論文誌教育とコンピュータ（TCE）; 巻 3, 号 1, p. 64-78, 発行日 2017-02-22
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-4234
• 出版者 / 言語: ja
• 出版者: 情報処理学会