Ελεγχος, Αξιοπιστία και Διασφάλιση Ποιότητας Λογισµικού - Μετρικές

Transcript

1 Ελεγχος, Αξιοπιστία και Διασφάλιση Ποιότητας Λογισµικού - Μετρικές Τµήµα Διοίκησης Επιχειρήσεων Τει Δυτικής Ελλάδας Μεσολόγγι Δρ. Α. Στεφανή Διάλεξη 3

2 Μετρικές διαδικασίας Η λογική της βελτίωσης µιας διαδικασίας ανάπτυξης λογισµικού στηρίζεται στην αντίληψη ότι µετρώντας συγκεκριµένα χαρακτηριστικά της διαδικασίας και αναπτύσσοντας κατάλληλες µετρικές, είναι δυνατόν να εξαχθούν συγκεκριµένοι δείκτες για την βελτίωση της ακολουθούµενης στρατηγικής.

3 Μετρικές διαδικασίας Παράγοντες διαδικασίας

4 Μετρικές Έργου Η εφαρµογή µετρικών κατά τη διάρκεια ανάπτυξης ενός συγκεκριµένου έργου και η εξαγωγή κατάλληλων δεικτών, χρησιµοποιείται από τη διοίκηση του έργου και την οµάδα ανάπτυξης για την τροποποίηση των δραστηριοτήτων (τεχνικών ή µη) ώστε να επιτευχθούν οι επιδιωκόµενοι στόχοι. Π.χ. εκτίµηση της διάρκειας κόστος έργου

5 Μετρικές Προϊόντος Ως προϊόν σε ένα έργο λογισµικού, δεν θεωρείται µόνο ο κώδικας που η διοίκηση του έργου έχει δεσµευθεί να παραδώσει στον πελάτη. Το σύνολο της τεκµηρίωσης που αναπτύσσεται σε ολόκληρο τον κύκλο ζωής του προϊόντος, από τα έγγραφα που συνοδεύουν το λογισµικό και παραδίδονται στον πελάτη µέχρι τα έγγραφα που παράγονται για εσωτερική χρήση της εταιρείας, αποτελούν τµήµα του προϊόντος.

6 ΑΡΧΕΣ ΜΕΤΡΗΣΕΩΝ Μία διαδικασία µέτρησης χαρακτηρίζεται από πέντε δραστηριότητες : 1. διατύπωση: Ο καθορισµός των µετρικών που είναι κατάλληλες για το λογισµικό το οποίο εξετάζεται. 2. συλλογή: Ο µηχανισµός που χρησιµοποιείται για τη συγκέντρωση των δεδοµένων που απαιτούνται για τον υπολογισµό των αντίστοιχων µετρικών. 3. ανάλυση: Ο υπολογισµός των µετρικών και η εφαρµογή µαθηµατικών µεθόδων.

7 ΑΡΧΕΣ ΜΕΤΡΗΣΕΩΝ ερµηνεία: Η αξιολόγηση των µετρικών για την απόκτηση γνώσης των ποιοτικών χαρακτηριστικών του υπό εξέταση λογισµικού. ανάδραση: Συστάσεις προς την οµάδα ανάπτυξης λογισµικού που είναι δυνατόν να προκύψουν µετά την ερµηνεία των µετρικών.

8 8 Χαρακτηριστικά Λογισµικού n Εσωτερικά n Εξωτερικά

9 9 Μετρικές Τι είναι? Τα χαρακτηριστικά δεν µετριούνται! You can t control what you can't measure DeMarco, T. (1982) Μετρικές: Ανάθεση αριθµού ή συµβόλου σε µία οντότητα που χαρακτηρίζει µία συγκεκριµένη ιδιότητά της (attribute).

10 10 Κατηγοριοποίηση Μετρικών- Χαρακτηριστικά Εσωτερικές Εξωτερικές

