prikaz prve stranice dokumenta Programiranje utemeljeno na automatima za razvoj programskih modula
No public access
master's thesis
Programiranje utemeljeno na automatima za razvoj programskih modula
Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing, 2022. urn:nbn:hr:168:005209
Rafaj, Matej
University of Zagreb
Faculty of Electrical Engineering and Computing

Institutional repository: FER Repository

Cite this document

Rafaj, M. (2022). Programiranje utemeljeno na automatima za razvoj programskih modula (Master's thesis). Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing. Retrieved from https://urn.nsk.hr/urn:nbn:hr:168:005209

Rafaj, Matej. "Programiranje utemeljeno na automatima za razvoj programskih modula." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2022. https://urn.nsk.hr/urn:nbn:hr:168:005209

Rafaj, Matej. "Programiranje utemeljeno na automatima za razvoj programskih modula." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2022. https://urn.nsk.hr/urn:nbn:hr:168:005209

Rafaj, M. (2022). 'Programiranje utemeljeno na automatima za razvoj programskih modula', Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 11 July 2024, https://urn.nsk.hr/urn:nbn:hr:168:005209

Rafaj M. Programiranje utemeljeno na automatima za razvoj programskih modula [Master's thesis]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2022 [cited 2024 July 11] Available at: https://urn.nsk.hr/urn:nbn:hr:168:005209

M. Rafaj, "Programiranje utemeljeno na automatima za razvoj programskih modula", Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2022. Available at: https://urn.nsk.hr/urn:nbn:hr:168:005209

Metadata
TitleProgramiranje utemeljeno na automatima za razvoj programskih modula
Title (english)Automata Based Programming for Program Module Development
AuthorMatej Rafaj
MentorBruno Blašković (mentor)
Committee memberBruno Blašković (predsjednik povjerenstva)
Committee memberŽeljka Car (član povjerenstva)
Committee memberMirko Randić (član povjerenstva)
GranterUniversity of Zagreb
Faculty of Electrical Engineering and Computing
Zagreb
Defense date and country2022-07-11, Croatia
Scientific / art field,
discipline and subdiscipline		TECHNICAL SCIENCES
Computing
Abstract
Dizajnirao sam i implementirao alat za generiranje programa iz automata s konačnim brojem stanja koji je proširen ubacivanjem blokova koda u prijelaze između stanja. Alat je specifično predviđen za generiranje programa za automatsko testiranje prema formalnoj specifikaciji tako da generira kod koji povezuje pokretanje testiranog programskog modula, pokretanje testova i grupa testova te javljanje rezultata testova u jedan automatizirani sustav. Pisan je u programskom jeziku Python, te može generirati kod za testiranje programa u jezicima Python i C. Uz samu sposobnost generiranja koda, alat također provodi nekoliko provjera nad ulaznim automatom da bi uhvatio neke vrste grešaka koje bi spriječile rad programa za testiranje. Kroz primjere je prikazano da alat uspješno generira programe za testiranje. Također je prikazano kako se taj sustav može koristiti za enkapsulaciju različitih vrsta testova.
Abstract (english)
I designed and implemented a tool for generating programs from finite state automata whcih are extended by inserting blocks of code into state transitions. The tool is specifically built for generating programs for automated testing according to a formal specification by generating code which connects running the tested module, running tests and test groups and reporting the test results into a single automated system. It is written in the Python programming language, and can generate code for testing programs written in Python and C. In addition to generating code, the tool also runs several checks over the input automata to catch some types of errors which would cause the testing program to fail. It is shown through examples that the created tool successfully generates testing programs. It is also shown how the tool can be used to encapsulate different types of tests.
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:168:005209
Study programmeTitle: Computing
Study programme type: university
Study level: graduate
Academic / professional title: magistar/magistra inženjer/inženjerka računarstva (magistar/magistra inženjer/inženjerka računarstva)
Type of resourceText
File originBorn digital
Access conditionsClosed access
Terms of useLicence In copyright icon
Public note
Created on2023-01-15 11:07:46