NDLI: Automated checking of the violation of precedence of conditions in else-if constructs in students' programs

Content Provider	IEEE Xplore Digital Library
Author	Sharma, K. K. Banerjee, Kunal Vikas, Indra Mandal, Chittaranjan
Copyright Year	2014
Description	Author affiliation: School of Information Technology, Indian Institute of Technology Kharagpur, India (Sharma, K K) \|\| Department of Computer Science & Engineering Indian Institute of Technology Kharagpur, India (Banerjee, Kunal; Vikas, Indra; Mandal, Chittaranjan)
Abstract	Owing to the large number of students that academic institutions have to accommodate, automated evaluation of students' programs has received impetus in recent years; an automated evaluator not only ensures speedy evaluation but also consistency in distribution of marks. A construct that appears frequently in programs is the else-if block. The condition that appears in a subsequent else-if block should not be weaker (i.e., less general) than any of its preceding conditions, otherwise this block will never be executed (in other words, this block qualifies as dead code). Such wrong ordering of conditions in else-if blocks are often introduced by novice student programmers. It is to be noted that such violation of precedence of conditions in else-if constructs qualifies as logical error which is not detected by standard compilers, such as gcc. In this work, we tabulate different cases to identify the correct and the incorrect precedence of conditions in else-if constructs and thereby, automatically report such errors in students' programs and also provide feedback towards error correction.
Starting Page	201
Ending Page	204
File Size	80997
Page Count	4
File Format	PDF
ISBN	9781479968763
DOI	10.1109/MITE.2014.7020271
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2014-12-19
Publisher Place	India
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Design automation Conferences Programming Else-if construct Computer-assisted learning Automated program evaluation Error correction Time complexity Standards
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Determining Equivalence of Expressions: An Automated Evaluator's Perspective

Using Vapnik-Chervonenkis Dimension to Analyze the Testing Complexity of Program Segments

Using Vapnik-Chervonenkis Dimension to Analyze the Testing Complexity of Program Segments (1994)

A Benchmark programming assignment suite for quantitative analysis of student performance in early programming courses

Logic programs as types for logic programs

Dynamic validation of programs using assertion checking facilities

Programs]: semantics of programming languages—program analysis.

Fitness calculation approach for nested if-else construct in evolutionary testing

Programs]: Semantics of Programming Languages—program analysis

Automated checking of the violation of precedence of conditions in else-if constructs in students' programs

Similar Documents

Determining Equivalence of Expressions: An Automated Evaluator's Perspective

Using Vapnik-Chervonenkis Dimension to Analyze the Testing Complexity of Program Segments

Using Vapnik-Chervonenkis Dimension to Analyze the Testing Complexity of Program Segments (1994)

A Benchmark programming assignment suite for quantitative analysis of student performance in early programming courses

Logic programs as types for logic programs

Dynamic validation of programs using assertion checking facilities

Programs]: semantics of programming languages—program analysis.

Fitness calculation approach for nested if-else construct in evolutionary testing

Programs]: Semantics of Programming Languages—program analysis

Automated checking of the violation of precedence of conditions in else-if constructs in students' programs