Warning message

Nemate dozvolu za prikaz ovog resursa!
prikaz prve stranice dokumenta Programiranje utemeljeno na automatima za razvoj programskih modula
Rad nije dostupan
diplomski rad
Programiranje utemeljeno na automatima za razvoj programskih modula
2022. urn:nbn:hr:168:005209
Rafaj, Matej
Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva

Citirajte ovaj rad

Rafaj, M. (2022). Programiranje utemeljeno na automatima za razvoj programskih modula (Diplomski rad). Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:168:005209

Rafaj, Matej. "Programiranje utemeljeno na automatima za razvoj programskih modula." Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2022. https://urn.nsk.hr/urn:nbn:hr:168:005209

Rafaj, Matej. "Programiranje utemeljeno na automatima za razvoj programskih modula." Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2022. https://urn.nsk.hr/urn:nbn:hr:168:005209

Rafaj, M. (2022). 'Programiranje utemeljeno na automatima za razvoj programskih modula', Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, citirano: 05.01.2025., https://urn.nsk.hr/urn:nbn:hr:168:005209

Rafaj M. Programiranje utemeljeno na automatima za razvoj programskih modula [Diplomski rad]. Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva; 2022 [pristupljeno 05.01.2025.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:005209

M. Rafaj, "Programiranje utemeljeno na automatima za razvoj programskih modula", Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, Zagreb, 2022. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:005209

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:168:005209
Prijavite se u repozitorij kako biste mogli spremiti objekt u svoju listu.
Podaci o radu
NaslovProgramiranje utemeljeno na automatima za razvoj programskih modula
Naslov (engleski)Automata Based Programming for Program Module Development
AutorMatej Rafaj
MentorBruno Blašković (mentor)
Član povjerenstvaBruno Blašković (predsjednik povjerenstva)
Član povjerenstvaŽeljka Car (član povjerenstva)
Član povjerenstvaMirko Randić (član povjerenstva)
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva
Zagreb
Datum i država obrane2022-07-11, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		TEHNIČKE ZNANOSTI
Računarstvo
Sažetak
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.
Sažetak (engleski)
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.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:168:005209
Studijski programNaziv: Računarstvo
Vrsta studija: sveučilišni
Stupanj studija: diplomski
Akademski / stručni naziv: magistar/magistra inženjer/inženjerka računarstva (mag.ing.comp.)
Vrsta resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaZatvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Javna napomena
Datum i vrijeme pohrane2023-01-15 11:07:46