11 11 Κατηγοριοποίηση Μετρικών- Στόχος Μετρικές Διαδικασιών Πόρων Προϊόντων CMM ISO Μεγέθους Δοµής Δεδοµένων Halstead McCabe Tsai

12 12 Παραδείγµατα Μετρικών Μετρικές Διαδικασίας: # λαθών ανά ώρα προγραµµατισµού # αλλαγών στις προδιαγραφές # διαθέσιµων και χρησιµοποιηµένων ωρών προγραµµατιστή την εβδοµάδα # patch releases µετά την πρώτη παράδοση

13 13 Παραδείγµατα Μετρικών Μετρικές Πόρων: Ανθρώπινο δυναµικό Εξοπλισµός Αναλώσιµα

14 14 Κριτική! Είναι ανήθικο να µετράς την αποδοτικότητα µόνο µε αριθµούς (π.χ. τι γίνεται όταν ένας καλός προγραµµατιστής αναλαµβάνει το πιο δύσκολο κοµµάτι?) Υποτιµητικό: Management by numbers αντί για managing people. ( δεν λαµβάνεται υπόψη η εµπειρία του προγραµµατιστή) Ασύµµετρο: επηρεασµός µετρήσεων από τους προγραµµατιστές. Ανακριβές: καµία µετρική δεν συνδυάζει ακρίβεια και σηµαντικότητα. (τα LOC δεν µετράνε τη δυσκολία του προγράµµατος, τα Function Points Lines τη µετρούν αλλά είναι υποκειµενικά)

15 15 Συσχέτιση Εξ. & Εσ. Μετρικών Απόλυτη συσχέτιση: Αδύνατη! (π.χ. µεγάλος LOC -> εύχρηστο λογισµικό?) Εµπειρικά έχει αποδειχθεί: 1. Τήρηση ορίων Εσ. Μετρικών -> µάλλον ποιοτικό λογισµικό 2. Μη-τήρηση ορίων Εσ. Μετρικών -> µάλλον κακής ποιότητας λογισµικό

16 16 Εσωτερικές Μετρικές Μέγεθος: LOC Μετρικές Halstead Function Points Πολυπλοκότητα: Κυκλωµατική Πολυπλοκότητα

17 17 Lines Of Code LOC Lines of Code ή SLOC (Source Lines of Code) Χρησιµοποιείται για την εκτίµηση του φόρτου και της παραγωγικότητας 2 είδη Physical SLOC: # των γραµµών µαζί µε τα σχόλια και τις κενές γραµµές. Logical SLOC: # των εντολών (στη C των «;»)

18 18 Παράδειγµα for (i=0; i<100; ++i) printf("hello"); /* Πόσες γραμμές κώδικα είναι; */ P-LOC = 1 L-LOC = 2 (1 για την for και 1 για την printf) 1 σχόλιο Comment Line for (i=0; i<100; ++i) { printf("hello"); } /* και αυτό;*/ P-LOC=4 L-LOC=2

19 19 Μέγεθος έργων λογισµικού Έτος Operating System SLOC (Million) 1993 Windows NT Windows NT Windows NT Windows Windows XP Windows Vista Beta 2 50

20 20 Πλεονεκτήµατα &Μειονεκτήµατα + Απλό στη µέτρηση - περιορίζεται στον κώδικα (π.χ. δεν µετρά το µέγεθος των προδιαγραφών) δεν παίρνει υπόψη τη λειτουργία ή την πολυπλοκότητα δεν αποτελεί µέτρο για την αξιολόγηση της ποιότητας του κώδικα εξαρτάται από τη γλώσσα

21 Μετρικές Ηalstead Οι µετρικές που αναπτύχθηκαν από τον Halstead για τον υπολογισµό της υπολογιστικής πολυπλοκότητας ενός προγράµµατος επιχειρούν να συσχετίσουν ποσοτικά την πολυπλοκότητα µε τον αριθµό των τελεστών και τελεστέων σε έναν αλγόριθµο.

