Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants

Masami Hagiya
  • Fonction : Auteur
  • PersonId : 1066769
Yoshinori Tanabe
  • Fonction : Auteur
  • PersonId : 1066770
Toshinori Saito
  • Fonction : Auteur
  • PersonId : 1030487

Résumé

The importance of programming in the context of primary and secondary education is increasing, reflecting incorporation of programming in the reformation of Japanese curriculum guidelines for schools, the release of which is planned in 2020. Earlier research developed proposed rubrics for assessment of student attainment levels in various fields of high-school informatics, including programming. The reformation requires that university entrance examinations should include informatics; it has thus become necessary to create a large number of questions exploring various levels of attainment. Here, we develop methods automatically generating questions in the field of programming; we use program correctness proofs and a theorem prover to this end. Questions corresponding to each level are automatically generated from a single program featuring a correctness proof by analyzing the source code and the proof with the aid of a theorem prover. These methods can help prepare questions for university entrance examinations, and can also be applied to E-learning systems when questions are used to allow evaluation of student attainment levels. We conducted a small experiment, and the results show that this is a promising approach.
Fichier principal
Vignette du fichier
488391_1_En_11_Chapter.pdf (184.37 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02515725 , version 1 (23-03-2020)

Licence

Paternité

Identifiants

Citer

Masami Hagiya, Kosuke Fukuda, Yoshinori Tanabe, Toshinori Saito. Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants. 1st International Conference on Sustainable ICT, Education, and Learning (SUZA), Apr 2019, Zanzibar, Tanzania. pp.89-98, ⟨10.1007/978-3-030-28764-1_11⟩. ⟨hal-02515725⟩
36 Consultations
49 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More