プログラミング教育におけるモデル検査を用いたC言語プログラムの学修目標の達成度評価に向けて

DOI 情報処理学会

書誌事項

タイトル別名
  • Towards C Program Evaluation of Acheivement of Learning Goal Using Model Checking in Programming Education

この論文をさがす

説明

社会において情報システムの重要性が増すなか，IT人材の不足感が報告されている．情報系の大学教育はIT人材育成の一端を担っており，プログラミング科目は重要科目と位置付けられている．本研究の目的は，プログラミング科目で学生が提出したC言語のプログラムに有界モデル検査を適用することによりプログラムの内部構造を検証し，学修目標の達成度を教員が評価することである．プログラミング科目における学生の提出プログラムを具体的な解析対象として適用実験を行い，提案手法による解析と評価の結果を示す．

Under the increasing of importance of information system in society, shortage of IT human resources is reported. Information-related education in university is a part of IT human resource training, and programming classes are regarded as important subjects. The purpose of this study is that teacher evaluate C language program to understand achievement of the learning goal for student's submission program by applying bounded model checking to verify structure of the program. Application experiments are conducted for the submission programs as specific targets, and the results of analyses and evaluation by the proposed approach are illustrated.

収録刊行物

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