|
|
|
|
| LEADER |
01765na a2200229 4500 |
| 003 |
HR-ZaFER |
| 008 |
160221s2016 ci ||||| m||| 00| 0 hr d |
| 035 |
|
|
|a (HR-ZaFER)ferid4286
|
| 040 |
|
|
|a HR-ZaFER
|b hrv
|c HR-ZaFER
|e ppiak
|
| 100 |
1 |
|
|a Kruljac, Marko
|
| 245 |
1 |
0 |
|a Funkcijsko testiranje poslovnog procesa modeliranog konačnim diskretnim automatom :
|b diplomski rad /
|c Marko Kruljac ; [mentor Bruno Blašković].
|
| 246 |
1 |
|
|a Functional Testing for Business Processes with Finite Discrete Automaton
|i Naslov na engleskom:
|
| 260 |
|
|
|a Zagreb,
|b M. Kruljac,
|c 2016.
|
| 300 |
|
|
|a 39 str. ;
|c 30 cm +
|e CD-ROM
|
| 502 |
|
|
|b diplomski studij
|c Fakultet elektrotehnike i računarstva u Zagrebu
|g smjer: Programsko inženjerstvo i informacijski sustavi, šifra smjera: 54, datum predaje: 2016-07-01, datum završetka: 2016-07-08
|
| 520 |
3 |
|
|a 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čnim testovima testirati ispravnost specifikacije.
|
| 520 |
3 |
|
|a Sažetak na engleskom: 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.
|
| 653 |
|
1 |
|a SCXML
|a konačni automat
|a generiranje testova
|
| 653 |
|
1 |
|a SCXML
|a finite-state machine
|a generating tests
|
| 700 |
1 |
|
|a Blašković, Bruno
|4 ths
|
| 942 |
|
|
|c Y
|
| 999 |
|
|
|c 49188
|d 49188
|