Programiranje utemeljeno na automatima za razvoj programskih modula

master's thesis

• Title (english): Automata Based Programming for Program Module Development
• Author: Matej Rafaj
• Mentor: Bruno Blašković (mentor)
• Committee member: Bruno Blašković (predsjednik povjerenstva)
• Committee member: Željka Car (član povjerenstva)
• Committee member: Mirko Randić (član povjerenstva)
• Granter: University of Zagreb; Faculty of Electrical Engineering and Computing; Zagreb
• Defense date and country: 2022-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: automati sa konačnim brojem stanja; automatsko programiranje; automatsko testiranje; generiranje koda
• Keywords (english): finite state automata; automatic programming; automatic testing; code generation
• Language: croatian
• URN:NBN: urn:nbn:hr:168:005209
• Study programme: Title: 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 resource: Text
• File origin: Born digital
• Access conditions: Closed access
• Created on: 2023-01-15 11:07:46