prikaz prve stranice dokumenta Funkcijsko testiranje poslovnog procesa modeliranog konačnim diskretnim automatom
Rad nije dostupan
diplomski rad
Funkcijsko testiranje poslovnog procesa modeliranog konačnim diskretnim automatom
Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2016. urn:nbn:hr:168:706228
Kruljac, Marko
Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva

Institucijski repozitorij: Repozitorij FER-a

Citirajte ovaj rad

Kruljac, M. (2016). Funkcijsko testiranje poslovnog procesa modeliranog konačnim diskretnim automatom (Diplomski rad). Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:168:706228

Kruljac, Marko. "Funkcijsko testiranje poslovnog procesa modeliranog konačnim diskretnim automatom." Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2016. https://urn.nsk.hr/urn:nbn:hr:168:706228

Kruljac, Marko. "Funkcijsko testiranje poslovnog procesa modeliranog konačnim diskretnim automatom." Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2016. https://urn.nsk.hr/urn:nbn:hr:168:706228

Kruljac, M. (2016). 'Funkcijsko testiranje poslovnog procesa modeliranog konačnim diskretnim automatom', Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, citirano: 03.11.2024., https://urn.nsk.hr/urn:nbn:hr:168:706228

Kruljac M. Funkcijsko testiranje poslovnog procesa modeliranog konačnim diskretnim automatom [Diplomski rad]. Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva; 2016 [pristupljeno 03.11.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:706228

M. Kruljac, "Funkcijsko testiranje poslovnog procesa modeliranog konačnim diskretnim automatom", Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, Zagreb, 2016. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:706228

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:168:706228
Podaci o radu
NaslovFunkcijsko testiranje poslovnog procesa modeliranog konačnim diskretnim automatom
Naslov (engleski)Functional Testing for Business Processes with Finite Discrete Automaton
AutorMarko Kruljac
MentorBruno Blašković (mentor)
Član povjerenstvaBruno Blašković (predsjednik povjerenstva)
Član povjerenstvaMirko Randić (član povjerenstva)
Član povjerenstvaZoran Skočir (č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 obrane2016-07-08, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		TEHNIČKE ZNANOSTI
Računarstvo
Sažetak
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.
Sažetak (engleski)
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.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:168:706228
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 pristupaZatvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Javna napomena
Datum i vrijeme pohrane2018-02-06 09:57:58