Team Se@Msi: Meranie v softvérovom inžinierstve. - FIIT STU ...
Team Se@Msi: Meranie v softvérovom inžinierstve. - FIIT STU ...
Team Se@Msi: Meranie v softvérovom inžinierstve. - FIIT STU ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Počet zhlukov tried<br />
<strong>Meranie</strong> a paradigmy programovania 123<br />
Metrika počet zhlukov tried (number of class clusters) meria počet<br />
spojení medzi rôznymi triedami v systéme. Z toho vyplýva, že táto<br />
metrika podobne ako predchádzajúca meria aj počet zhlukov tried<br />
v systéme. Formálna definícia tejto metriky v systéme s daným počtom<br />
tried je počet rôznych (disjunktných) množín určených z množiny<br />
všetkých možných prienikov z množín tried, ktoré sú v ľubovolnej<br />
spojitosti s ľubovolnou inou triedou v systéme.<br />
Zložitosť asociácií<br />
Metrika (association complexity) je meranie zložitosti štruktúry systému.<br />
Táto metrika je obdobou cyklomatickej (McCabe) zložitosti a je<br />
definovaná vzorcom:<br />
AC = A – C + 2P<br />
kde:<br />
o A je počet ľubovolných asociácií (väzieb) v diagrame tried<br />
o C je počet tried v diagrame tried<br />
o P je počet neasociovaných (so žiadnou triedou<br />
nekomunikujúcich) tried<br />
Logické programovanie<br />
Logické programovanie sa zakladá na postupoch, ktoré sa používajú pri<br />
dokazovaní teorém v logike prvého rádu. Hlavným zámerom použitia<br />
logického programovania je možnosť deklaratívneho opisu riešeného<br />
problému.<br />
Napriek odlišnej syntaxe aj sémantiky pri programovaní a hlavne pri<br />
vykonávaní logického programu aj tu existujú postupy merania<br />
niektorých špecifických atribútov logických programov.<br />
Prvá skupina mier je založená na počítaní základných syntaktických<br />
jednotiek v programe. Druhá skupina vychádza z vyjadrenia toku<br />
riadenia logických programov metódami teórie grafov.<br />
Syntaktické jednotky v programe<br />
Logické programy majú hierarchickú syntax. Pre priblíženie, napríklad<br />
v Prologu sa program skladá z predikátov, predikáty z klauzúl a klauzuly<br />
z termov. Z toho vyplýva aj možnosť merania počtu jednotlivých štruktúr<br />
ako metrík rozsahu programu (obdoba metriky LOC alebo počtu funkcií<br />
v štruktúrovanom programovaní).<br />
Možné je tiež merať riadiacu previazanosť predikátu s okolím –<br />
množstvo klauzúl, ktoré program obsahuje, množstvo iných predikátov<br />
od ktorých závisí daný predikát alebo množstvo predikátov, ktoré závisia<br />
od neho.