Improving Software Development Efficiency by Managing Early Verification Process

Proces verifikacije u okviru životnog ciklusa programskog proizvoda može se podijeliti obzirom na cijenu verifikacijskih aktivnosti u dva dijela: ranu i kasnu verifikaciju. Ova disertacija bavi se ranom verifikacijom, budući da je ispravak ranije otkrivenih neispravnosti u programskom proizvodu jednostavniji i jeftiniji. Dakle, poboljšanje procesa odlučivanja i upravljanja procesom rane verifikacije, donosi poboljšanje učinkovitosti čitavog životnog ciklusa programskog proizvoda. Osnovni doprinos disertacije je model upravljanja procesom rane verifikacije zajedno s metodom za procjenu napora zasnovanoj na analogiji te odgovarajućom metrikom modela. Metoda statistički klasificira programske jedinice tekućeg projekta oslanjajući se na povijesne podatke. Nadalje, metoda određuje klase za koje je ulaganje dodatnog napora u ranu verifikaciju isplativo s obzirom na učinkovitost cjelokupnog životnog ciklusa programskog proizvoda, te određuje količinu tog napora. Metrika za model koristi novi koncept prospojne mjerne konstrukcije. Predloženi model upravljanja ranom verifikacijom verificiran je koristeći simulacijske metode, te validiran na podacima iz stvarnog industrijskog projekta razvoja programskog proizvoda za telekomunikacijske sustave.with respect to the cost of its activities in two parts: early and late verication. The focus of this thesis is on the early verication, since the earlier the software fault is found the easier and cheaper to correct it. Thus, improving the decision making and managing of the early verication process improves the entire software product lifecycle eciency. The main contribution of the thesis is a management model for the early veri cation process along with the analogy based eort estimation method and the appropriate model metric. The method statistically classies the software units of the ongoing project relying on the history data. It determines the classes for which an additional eort in early verication would be worth investing in the terms of the eciency of the whole product lifecycle, and species the amount of that eort. The metric for the model uses the new concept of the interconnect measurement construct. The proposed early verication management model is veried using simulation methods, and validated on the data from a real industrial telecommunication software development project