比較的大きなプログラミング課題のための自動採点システム

• Item type: SIG Technical Reports(1)
• 公開日: 2006-02-18
• タイトル: 比較的大きなプログラミング課題のための自動採点システム
• タイトル / 言語: en
• タイトル: A Testing System for Comparatively Large Programming Exercises
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 電気通信大学 情報工学科
• 著者所属: 電気通信大学 情報工学科
• 著者所属(英): en
• 著者所属(英): Department of Computer Science The University of Electro-Communications
• 著者所属(英): en
• 著者所属(英): Department of Computer Science The University of Electro-Communications
• 著者名: 田上恒大; 阿部, 公輝
• 著者名(英): Kota, Tagami; Koki, Abe
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: プログラミング演習において、小規模な課題では目視で誤りを発見することが可能であるが、複雑な課題では困難な場合が多い。テスト入力を提出プログラムへ与え結果を照合すればよいが、これを手動で行うには講師の負担が大きく自動化が望まれる。従来の自動採点システムは比較的小規模な課題を対象とする例が多い。実行結果の照合では、一字一句合わなくてもキーワードが指定された順番に出力されたときに、正答とする必要がある。データ構造を直接検査することにより、より詳細な検査が行える。メモリ確保/解放関数が適切に使用されているかを検査する必要がある。さらに、提出プログラムの誤りにより、処理や記憶のリソースを消費し尽くす可能性等への対策が必要である。本研究では比較的大規模な課題を対象とし、これらの問題を考慮した自動採点システムを提案する。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In programming exercises it is easy to discover errors by reviewing source codes writen by students for small programs, but herd for medium to large ones. To verify such programs we need to give inputs to them and compare the outputs with expected results. However, the verification process takes time, its automatization being desired for helping instructors evaluate student's programs. The matching of outputs with expected results must be made so that the outputs be accepted when some keywords appear in an specified order instead of strict matching. Detailed testing can be made by examining the trace of data structures. Testing if memory management functions such as malloc/free are properly used is also required. Further, some means of preventing the memory and processing resource from being exhausted by erroneous programs needs to be provided. In this paper, we describe a system which overcomes above problems in testing and evaluating comparatively large programs.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10096193
• 書誌情報: 情報処理学会研究報告コンピュータと教育（CE）; 巻 2006, 号 16(2006-CE-083), p. 135-140, 発行日 2006-02-18
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会