prikaz prve stranice dokumenta Testiranje verifikatora modela kod izgradnje programske podrške u automotiv industriji
  Download
PDF 4.35 MB
master's thesis
Testiranje verifikatora modela kod izgradnje programske podrške u automotiv industriji
2020. urn:nbn:hr:200:240564
Kapular, Bruno
Josip Juraj Strossmayer University of Osijek
Faculty of Electrical Engineering, Computer Science and Information Technology Osijek
Department of Communications
Chair of Multimedia Systems and Digital Television

Cite this document

Kapular, B. (2020). Testiranje verifikatora modela kod izgradnje programske podrške u automotiv industriji (Master's thesis). Osijek: Josip Juraj Strossmayer University of Osijek, Faculty of Electrical Engineering, Computer Science and Information Technology Osijek. Retrieved from https://urn.nsk.hr/urn:nbn:hr:200:240564

Kapular, Bruno. "Testiranje verifikatora modela kod izgradnje programske podrške u automotiv industriji." Master's thesis, Josip Juraj Strossmayer University of Osijek, Faculty of Electrical Engineering, Computer Science and Information Technology Osijek, 2020. https://urn.nsk.hr/urn:nbn:hr:200:240564

Kapular, Bruno. "Testiranje verifikatora modela kod izgradnje programske podrške u automotiv industriji." Master's thesis, Josip Juraj Strossmayer University of Osijek, Faculty of Electrical Engineering, Computer Science and Information Technology 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', Master's thesis, Josip Juraj Strossmayer University of Osijek, Faculty of Electrical Engineering, Computer Science and Information Technology Osijek, accessed 04 February 2025, https://urn.nsk.hr/urn:nbn:hr:200:240564

Kapular B. Testiranje verifikatora modela kod izgradnje programske podrške u automotiv industriji [Master's thesis]. Osijek: Josip Juraj Strossmayer University of Osijek, Faculty of Electrical Engineering, Computer Science and Information Technology Osijek; 2020 [cited 2025 February 04] Available at: https://urn.nsk.hr/urn:nbn:hr:200:240564

B. Kapular, "Testiranje verifikatora modela kod izgradnje programske podrške u automotiv industriji", Master's thesis, Josip Juraj Strossmayer University of Osijek, Faculty of Electrical Engineering, Computer Science and Information Technology Osijek, Osijek, 2020. Available at: https://urn.nsk.hr/urn:nbn:hr:200:240564

Please login to the repository to save this object to your list.
Metadata
TitleTestiranje verifikatora modela kod izgradnje programske podrške u automotiv industriji
Title (english)Testing of model verifier within program development in automotive industry
AuthorBruno Kapular
MentorMario Vranješ (mentor)
Committee memberMario Vranješ (predsjednik povjerenstva)
Committee memberRatko Grbić (član povjerenstva)
Committee memberMarijan Herceg (član povjerenstva)
GranterJosip Juraj Strossmayer University of Osijek
Faculty of Electrical Engineering, Computer Science and Information Technology Osijek
(Department of Communications)
(Chair of Multimedia Systems and Digital Television)
Osijek
Defense date and country2020-12-11, Croatia
Scientific / art field,
discipline and subdiscipline		TECHNICAL SCIENCES
Computing
Program Engineering
Abstract
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.
Abstract (english)
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.
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:200:240564
Study programmeTitle: Graduate University Study Programme in Computer Engineering
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 conditionsOpen access
Terms of useLicence In copyright icon
Created on2020-12-17 13:35:14