Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants - Archive ouverte HAL Access content directly
Conference Papers Year : 2019

Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants

(1) , (1) , (2) , (3)
1
2
3
Masami Hagiya
  • Function : Author
  • PersonId : 1066769
Yoshinori Tanabe
  • Function : Author
  • PersonId : 1066770
Toshinori Saito
  • Function : Author
  • PersonId : 1030487

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Licence

Attribution - CC BY 4.0

Identifiers

Cite

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⟩
25 View
18 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More