22 22 Μετρικές Ηalstead Ποσοτικές Μετρικές για τον πηγαίο κώδικα Επιστήµη Λογισµικού: Κώδικας = Τελεστές, Έντελα Τελεστές: συµβολοσειρές που καθορίζουν δράση πάνω στα έντελα Έντελα: σ υ µ β ο λ ο σ ε ι ρ έ ς π ο υ αντιπροσωπεύουν αποδέκτες της δράσης των τελεστών

23 23 Τελεστές ονόµατα εντολών, ονόµατα συναρτήσεων, σύµβολα πράξεων, ακόµα και σύµβολα στίξης π.χ. Printf(), ++, ;, {} Πως τα µετράµε: Παρενθέσεις, άγκιστρα ανά ζεύγη: {}, () Go to µαζί µε την ετικέτα: Go to 10 10: Εντολή διακλάδωσης: ΙF()-Then, IF()-Then-Else (µαζί µε τις παρενθέσεις τους!) Βρόγχοι: while()-do, do-while(), For(; ;), repeat-until() Άλλα: ;, printf(), return, scanf(), +, *, -, /, ==, κτλ.

24 24 Έντελα ονόματα μεταβλητών και σταθερές π.χ. i, j, 10, %d\n

25 25 Μετρικές Ηalstead Bασικές Οντότητες n1 ο αριθµός των διακριτών τελεστών που εµφανίζονται στο πρόγραµµα. n2 ο αριθµός των διακριτών εντέλων που εµφανίζονται στο πρόγραµµα. N1 ο αριθµός των συνολικών εµφανίσεων τελεστών στο πρόγραµµα. N2 ο αριθµός των συνολικών εµφανίσεων εντέλων στο πρόγραµµα

26 Παράδειγμα (1) 26

27 27 Παράδειγμα (2) #include <stdio.h> main() { int i,j; double k; i=0; while(i<10) { k=(i+20)/2; j=i*i; if(k>j) { if(i>j) printf("k=%f\n", k); else printf("i=%d j=%d\n",i,j); } i++; } i=-2; } Δεν µετράµε: include main() τις δηλώσεις int i, j; τα άγκιστρα της main

28 28 Παράδειγμα (2)- Tελεστές #include <stdio.h> main() { int i,j; double k; i=0; while(i<10) { k=(i+20)/2; j=i*i; if(k>j) { if(i>j) printf("k=%f\n", k); else printf("i=%d j=%d\n",i,j); } i++; } i=-2; }

29 29 Παράδειγμα (2)- Έντελα #include <stdio.h> main() { int i,j; double k; i=0; while(i<10) { k=(i+20)/2; j=i*i; if(k>j) { if(i>j) printf("k=%f\n", k); else printf("i=%d j=%d\n",i,j); } i++; } i=-2; } Άρα: n1=15 n2=10 N1=29 N2=23

30 30 Μετρικές του Halstead (1) Λεξιλόγιο: Μήκος προγράµµατος: n = n 1 + n 2 N = N 1 + N 2 Εκτιµητής Μήκους: N est = n 1 log 2 n 1 + n 2 log 2 n 2 υπάρχει εξάρτηση του µήκους του προγράµµατος µόνο από τους διακριτούς τελεστές και έντελα Όγκος: V = N log 2 n, αριθµός των bits που απαιτούνται για να αποθηκευθεί το πρόγραµµα Δυναµικός όγκος V* είναι ο όγκος που θα είχε η πιο συνοπτική (υψηλού επιπέδου) θεωρητική υλοποίηση του προγράµµατος (Minimal µέγεθος λύσης)

31 31 Μετρικές του Halstead (2) Επίπεδο προγράµµατος: L = V V * Εκφράζει το ποσοστό µε το οποίο το πρόγραµµα πλησιάζει το υψηλότερο δυνατό επίπεδο (κατά πόσο η υλοποίηση είναι κοντά στη Minimal) Εκτίµηση L est = 2 n2 n N 1 2

