Dr. Szentes János

TARTALOM: Előszó 9 A szoftverminőség értelmezése 11 A minőségi fogalmának időbeli változása 11 Szoftverminőség-modellek 14 Minőségfaktorok és szoftvermjellemzők definíciója 18 A minőségi összetevők közötti kölcsönhatások 27 Szoftvermérőszámok 35 Mérési módszerek és mérőszámok típusai 36 A szoftver mérésének őskora, "primitív" mérőszámok 39 Utasításstatisztikák 39 Hibastatisztikák 51 Programok irányított gráf reprezentációja 56 A vezérlési struktúra bonyolultságának mérőszámai 65 Ciklomatikus szám 65 A kereszteződési pontok száma 68 A vezérlés folyamatkomplexitása 71 Elréhetőség, vezérlési sűrűsség, vezérlési utak száma 74 A vezérlési struktúra entrópiaszerű mértékei 76 A hívási hiearchia mérése 89 Komponensek elérhetősége, tesztelhetőség 89 A rendszerstruktúra entrópiájának mértékei 92 A Myers-féle stabilitási mérték 95 A hívási gráf partíciái és komplexitása 99 A Halstead-féle mérőszámok 101 Programtérfogat 102 Implementációs szint, a nyelv szintje 103 A szellemi ráfordítás mértéke 105 Leszámolási problémák és az elmélet hiányosságai 108 Összetett mértékek 110 A McClure-féle komplexitási modell 111 Programrendszerek logikai stabilitása 115 Az Oviedo-féle komplexitási modell 120 ATRW komplexitásmodellje 122 Programok mint absztrakt gépek hiearchiái 125 Programanalízis 131 Statikus analízis 132 A statikus analízis célja és korlátai 133 A statikus analízis lépései 136 Statikus analizátorok 139 Dinamikus analízis 143 A dinamikus analízis célja és szolgáltatásai 144 A dinamikus analízis lépései 145 Dinamikus analizátorok 146 Adatfolyam-analízis 151 Alapfogalmak 152 Adatáramlási anomáliák 156 Programok funkcióanalízise 158 Funkciók, vezérlési utak és bementi adattartományok kapcsolata 158 A funkcióanalízissel nyerhető információk 159 Szoftverminőség-ellenőrzés és kapcsolodó tevékenységei 165 A szoftverdokumentáció és ellenőrzése 166 Dokumentációs szabványok 166 A dokumentumok minőségítésének szempontjai 171 A dokumentumok minőségellenőrzésének módszere 172 A szoftverminőség-ellenőrzés megszervezése 174 Az indítás előfeltételei 175 A szoftver mérésének gazdaságossági aspektusai 178 Az előállítás közbeni minőségellenőrzés 180 A szoftver mérésének gazdaságossági aspektusai 181 Mérőszámok és a fejlesztési, karbantartási költségek korrekciója 182 A minőségellenőrzés költségei 186 A SOMIKA rendszer ismertetése 189 A fejlesztés kiindulási feltételei 189 Célkitűzések 190 Alapkoncepció 191 A termék szolgáltatásai 192 A hívási kapcsolatok megadása 193 Komponensek vezérlési struktúrája 201 Utasításstatisztikák 204 Kommentvizsgálat, Halstead-féle mérőszámok 207 A termék használata 210 A felhasználási folyamat és adatkapcsolatok 210 A felhasználói dialógus 212 Működési feltételek 215 Igényelt konfiguráció 215 A termék műszaki jellemzői 216 A kapacitásfigyelő alrendszer 216 A szoftverfejlesztői tevékenységet jellemző alapadatok gyűjtése 217 Helyzetjelentések, összesítő táblázatok 219 Függelék 223 Tárgymutató 235 Irodalom 241