prikaz prve stranice dokumenta Testiranje verifikatora modela kod izgradnje programske podrške u automotiv industriji
  Preuzmi
PDF 4.35 MB
diplomski rad
Testiranje verifikatora modela kod izgradnje programske podrške u automotiv industriji
Osijek: Sveučilište Josipa Jurja Strossmayera u Osijeku, Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek, 2020. urn:nbn:hr:200:240564
Kapular, Bruno
Sveučilište Josipa Jurja Strossmayera u Osijeku
Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek
Zavod za komunikacije
Katedra za multimedijske sustave i digitalnu televiziju

Institucijski repozitorij: Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek

Citirajte ovaj rad

Kapular, B. (2020). Testiranje verifikatora modela kod izgradnje programske podrške u automotiv industriji (Diplomski rad). Osijek: Sveučilište Josipa Jurja Strossmayera u Osijeku, Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:200:240564

Kapular, Bruno. "Testiranje verifikatora modela kod izgradnje programske podrške u automotiv industriji." Diplomski rad, Sveučilište Josipa Jurja Strossmayera u Osijeku, Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek, 2020. https://urn.nsk.hr/urn:nbn:hr:200:240564

Kapular, Bruno. "Testiranje verifikatora modela kod izgradnje programske podrške u automotiv industriji." Diplomski rad, Sveučilište Josipa Jurja Strossmayera u Osijeku, Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek, 2020. https://urn.nsk.hr/urn:nbn:hr:200:240564

Kapular, B. (2020). 'Testiranje verifikatora modela kod izgradnje programske podrške u automotiv industriji', Diplomski rad, Sveučilište Josipa Jurja Strossmayera u Osijeku, Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek, citirano: 15.11.2024., https://urn.nsk.hr/urn:nbn:hr:200:240564

Kapular B. Testiranje verifikatora modela kod izgradnje programske podrške u automotiv industriji [Diplomski rad]. Osijek: Sveučilište Josipa Jurja Strossmayera u Osijeku, Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek; 2020 [pristupljeno 15.11.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:200:240564

B. Kapular, "Testiranje verifikatora modela kod izgradnje programske podrške u automotiv industriji", Diplomski rad, Sveučilište Josipa Jurja Strossmayera u Osijeku, Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek, Osijek, 2020. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:200:240564

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:200:240564
Podaci o radu
NaslovTestiranje verifikatora modela kod izgradnje programske podrške u automotiv industriji
Naslov (engleski)Testing of model verifier within program development in automotive industry
AutorBruno Kapular
MentorMario Vranješ (mentor)
Član povjerenstvaMario Vranješ (predsjednik povjerenstva)
Član povjerenstvaRatko Grbić (član povjerenstva)
Član povjerenstvaMarijan Herceg (član povjerenstva)
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište Josipa Jurja Strossmayera u Osijeku
Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek
(Zavod za komunikacije)
(Katedra za multimedijske sustave i digitalnu televiziju)
Osijek
Datum i država obrane2020-12-11, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		TEHNIČKE ZNANOSTI
Računarstvo
Programsko inženjerstvo
Sažetak
U svrhu testiranja verifikatora modela za provjeru programske podrške u automotiv industriji, definirana je potreba za izradom testnog skupa modela za provjeru System model verifier (SDV) alata. Uz izradu modela i testiranje alata na istima, definirana je i potreba za izradom grafičkog sučelja za alat. Izrađeni modeli su iskorišteni za testiranje nekoliko verzija SDV -a kako bi se utvrdila njihova korisnost i ispravnost samog alata. Izrađeno grafičko sučelje je iskorišteno za ubrzanje analize alata čime je također dokazana i njegova korisnost.
Sažetak (engleski)
For the purpose of testing a model verifier for checking software in the automotive industry a need for the creation of a group of test models for validating the System model verifier tool (SDV) has been defined. Together with the creation of the models and the testing of the tool, a need for the creation of a graphical user interface has been defined as well. The created models were used to test several versions of the SDV for confirming the usefulness and correctness of the tool. The created graphical user interface was used to speed up the analysis of the tool, therefore proving its own usefulness.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:200:240564
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 pristupaOtvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Datum i vrijeme pohrane2020-12-17 13:35:14