32 32 Μετρικές του Halstead (3) Δυσκολία προγράµµατος: 1 n N D = = L 2 n 1 2 η δυσκολία ενός προγράµµατος θα αυξάνει όσο χαµηλότερο είναι το επίπεδο υλοποίησης Επίπεδο γλώσσας: λ = LV* = L 2 V 2 2 n2 λ = L V = n N 1 2 δηλαδή το επίπεδο του προγράµµατος εξαρτάται άµεσα από τη γλώσσα προγραµµατισµού 2 2 N log 2 n

33 33 Μετρικές του Halstead (4) Προσπάθεια υλοποίησης: E = DV E D V V n1 N 2 = = = N log2 n L 2 n2 επίδραση του όγκου του προγράµµατος και του επιπέδου του στην προσπάθεια που έγινε για την υλοποίησή του Χρόνος υλοποίησης: T = E/S, S=18 (νοητικές επιλογές/sec) E n1 N 2 N log2 n T = = S 2 n S Εκτίµηση αριθµού λαθών: E 0 in [3000, 3200] B = E = E 0 n N 2 n N log E 0 2 n 2 3

34 34 Πλεονεκτήματα των μετρικών Halstead δεν χρειάζεται σε βάθος ανάλυση της δοµής του προγράµµατος Υπολογίζει το rate of error. Υπολογίζει το φόρτο συντήρησης Χρήσιµη στο προγραµµατισµό και αναφορά προόδου έργων λογισµικού Εύκολο να υπολογιστούν Ισχύουν για όλες τις γλώσσες προγραµµατισµού (ΟΟ?) Υποστηρίζονται από εµπειρικά δεδοµένα Χρήσιµες στην αναγνώριση κώδικα υψηλού φόρτου επεξεργασίας (µεγάλος κίνδυνος λάθους)

35 35 Μειονεκτήματα των μετρικών Halstead Modularity : παίρνεται υπόψην - όµως διαφορετική βαρύτητα πρέπει να έχει ένα call σε ρουτίνα του προγραµµατιστή και σε µία εξωτερική. Data-Type Distinctions : εάν µία γλώσσα χρησιµοποιεί τον τελεστή "+ +", αυτός µπορεί να εµφανιστεί εκατέρωθεν ενός εντέλου τύπου INT, FLOAT ή DOUBLE. Θα πρέπει να διαχωριστούν 6 διαφορετικές περιπτώσεις Call Depth : δεν λαµβάνεται υπόψη το βάθος των κλήσεων (nesting depth), που επηρεάζει το φόρτο. Θα πρέπει να µπουν τα ανάλογα βάρη. Τύποι τελεστών: ένα IF - THEN - ELSE έχει το ίδιο βάρος µε ένα FOR.. NEXT, ενώ είναι γνωστό ότι οι βρόγχοι είναι πιο δύσκολο να κατασκευαστούν. Η θεωρία του Halstead δεν προτείνει τρόπους δοκιµών ή βελτίωσης του κώδικα

36 Άσκηση

37 Άσκηση

38 Υποδείξεις

39 Υποδείξεις

40 Λύση

41 Λύση: Μήκος προγράµµατος Ν Μήκος προγράµµατος Ν Εκτίµηση Μήκους προγράµµατος Ν est

42 Λύση: όγκoς Προγράµµατος V

43 Λύση:

44 Λύση: επίπεδο γλώσσας

45 Λύση: Δυσκολία προγράµµατος D

46 Λύση: Προσπάθεια υλοποίησης Ε

47 Λύση: Χρόνος υλοποίησης Τ S είναι ο αριθµός των νοητικών επιλογών που µπορεί να κάνει το ανθρώπινο µυαλό ανά δευτελόλεπτο προσδιόρισε το S= 18

48 Λύση: Εκτίµηση αριθµού λαθών Β Ε 0 το µέσο αριθµό νοητικών επιλο γων που κάνει ο προγραµµατιστής ανάµεσα σε δύο διαδοχικά λάθη