Presentation 2022-03-09
On a test system for programming test for beginners
Yoshinori Tanabe, Masami Hagiya,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) The authors have proposed an automatic scoring method in programming examinations for beginners using a programming language based on Presburger arithmetic. In this paper, we describe a system based on this method. We introduce a visual programming environment to alleviate the syntactic difficulties for beginners due to constraints of achieving automatic scoring. The correctness of the source code generated from the program created by the examinees in this environment is judged by an algorithm based on symbol execution. We also discuss the details of the testing method, such as the feedback method.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) programming / automatic scoring / examination / visual programming / Presburger arithmetic
Paper # KBSE2021-42
Date of Issue 2022-03-02 (KBSE)

Conference Information
Committee KBSE
Conference Date 2022/3/9(2days)
Place (in Japanese) (See Japanese page)
Place (in English) Online
Topics (in Japanese) (See Japanese page)
Topics (in English) General, Student
Chair Hiroyuki Nakagawa(Osaka Univ.)
Vice Chair Takuya Saruwatari(NTT Data)
Secretary Takuya Saruwatari(Shinshu Univ)
Assistant Hideharu Kojima(Osaka Univ.) / Yutaro Kashiwa(Kyushu Univ,)

Paper Information
Registration To Technical Committee on Knowledge-Based Software Engineering
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) On a test system for programming test for beginners
Sub Title (in English)
Keyword(1) programming
Keyword(2) automatic scoring
Keyword(3) examination
Keyword(4) visual programming
Keyword(5) Presburger arithmetic
1st Author's Name Yoshinori Tanabe
1st Author's Affiliation Tsurumi University(Tsurumi Univ.)
2nd Author's Name Masami Hagiya
2nd Author's Affiliation University of Tokyo(Univ. of Tokyo)
Date 2022-03-09
Paper # KBSE2021-42
Volume (vol) vol.121
Number (no) KBSE-424
Page pp.pp.7-11(KBSE),
#Pages 5
Date of Issue 2022-03-02 (KBSE)