Browse IS/STAG - Portál UTB

Skip to page content
Website UTB
Portal title page UTB
Anonymous user Login Česky
Browse IS/STAG
Login Česky
  • Welcome
  • Browse IS/STAG
  • Applicant
  • Graduate
  • Web services
  • ECTS
  • User Info
Welcome
Browse IS/STAG
Information for applicantsElectronic applicationECTS arrivals
Getting startedAlumni ClubAbsolvent - website
Web services
ECTS
User Info

1st level navigation

  • Welcome
  • Browse IS/STAG
  • Applicant
  • Graduate
  • Web services
  • ECTS
  • User Info
User disconnected from the portal due to long time of inactivity.
Please, click this link to log back in.
(Sessions are disconnected after 240 minutes of inactivity. Note that mobile devices may get disconnected even sooner).

Prohlížení IS/STAG (S025)

Help

Main menu for Browse IS/STAG

  • Programmes and specializations.
  • Courses
  • Departments
  • Lecturers
  • Students
  • Examination dates
  • Timetable events
  • Theses, selected item
  • Pre-regist. study groups
  • Rooms
  • Rooms – all year
  • Free rooms – Semester
  • Free rooms – Year
  • Capstone project
  • Times overlap
  •  
  • Title page
  • Calendar
  • Help

Search for a Thesis

Print/export:  Bookmark this link in your browser so that you may quickly load this IS/STAG page in the future.
Only logged-in user will see student personal numbers.

Dates found, count: 1

Search result paging

Found 1 records Print Export to xls List URL
  Surname Name Title Thesis status   Supervisors Reviewers Type of thesis Date of def. Title
Student Type of thesis - - - - - - - - - -
Item shown in detail Špaček Includes the selected person into the timetable overlap calculation. František System for automated validation of assignments in programming courses System for automated validation of assignments in programming courses Thesis finished and defended successfully (DUO).   Dulík Tomáš Tišnovský Pavel Master's thesis 1401746400000 03.06.2014 System for automated validation of assignments in programming courses Thesis finished and defended successfully (DUO).
František Špaček Master's thesis 0XX 0XX 0XX 0XX 0XX 0XX 0XX 0XX 0XX 0XX

Thesis info Systém pro automatické testování správnosti úkolů v kurzech programování

  • Basic data
