Poučavanje početnoga programiranja temeljeno na semantičkom vrednovanju programa

doctoral thesis

• Title (english): Teaching of introductory programming based on semantic evaluation of programs
• Author: Tonči Dadić
• Mentor: Vlado Glavinić (mentor)
• Mentor: Marko Rosić (komentor)
• Committee member: Vlado Glavinić (član povjerenstva)
• Granter: University of Zagreb; Faculty of Electrical Engineering and Computing; (Department of Electronics, Microelectronics, Computer and Intelligent Systems); Zagreb
• Defense date and country: 2015, Croatia
• Scientific / art field, discipline and subdiscipline: TECHNICAL SCIENCES; Computing; Architecture of Computer Systems
• Universal decimal classification (UDC): 621.3 - Electrical engineering

Abstract

Sustavi za automatsko ocjenjivanje programa, kao i inteligentni tutorski sustavi, vrednuju studentske programe s ciljem provjere njihove ispravnosti te lociranja i ispravljanja logičkih pogrešaka. Odgovarajući alati za vrednovanje programa trebaju se baviti logičkim programskim pogreškama na način koji je usporediv s funkcijom suvremenih kompilatora, koji lociraju sintaksne pogreške ističući pogrešan kod, uz poruke koje programerima pomažu razumjeti i ispraviti eventualne sintaksne pogreške.... More Automatsko vrednovanje programa predstavlja problem, stoga što broj varijanti koje su točna rješenja postavljenog zadatka može biti vrlo velik. Usprkos naporima istraživača u ovom području, postojeći sustavi ne vrednuju studentske programe na zadovoljavajući način, što traži novi pristup vrednovanju. U ovoj se disertaciji opisuje novi pristup koji kombinira automatsku verifikaciju programa u odnosu na njegovu formalnu specifikaciju s prepoznavanjem studentovog programa na temelju njegove semantičke udaljenosti od modela. Prva je metoda nezavisna o implementaciji vrednovanog programa, tako da daje pouzdanu informaciju o njegovoj korektnosti, dok druga metoda precizno locira logičke pogreške i provodi minimalne korekcije programa uvažavajući studentovu namjeru. Izvorni znanstveni doprinosi, ostvareni istraživanjem koje disertacija prikazuje, uključuju entitetski prikaz programa, semantičku udaljenost programskih entiteta te oblikovanje prototipnog računalnog sustava zasnovanog na navedenim pojmovima. Less

Abstract (english)

Automatic evaluation of students’ programs is found in both grading and tutoring systems, its aim being the verification of correctness of students’ programs, as well as bugs localization and fixing. The respective evaluation tools should therefore deal with logical programming errors in a way which is comparable to the functionality of modern compilers, which localize syntax errors by highlighting erroneous code, along with delivering messages that help programmers to understand and... More correct possible syntax errors. As the number of possible program implementation variants, which are correct solutions for a given problem, can be quite large, issues can arise in performing a comprehensive evaluation. Despite the efforts of researchers in this area, the presently known systems do not evaluate students' programs in a satisfactory manner, which requires a new approach to the evaluation of student programs. In this dissertation an approach which combines both program verification with respect to a formal specification and recognition of students' programs based on the semantic distance from a program model is presented. While the former method is implementation independent, thus providing reliable information about program correctness, the latter one precisely localizes bugs and provides minimal corrections which are accommodated to students' intentions. The scientific contribution of the research reported in the dissertation includes program representation through entities, semantic distance of entities, and design of the prototype system implementing the above notions. Less

• Keywords: e-učenje; početno programiranje; korektnost programa; vrednovanje programa; semantička udaljenost izraza; entitetski prikaz programa; semantička udaljenost programskih entiteta
• Keywords (english): e-learning; introductory programming; program correctness; program evaluation; semantic distance of expressions; program representation through entities; semantic distance of program entities
• Language: croatian
• URN:NBN: urn:nbn:hr:168:193952
• Study programme: Title: Electrical Engineering and Computing; Study programme type: university; Study level: postgraduate; Academic / professional title: Doktor znanosti elektrotehnike i računarstva (Doktor znanosti elektrotehnike i računarstva)
• Type of resource: Text
• Extent: 202 str. ; 30 cm.
• File origin: Born digital
• Access conditions: Closed access
• Created on: 2019-04-15 12:58:08