Complessità ciclomatica
La complessità ciclomatica, o complessità condizionale, è una metrica software. Sviluppata da Thomas J. McCabe nel 1976, è utilizzata per misurare la complessità di un programma. Misura direttamente il numero di cammini linearmente indipendenti attraverso il grafo di controllo di flusso.
La complessità ciclomatica è calcolata utilizzando il grafo di controllo di flusso del programma: i nodi del grafo corrispondono a gruppi indivisibili di istruzioni, mentre gli archi connettono due nodi se il secondo gruppo di istruzioni può essere eseguito immediatamente dopo il primo gruppo. La complessità ciclomatica può, inoltre, essere applicata a singole funzioni, moduli, metodi o classi di un programma.
Descrizione
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/2b/Control_flow_graph_of_function_with_loop_and_an_if_statement_without_loop_back.svg/220px-Control_flow_graph_of_function_with_loop_and_an_if_statement_without_loop_back.svg.png)
La complessità ciclomatica di una sezione di codice è il numero di cammini linearmente indipendenti attraverso il codice sorgente. Per esempio, se il codice sorgente non contiene punti decisionali come IF o cicli FOR, allora la complessità sarà 1, poiché esiste un solo cammino nel sorgente (e quindi nel grafo). Se il codice ha un singolo IF contenente una singola condizione, allora ci saranno due cammini possibili: il primo se l'IF viene valutato a TRUE e un secondo se l'IF viene valutato a FALSE.
La definizione di "cammini linearmente indipendenti" risiede nella definizione di lineare indipendenza a livello algebrico, semplicemente estesa ai cammini su grafi orientati. Una complessità ciclomatica di 5, significa che 5 è il numero massimo di cammini possibili tra loro indipendenti e ogni altro cammino possibile sul grafo si può costruire a partire da uno di quei 5 (vale a dire una combinazione lineare di uno di essi). Trovare i 5 cammini indipendenti significa trovare una base per l'insieme di tutti i possibili cammini di un dato grafo G.
Matematicamente, la complessità ciclomatica di un programma strutturato[note 1] è definita in riferimento ad un grafo diretto contenente i blocchi base di un programma con un arco tra due blocchi se il controllo può passare dal primo al secondo (il "grafo di controllo di flusso"). La complessità è quindi definita come:[1]
dove
- = complessità ciclomatica del grafo G;
- = il numero di archi del grafo;
- = il numero di nodi del grafo;
- = il numero di componenti connesse.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/30/Control_flow_graph_of_function_with_loop_and_an_if_statement.svg/220px-Control_flow_graph_of_function_with_loop_and_an_if_statement.svg.png)
Un'alternativa è quella di utilizzare un grafo nel quale ogni punto di uscita è a sua volta connesso con il punto d'ingresso. In questo caso, il grafo è detto fortemente connesso, e quindi la complessità ciclomatica è uguale al "numero" ciclomatico del suo grafo (anche conosciuto come il primo numero di Betti), che è definito come:[1]
E qui si ritrova anche il motivo del nome di tale complessità.
Per un singolo programma (o una funzione o un metodo), è sempre uguale ad 1. La complessità ciclomatica può, chiaramente, essere applicata a più programmi o sottoprogrammi contemporaneamente (es. tutti i metodi di una classe), e in questi casi corrisponde al numero dei programmi/sottoprogrammi in questione, poiché un singolo sottoprogramma apparirà come una componente connessa del grafo.
Formule alternative
Contare i predicati
Nella proposta originale di McCabe, erano fornite anche due formule per il calcolo più rapido della complessità ciclomatica. La prima (e largamente più diffusa) si basa sul fatto che è possibile dimostrare che la complessità ciclomatica di ogni programma strutturato (singolo punto di ingresso/uscita) vale:[1]
dove
- = il numero di punti decisionali (es. IF, FOR, WHILE etc.) contenuti nel programma.
Da notare che in questo caso non si fa riferimento al grafo di controllo di flusso, e quindi il calcolo è largamente più semplice e rapido; basta semplicemente "contare" gli IF, FOR, WHILE etc.
Contare le regioni del grafo
La seconda formula si basa ancora sul grafo ma anziché considerare gli archi e i nodi, considera le regioni (zone) che essi formano. Il numero di regioni corrisponde alla complessità ciclomatica. L'assunto di ciò si basa sulla formula di Eulero applicata ai grafi planari che dice che se è un grafo planare con vertici (nodi), archi e regioni allora:[1]
da cui
quindi il numero di regioni coincide con la complessità ciclomatica.
Proprietà
Sia un grafo di controllo di flusso di un programma e la sua complessità, è possibile esporre brevemente alcune proprietà:[1]
- ;
- è il numero massimo di cammini linearmente indipendenti in ;
- Inserire o eliminare istruzioni funzionali (functional statements) a , non influenza ;
- ha un solo cammino se e solo se ;
- Inserire un nuovo arco in incrementa di un'unità;
- dipende solamente dalla struttura decisionale di .
Estensioni della complessità ciclomatica
Esiste tuttavia un limite a tale complessità. Essa è stata definita in termini di programmi/sottoprogrammi con un singolo punto di ingresso e di uscita. Non è quindi possibile (o perlomeno non sarebbe formalmente corretto) calcolare la complessità di programmi che, ad esempio, abbiano più punti di uscita.[note 2]. In tal senso numerosi studi hanno esteso la definizione iniziale cercando di comprendere anche programmi di questo tipo.
Singolo ingresso - Uscita multipla
La complessità ciclomatica può essere estesa ad un programma con più punti di uscita. In questo caso vale:[2]
dove
- = il numero di punti decisionali;
- = il numero di punti di uscita.
Chiaramente la nuova definizione è consistente, ovvero vale anche per programmi con un singolo punto di uscita (), riottenendo la formula precedente.
Applicazioni
Limitare la complessità durante la fase di sviluppo
Una della applicazioni originali era di limitare la complessità di funzioni durante lo sviluppo; McCabe raccomandava che i programmatori contassero la complessità dei moduli in sviluppo, e li dividessero in moduli più piccoli, qualora tale complessità avesse superato 10.[1]. Tale pratica è stata adottata dalla "Metodologia di Test Strutturato" del NIST, osservando che dalla pubblicazione dell'articolo originale, il valore di 10 ha ricevuto una sostanziale accettazione, ma in certe circostanze può essere appropriato rilassare tale restrizione e permettere moduli con una complessità anche di 15. Qualora questo limite venga tuttavia superato, tale metodologia suggeriva di spiegare il perché del superamento.[3]
Implicazioni nella fase di testing del software
Un'applicazione della complessità ciclomatica è determinare il numero di casi di test che sono necessari per l'analisi di coverage di una particolare funzione/subroutine.
È utile per via di due proprietà della complessità ciclomatica :
- è un limite superiore al numero di test necessari per raggiungere un coverage completo di una data funzione;
- è un limite inferiore per il numero di cammini all'interno del grafo di controllo di flusso. Assumendo che ogni test sia un cammino, il numero di casi necessari per raggiungere un coverage sui cammini è uguale al numero di cammini che possono effettivamente essere presi. Tuttavia alcuni cammini possono essere impossibili (o "infiniti") quindi questo numero può essere a volte inferiore a .
Quindi la relazione che ne emerge è la seguente:
Per esempio, si consideri un programma che consiste di due if-then-else sequenziali.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/7f/Control_flow_graph_of_function_with_two_if_else_statements.svg/220px-Control_flow_graph_of_function_with_two_if_else_statements.svg.png)
if( c1() ) f1(); else f2(); if( c2() ) f3(); else f4();
In questo esempio, due test sono sufficienti per raggiungere un coverage completo del codice, mentre quattro sono necessari per un coverage completo dei cammini (tutti i cammini possibili). La complessità ciclomatica del programma vale 3 (può essere calcolata mediante una qualunque delle formule sopra menzionate).
In generale, per poter testare in modo completo un modulo, tutti i possibili cammini dovrebbero essere analizzati. Questo implica che un modulo con una complessità elevata, richieda più testing di un modulo a complessità inferiore. Questo implica anche che un modulo particolarmente complesso sarà più difficile da capire per un programmatore, poiché dovrà riuscire a identificare i cammini e i loro risultati.
Sfortunatamente, testare tutti i possibili cammini non è sempre praticabile. Si consideri l'esempio di cui sopra, a cui ogni volta si aggiunge un altro if-then-else. Tale modifica comporterebbe un raddoppiamento dei possibili cammini. Se il programma crescesse ancora, raggiungerebbe un punto in cui fare testing diventerebbe impraticabile.
Una strategia di testing comune, utilizzata ad esempio dalla "Metodologia di Test Strutturato" del NIST, è utilizzare la complessità ciclomatica di un modulo per determinare il numero di test a "scatola bianca" (white-box) che sono richiesti per ottenere un coverage sufficiente per il modulo. In quasi tutti i casi, in accordo con questa metodologia, un modulo dovrebbe avere esattamente tanti test quanto è il valore della complessità ciclomatica; in molti casi, questo numero è adeguato a ricoprire tutti i casi (cammini) rilevanti per il modulo.[3]
Come esempio di una funzione che richiede più di un semplice coverage per essere testata accuratamente, si consideri ancora l'esempio di cui sopra, ma si assuma che, per evitare l'occorrenza di un bug, ogni chiamata a f1() o f3() deve chiamare anche l'altra.[note 3] Assumendo che i risultati di c1() e c2() siano indipendenti, questo suggerisce che la funzione così presentata contenga dei bug. Il semplice coverage ci permetterebbe di testarla con due test e un possibile insieme di test (volutamente erroneo) potrebbe essere il seguente:
- c1() ritorna TRUE e c2() ritorna TRUE;
- c1() ritorna FALSE e c2() ritorna FALSE.
Nessuno dei due test farebbe notare il bug. Se, tuttavia, si utilizza la complessità ciclomatica (= 3) per indicare il numero di test necessari, a questo insieme di test si aggiungerebbero uno dei seguenti:
- c1() ritorna TRUE e c2() ritorna FALSE;
- c1() ritorna FALSE e c2() ritorna TRUE.
Indipendentemente da quale di scelga, entrambi esporrebbero il bug.
Coesione
Ci si aspetterebbe che un modulo ad elevata complessità abbia una minore coesione di un modulo con una complessità inferiore. La relazione tra elevata complessità e bassi livelli di coesione si basa sul fatto che un modulo con più punti decisionali generalmente implementerà più di una singola funzione ben definita. In uno studio del 2005 ha mostrato forti corrispondenze tra le metriche di complessità e il livello di Coesione nelle classi prese in esame.[4]
Relazioni sul numero di errori
Degli studi hanno trovato una forte relazione tra la complessità ciclomatica e il numero di errori nel codice. Moduli che hanno elevata complessità tendono a contenere un numero elevato di errori. Per esempio, in uno studio del 2008 si sono analizzate classi open-source di applicazioni Java e sono state divise in due categorie in base a quanto frequentemente venivano riscontrati errori in esse. Si è trovato una forte correlazione tra complessità e gli errori trovati, e si è calcolato che classi con una complessità di 11 avevano una probabilità di contenere errori dello 0.28, che si alzava a 0.98 con una complessità di 74.[5]
Tuttavia, altri studi sul controllo delle dimensioni dei programmi (utilizzando ad esempio metriche tipo numero di linee di codice) sono generalmente meno conclusive.[6]
Note
- ^ a b c d e f McCabe, A Complexity Measure (PDF), in IEEE Transactions on Software Engineering, dicembre 1976, pp. 308–320 (archiviato dall'url originale il 29 dicembre 2009).
- ^ Harrison, Applying Mccabe's complexity measure to multiple-exit programs, in Software: Practice and Experience, J Wiley & Sons, ottobre 1984.
- ^ a b McCabe, Watson, Structured Testing: A Testing Methodology Using the Cyclomatic Complexity Metric, su hissa.nist.gov, 1996 (archiviato dall'url originale il 28 agosto 2012).
- ^ Stein et al, Exploring the relationship between cohesion and complexity (PDF), in Journal of Computer Science, vol. 1, n. 2, 2005, pp. 137–144, DOI:10.3844/jcssp.2005.137.144 (archiviato dall'url originale l'11 luglio 2007).
- ^ Rich Sharpe, McCabe Cyclomatic Complexity: the proof in the pudding, su enerjy.com, Enerjy (archiviato dall'url originale l'11 maggio 2011).
- ^ Kan, Metrics and Models in Software Quality Engineering, Addison-Wesley, 2003, pp. 316–317, ISBN 0-201-72915-6.
- ^ Per "strutturato" si intende con un singolo punto di uscita per funzione".
- ^ Per più punti di uscita si intende ad esempio una funzione avente più "return" e/o chiamate di uscita (ad esempio: lancio di eccezioni o esecuzione di istruzioni di terminazione del programma).
- ^ Questo è una condizione abbastanza comune; ad esempio f1() alloca risorse che f3() rilascia.
Voci correlate
- Struttura di controllo
- Metriche software
- Software engineering
- Collaudo del software
Collegamenti esterni
- A Complexity Measure - McCabe's original paper in IEEE Transactions on Software Engineering Vol. 2, No. 4, p. 308 (1976)
- NIST Special Publication 500-235 Structured Testing: A Testing Methodology Using the Cyclomatic Complexity Metric, su hissa.ncsl.nist.gov. URL consultato il 15 maggio 2009 (archiviato dall'url originale il 21 maggio 2007).
- McCabe official home page, su mccabe.com.