prikaz prve stranice dokumenta Funkcijsko testiranje poslovnog procesa modeliranog konačnim diskretnim automatom
No public access
master's thesis
Funkcijsko testiranje poslovnog procesa modeliranog konačnim diskretnim automatom
2016. urn:nbn:hr:168:706228
Kruljac, Marko
University of Zagreb
Faculty of Electrical Engineering and Computing

Cite this document

Kruljac, M. (2016). Funkcijsko testiranje poslovnog procesa modeliranog konačnim diskretnim automatom (Master's thesis). Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing. Retrieved from https://urn.nsk.hr/urn:nbn:hr:168:706228

Kruljac, Marko. "Funkcijsko testiranje poslovnog procesa modeliranog konačnim diskretnim automatom." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2016. https://urn.nsk.hr/urn:nbn:hr:168:706228

Kruljac, Marko. "Funkcijsko testiranje poslovnog procesa modeliranog konačnim diskretnim automatom." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2016. https://urn.nsk.hr/urn:nbn:hr:168:706228

Kruljac, M. (2016). 'Funkcijsko testiranje poslovnog procesa modeliranog konačnim diskretnim automatom', Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 13 April 2025, https://urn.nsk.hr/urn:nbn:hr:168:706228

Kruljac M. Funkcijsko testiranje poslovnog procesa modeliranog konačnim diskretnim automatom [Master's thesis]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2016 [cited 2025 April 13] Available at: https://urn.nsk.hr/urn:nbn:hr:168:706228

M. Kruljac, "Funkcijsko testiranje poslovnog procesa modeliranog konačnim diskretnim automatom", Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2016. Available at: https://urn.nsk.hr/urn:nbn:hr:168:706228

Please login to the repository to save this object to your list.
Metadata
TitleFunkcijsko testiranje poslovnog procesa modeliranog konačnim diskretnim automatom
Title (english)Functional Testing for Business Processes with Finite Discrete Automaton
AuthorMarko Kruljac
MentorBruno Blašković (mentor)
Committee memberBruno Blašković (predsjednik povjerenstva)
Committee memberMirko Randić (član povjerenstva)
Committee memberZoran Skočir (član povjerenstva)
GranterUniversity of Zagreb
Faculty of Electrical Engineering and Computing
Zagreb
Defense date and country2016-07-08, Croatia
Scientific / art field,
discipline and subdiscipline		TECHNICAL SCIENCES
Computing
Abstract
U ovome radu pokazano je kako je moguće generirati sustav na temelju modela zadanog kao konačni automat, a opisan u jeziku scxml. Dokazana je korektnost implementiranog sustava generiranjem automatskih testova i dan je radni okvir u kojem testeri i stručnjaci za domenu mogu ručnim testovima testirati ispravnost specifikacije.
Abstract (english)
In this work it is shown how it is possible to generate a system based on a model specified as a finite-state machine, described in the language SCXML. The correctness of the system is proved using automatically generated tests and a framework is given in which testers and domain experts can write tests to verify the correctness of the specification.
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:168:706228
Study programmeTitle: 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 resourceText
File originBorn digital
Access conditionsClosed access
Terms of useLicence In copyright icon
Public note
Created on2018-02-06 09:57:58
accessibility

closeAccessibilityrefresh

If you wish to permanently save changes, click on Save, if not - your settings will be reset when you restart the browser.