1. |
2. DEP technical architecture reportAleš Zamuda, Lucija Brezočnik, Iztok Fister, Tina Beranič, Grega Žlahtič, Matej Brumen, Gregor Jošt, Viktor Taneski, Muhamed Turkanović, 2018, treatise, preliminary study, study Published: 08.03.2019; Views: 408; Downloads: 23
 Full text (2,04 MB) |
3. DEP concepts and needs analysis reportAleš Zamuda, Tina Beranič, Muhamed Turkanović, Jorge Martinez Gil, Mario Pichler, Guillaume Doukhan, Claire Belet, 2018, treatise, preliminary study, study Published: 08.03.2019; Views: 458; Downloads: 18
Full text (1013,30 KB) |
4. |
5. Pristopi h generiranju testnih primerov na osnovi modela stanjRajko Turner, 2017, master's thesis Abstract: Namen magistrskega dela je bil raziskati pristope h generiranju testnih primerov na osnovi modelov stanj. Na osnovi sistematičnega pregleda literature smo identificirali najpogosteje uporabljene pristope in orodja, ki se uporabljajo pri testiranju na osnovi modelov stanj. V magistrski nalogi smo najprej na podlagi sistemskih specifikacij v orodjih izdelali modele z modelirno tehniko FSM (ang. Finite State Machine) in UML (ang. Unified Modeling Language). Nato smo generirali testne primere s pomočjo orodij ModelJUnit in Conformiq Designer, pri čemer določeno orodje uporablja nabor algoritmov ali tehnologij, ki na podlagi kriterijev in tehnik generira le te. Orodje ModelJUnit uporablja naključni, pogolten in algoritem poglej vnaprej, orodje Conformiq Designer pa tehnologiji simbolno izvajanje in reševanje omejitev. Na koncu smo s pomočjo kriterijev pokritosti merili uspešnost generiranih testnih primerov in s tem tudi pokritost modela. Predstavljeni rezultati so lahko v pomoč uporabnikom pri odločitvi in izbiri pristopa ter orodja za generiranje testnih primerov na osnovi modelov stanj.
Keywords: Programska oprema, testiranje na osnovi modelov, model stanj, avtomatsko generiranje testnih primerov, orodja za generiranje testnih primerov.
Published: 05.06.2017; Views: 511; Downloads: 53
Full text (2,80 MB) |
6. Identifikacija pomanjkljive kode na osnovi mejnih vrednosti programskih metrikTina Beranič, 2018, doctoral dissertation Abstract: Programske metrike so pomemben element procesov zagotavljanja in kontrole kakovosti programskih rešitev. Za njihovo učinkovito uporabo potrebujemo mejne vrednosti, s katerimi lahko med drugim zaznamo tudi pomanjkljivo kodo. Da identificiramo resnično pomanjkljive programske entitete, je potrebno mejne vrednosti programskih metrik določiti na reprezentativen in zanesljiv način.
Na osnovi sistematičnega pregleda literature ter primerjave obstoječih pristopov določanja mejnih vrednosti smo izbrano metodo izračuna, ki temelji na statistični analizi in primerjalnih podatkih, nadgradili in uporabili nad 400 projekti v štirih objektnih programskih jezikih. Za devet izbranih metrik smo analizirali sistematično pridobljene mejne vrednosti ter ugotovili, da so odvisne od programskega jezika.
Pridobljene mejne vrednosti so osnova v disertaciji predlaganega pristopa k identifikaciji pomanjkljive programske kode. Pristop temelji na kombinaciji programskih metrik, pri čemer je kakovost obravnavanih programskih entitet ovrednotena z uporabo funkcije večine. Z uporabo predlaganega pristopa se število potencialno pomanjkljivih entitet bistveno omeji, zmanjša pa se tudi število lažno pozitivnih rezultatov.
Validacijo rezultatov identifikacije smo izvedli s pomočjo potrditvene študije, v sklopu katere je sodelovalo 43 ocenjevalcev, ki so z razvitim orodjem za sodelovanje in podporo presojam ovrednotili 131 entitet v treh različnih programskih jezikih. Strokovne presoje potrjujejo zanesljivost vrednotenja kakovosti razredov na osnovi predlaganega pristopa tako glede natančnosti kot točnosti izvedene identifikacije pomanjkljive programske kode.
Keywords: kakovost programske opreme, pomanjkljive programske entitete, metrike programske opreme, primerjalni podatki, porazdelitev metričnih vrednosti, primerjava mejnih vrednosti, strokovna presoja
Published: 03.01.2019; Views: 512; Downloads: 102
Full text (8,61 MB) |
