テスト駆動型開発手法による Java プログラミング教育支援システムの提案

摘要

This paper presents an educational-support system for Java programming using the test-driven development method, with the goals of reducing the teacher load in evaluating program codes submitted from students and giving corrections and comments to them, and improving the student learning environments. To achieve our goals, this system adopts a Java program verification tool called JUnit, and can generate the test code to verify the student codes from the model code to the assignment made by the teacher in a semi-automatic way. By providing the test code to students as the code specification in the assignment, the verification accuracy is enhanced with reduction of the ambiguity in code implementations. The questionnaire results from both teachers and students confirm the effectiveness of the proposed system in the Java programming education.%本論文では，Java プログラミング演習の評価と学生へのフィードバックに要する教員負荷の軽減を目的として，テスト駆動型開発手法による教育支援システムを提案する．本システムでは，Java プログラム検証ツールJUnit を採用し，提出課題を検証するためのテストコードを，教員が作成した模範解答から半自動生成することで，検証の手間削減を図っている．また，生成されたテストコードを仕様書として，学生が演習課題を解く際に与えることで，検証精度を高めている．本システムを利用した教員および学生にアンケートを実施した結果，Java プログラミング教育支援に有効であることが明らかとなった．