Funkcijsko testiranje poslovnog procesa modeliranog konačnim diskretnim automatom
Sažetak na hrvatskom: 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č...
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:49188 |
|---|---|
| Glavni autor: | Kruljac, Marko (-) |
| Ostali autori: | Blašković, Bruno (Thesis advisor) |
| Vrsta građe: | Drugo |
| Impresum: |
Zagreb,
M. Kruljac,
2016.
|
| Predmet: |