Javaプログラミング初学者に対するテスト方法の対話的な学習支援

摘要

我々はJavaプログラミング初学者(以下初学者とする)に対するテスト学習支援の研究を行っている。では、初学者のプログラムを静的解析し、ホワイトボックステスト技法を用いてのテスト方法の学習支援を行なっている。しかし、入力情報がプログラムだけとなっているため、定義内容に対してのみテストデータが生成され、目的であるプログラムの正しさに関する学習が出来ない。本稿ではJavaプログラムを対象にテストプロセスを「1.テストメソッドの決定、2.それに対するテストデータ作成、3.テストプログラム作成と実行」の3ステップで定義し、初学者の作成したプログラムと、教員が用意するプログラムの仕様情報を用い、初学者が対話的にテストを行いながらテスト方法を学習するテスト学習支援ツールを提案する。