The document you are accessing is protected by copyright law. Unauthorised use may lead to criminal sanctions.
Name Špaček František Includes the selected person into the timetable overlap calculation.
Acad. Yr. 2013/2014
Assigning department AUIUI
Date of defence Jun 3, 2014
Type of thesis Master's thesis
Thesis status Thesis finished and defended successfully (DUO). Thesis finished and defended successfully (DUO).
Completeness of mandatory entries - The following mandatory fields are not filled in for this Thesis.: Title in English
Main topic Systém pro automatické testování správnosti úkolů v kurzech programování
Main topic in English System for automated validation of assignments in programming courses
Title according to student Systém pro automatické testování správnosti úkolů v kurzech programování
English title as given by the student -
Parallel name -
Subtitle -
Thesis supervisor Dulík Tomáš, Ing. Ph.D.
External examiner Tišnovský Pavel, Ing. Ph.D.
Annotation Práca sa zaoberá návrhom a implementáciou systému pre automatizáciu hodnotenia študentských úloh. Cieľom práce bolo vytvoriť bezpečné prostredie pre spúšťanie potencionálne nebezpečných programov. Pre vytvorenie bezpečného behového prostredia(sandbox)bol použitý operačný systém Linux a kontajnerová virtualizácia založená na platforme Docker. Diplomová práca sa mimo iné venuje správe front prichádzajúcich úloh,ich postupnému spracovaniu a mechanizmu pre vyhodnocovanie výstupov testovania.Systém je implementovaný v Java Enterprise Edition 7.
Annotation in English Paper is focused on design and implementation of system for automatic evaluation of student's assignments. Main motivation for this project is to create safe runtime environment for execution potentially dangerous programs. Safe runtime environment (sandbox) was created on operating system Linux with container virtualization platform Docker. Project also aims to management of submissions incoming queue. This queue is continuously processed. Paper also describes mechanism for grading test output. System is implemented in Java Enterprise Edition 7.
Keywords Automatické vyhodnocovanie programov, Linux, sandbox, Docker, Java EE
Keywords in English Automatic program's grading, Linux, sandbox, Docker, Java EE
Length of the covering note 76 s.
Language SK
Annotation
Práca sa zaoberá návrhom a implementáciou systému pre automatizáciu hodnotenia študentských úloh. Cieľom práce bolo vytvoriť bezpečné prostredie pre spúšťanie potencionálne nebezpečných programov. Pre vytvorenie bezpečného behového prostredia(sandbox)bol použitý operačný systém Linux a kontajnerová virtualizácia založená na platforme Docker. Diplomová práca sa mimo iné venuje správe front prichádzajúcich úloh,ich postupnému spracovaniu a mechanizmu pre vyhodnocovanie výstupov testovania.Systém je implementovaný v Java Enterprise Edition 7.
Annotation in English
Paper is focused on design and implementation of system for automatic evaluation of student's assignments. Main motivation for this project is to create safe runtime environment for execution potentially dangerous programs. Safe runtime environment (sandbox) was created on operating system Linux with container virtualization platform Docker. Project also aims to management of submissions incoming queue. This queue is continuously processed. Paper also describes mechanism for grading test output. System is implemented in Java Enterprise Edition 7.
Keywords
Automatické vyhodnocovanie programov, Linux, sandbox, Docker, Java EE
Keywords in English
Automatic program's grading, Linux, sandbox, Docker, Java EE
Research Plan
  1. Vypracujte literární rešerši na dané téma.
  2. Analyzujte možnosti pro spouštění studentských úkolů - programů v jazycích C/C++/Java v chráněném prostředí (\"sandbox\") na OS Linux.
  3. Navrhněte API pro spouštěni kódu odevzdávaných úkolů a získávaní výsledků ze spouštěných testů.
  4. Implementujte systém sandboxů včetně vstupní fronty úloh.
  5. Implementujte nástroj pro monitoring a správu jednotlivých sandboxů a systému jako celku.
  6. Výsledný systém publikujte pod open source licencí.
Research Plan
  1. Vypracujte literární rešerši na dané téma.
  2. Analyzujte možnosti pro spouštění studentských úkolů - programů v jazycích C/C++/Java v chráněném prostředí (\"sandbox\") na OS Linux.
  3. Navrhněte API pro spouštěni kódu odevzdávaných úkolů a získávaní výsledků ze spouštěných testů.
  4. Implementujte systém sandboxů včetně vstupní fronty úloh.
  5. Implementujte nástroj pro monitoring a správu jednotlivých sandboxů a systému jako celku.
  6. Výsledný systém publikujte pod open source licencí.
Recommended resources
  1. SIEVER, Ellen. Linux in a nutshell: a desktop quick reference. 6th ed. Sebastopol: O'Reilly, 2009, xxii, 917 p. ISBN 978-059-6154-486.
  2. RICHARDSON, Leonard, Mike AMUNDSEN a Sam RUBY. RESTful Web APIs. S.l.: O'Reilly Media, 2013. ISBN 978-144-9358-068.
  3. GUPTA, Arun. Java EE 7 Essentials: Enterprise Developer Handbook. Sebastopol: O'Reilly Media, 2013. ISBN 1-4493-7017-9.
  4. JUNEAU, By Josh. Java EE 7 recipes: a problem-solution approach. New ed. Berkeley, Calif: Apress, 2012. ISBN 14-302-4425-9.
  5. ECKEL, Bruce. Thinking in Java. 4th ed. Upper Saddle River, NJ: Prentice Hall, 2006, 1482 p. ISBN 978-013-1872-486.
  6. RICHARD M. STALLMAN a GCC DEVELOPER COMMUNITY. Using the GNU compiler collection: for GCC version 4.3.3 (GCC). 4th ed. S.l.: SoHo Books, 2008, 1482 p. ISBN 14-414-1276-X
  7. HALLYN, Serge. Secure Linux containers cookbook. In: DeveloperWorks [online]. 2009 [cit. 2013-10-14]. Dostupné z: http://www.ibm.com/developerworks/library/l-lxc-security/
  8. COOPER, Mendel. Advanced Bash-Scripting Guide.[online]. 2012 [cit. 2013-10-14] Dostupné z: www.tldp.org/LDP/abs/abs-guide.pdf
Recommended resources
  1. SIEVER, Ellen. Linux in a nutshell: a desktop quick reference. 6th ed. Sebastopol: O'Reilly, 2009, xxii, 917 p. ISBN 978-059-6154-486.
  2. RICHARDSON, Leonard, Mike AMUNDSEN a Sam RUBY. RESTful Web APIs. S.l.: O'Reilly Media, 2013. ISBN 978-144-9358-068.
  3. GUPTA, Arun. Java EE 7 Essentials: Enterprise Developer Handbook. Sebastopol: O'Reilly Media, 2013. ISBN 1-4493-7017-9.
  4. JUNEAU, By Josh. Java EE 7 recipes: a problem-solution approach. New ed. Berkeley, Calif: Apress, 2012. ISBN 14-302-4425-9.
  5. ECKEL, Bruce. Thinking in Java. 4th ed. Upper Saddle River, NJ: Prentice Hall, 2006, 1482 p. ISBN 978-013-1872-486.
  6. RICHARD M. STALLMAN a GCC DEVELOPER COMMUNITY. Using the GNU compiler collection: for GCC version 4.3.3 (GCC). 4th ed. S.l.: SoHo Books, 2008, 1482 p. ISBN 14-414-1276-X
  7. HALLYN, Serge. Secure Linux containers cookbook. In: DeveloperWorks [online]. 2009 [cit. 2013-10-14]. Dostupné z: http://www.ibm.com/developerworks/library/l-lxc-security/
  8. COOPER, Mendel. Advanced Bash-Scripting Guide.[online]. 2012 [cit. 2013-10-14] Dostupné z: www.tldp.org/LDP/abs/abs-guide.pdf
Týká se praxe No
Enclosed appendices CD
Appendices bound in thesis -
Taken from the library No
Full text of the thesis
Appendices
Reviewer's report
Supervisor's report
Defence procedure record file