Search

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. 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. 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 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.

Ovaj rad se bavi izradom sustava za e-učenje programiranja koji se sastoji od tri dijela: mrežnog sučelja, poslužitelja i baze podataka. U radu se prvo opisuje e-učenje i programiranje, zatim se opisuje postojeći sustavi za e-učenje programiranja da bi se kasnije mogao opisati sustav za e-učenje programiranja Zvonko. U praktičnom dijelu rada je prikazano kako je napravljen sustav za e-učenje programiranja koji je nazvan Zvonko tj. prikazan je postupak izrade mrežnog sučelja (frontend), poslužitelja (backend) i baze podataka. Ovaj rad može poslužiti kao uvod u strukturu sustava za e-učenje programiranja jer se u njemu objašnjava proces izrade sustava za e-učenje programiranja od mrežnog sučelja do baze podataka u koju se spremaju podaci od korisnika tj. učenika s obzirom da je sustav zamišljen kao podrška postojećem školskom tradicionalnom sustavu., This paper deals with the development of an e-learning programming system consisting of three parts: a network interface, a server and a database. The paper first describes e-learning and programming, then describes the existing systems for e-learning programming, and later the e-learning programming system Zvonko can be described. The practical part of the paper shows how an e-learning programming system called Zvonko was created, ie the process of creating a network interface (frontend), server (backend) and database. This paper can serve as an introduction to the structure of e-learning programming systems because it explains the process of creating an e-learning programming system from the network interface to the database in which data is stored from users, ie students, given that the system is designed as support for the existing school traditional system.

Automatizacija testiranja je proces pisanja programskog koda koji će samostalno pokretati zadane testne scenarije te provjeravati ispravnost sustava. U uvodnom dijelu diplomskog rada definirani su pojmovi vezani uz temu, a to su računalni program, korektnost programa, vrste specifikacije programa, vrste pogrešaka. Zatim ovaj diplomski rad uvodi čitatelja u teoriju o testiranju sustava, te prikazuje značaj testiranja za razvoj aplikacija. Navedene su prednosti i nedostatci načina testiranja. Opisana je automatizacija testnih procesa, te način automatiziranja koristeći C# ugrađeni unittest okvir MSTest. Navedene su značajke automatizacije te alati za automatiziranje. Uz pomoć stečenih znanja u praktičnom dijelu rada prikazan je primjer automatiziranja testnih scenarija, napravljena je integracija jediničnih testova za aplikaciju Blackjack., Testing automation is the process of writing program code that will independently run default test scenarios and check the correctness of the system. In the introductory part of the diploma thesis, the terms related to the topic are defined, namely computer program, correctness of the program, types of program specifications, types of errors. Then this thesis introduces the reader to the theory of system testing, and shows the importance of testing for application development. The advantages and disadvantages of the test method are listed. The automation of test processes is described, as well as the method of automation using the C # built-in unittest framework MSTest. Automation features and automation tools are listed. With the help of the acquired knowledge in the practical part of the paper, an example of automation of test scenarios is presented, the integration of unit tests for the Blackjack application is made.

U ovom završnom radu izrađena je mrežna aplikacija za rezerviranje hotelskih soba pomoću ASP.NET Core u razvojnom alatu Visual Studio 2019. Prikazan je proces izrade funkcionalne aplikacije. Cilj rada nije razvoj kompleksne aplikacije, već opisivanje procedura razvoja aplikacije i osnovnih pojmova. U prvom dijelu rada definiran je korišteni okvir ASP.NET MVC 5 koji olakšava razvoj dinamičkih mrežnih aplikacija. U okviru MVC (Model-View-Controller), model predstavlja podatke i poslovnu logiku određene aplikacije, prikaz predstavlja prezentaciju podataka, a kontroler upravlja korisničkom interakcijom. Objašnjena su i teoretska znanja o ključnim pojmovima ovog rada. Drugi dio rada detaljnije opisuje aplikaciju, veze između entiteta u bazi i sami razvoj aplikacije. Opisani su koraci izrade prikazani nizom slikovnih priloga te na kraju predstavljena sama aplikacija unutar preglednika., In this final work a web application for booking hotel rooms using ASP.NET Core in the development tool Visual Studio 2019 was developed. The process of creating a functional application is presented. The aim of this paper is not to develop a complex application, but to describe application development procedures and basic concepts. In the first part of the paper, the used ASP.NET MVC 5 framework is defined, which facilitates the development of dynamic web applications. Within MVC (Model-View-Controller), Model represents the data and business logic of a particular application, View represents the presentation of data, and Controller manages user interaction. Theoretical knowledge about the key concepts of this paper is also explained. The second part of the work describes in more detail the application, the connections between the entities in the database and the application development itself. The creation steps are described by a series of image attachments, and finally the application itself is presented within the browser.

U ovom radu biti će opisana izgradnja mrežne aplikacije korištenjem Node.js okvira za izgradnju mrežnih aplikacija te usporedbu Node.js okvira sa drugim poslužiteljskim tehnologijama. Također biti će opisane i neke klijentske tehnologije te tehnologije za bazu podataka., This graduate thesis will describe the making of a website using Node.js framework for website server development, as well as compare the framework with other server technologies. Some client side and database technologies will also be described.

U ovom je radu opisana funkcionalna mrežna aplikacija za praćenje uličnih košarkaških turnira. Aplikacija sadrži bazu podataka izrađenu u Microsoft SQL Serveru 2014. Za izradu baze podataka i manipuliranje s podacima u bazi korišten je SQL jezik i Entity Framework. Aplikacija je napravljena u Microsoft Visual Studio 2017. razvojnom alatu pomoću ASP.NET tehnologije i programskoj jezika C#., This paper describes a functional web application for tracking the street basketball tournaments. The application contains a database created in Microsoft SQL Server 2014. SQL and Entity Framework were used to create database and database manipulation. The application was created in Microsoft Visual Studio 2017 development tool using ASP.NET technology and C # programming language.