Programiranje utemeljeno na automatima za razvoj programskih modula

diplomski rad

• Naslov (engleski): Automata Based Programming for Program Module Development
• Autor: Matej Rafaj
• Mentor: Bruno Blašković (mentor)
• Član povjerenstva: Bruno Blašković (predsjednik povjerenstva)
• Član povjerenstva: Željka Car (član povjerenstva)
• Član povjerenstva: Mirko 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 obrane: 2022-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: automati sa konačnim brojem stanja; automatsko programiranje; automatsko testiranje; generiranje koda
• Ključne riječi (engleski): finite state automata; automatic programming; automatic testing; code generation
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:168:005209
• Studijski program: Naziv: 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 resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Zatvoreni pristup
• Datum i vrijeme pohrane: 2023-01-15 11:07:46