Notes

%%%%% *** --- *** %%%%%
%%%%% *** --- *** %%%%%
%%%%% *** --- *** %%%%%

subsection{Ambiente Verifica e Validazione}
label{7.4}
Di seguito saranno descritti tutti gli strumenti che il gruppo Lambda Team dovrà usare il fase di Verifica e Validazione di documentazione e codice.

subsubsection{Controllo dei documenti}
Tutti i documenti scritti per mezzo di LaTeX dovranno essere sottoposti a controllo ortografico per eliminare eventuali errori. Per lo svolgimento di tale attività dovrà essere utilizzato GNU Aspell (url{aspell.net}).\
Questo programma consente di ottenere, dato un file testuale, l'insieme degli errori ortografici presenti nel documento secondo un dizionario di parole di una certa lingua. Il controllo si concentra sui soli errori grammaticali e potrebbe non rilevare eventuali errori di forma.\
Il controllo verrà effettuato da riga di comando tramite il seguente comando :\
textbf{aspell --lang=it --mode=tex check file.tex}

subsubsection{Analisi dei requisiti}
Al termine del processo di analisi, con la stesura del documento textit{Analisi dei Requisiti v.1.0.0}, il verificatore ha il compito di controllare la copertura delle richieste del proponente, attraverso i requisiti individuati dagli analisti, e la tracciabilit`a degli stessi con le fonti segnalate (casi d'uso, verbale e capitolato).

subsubsection{Analisi Codice}
La verifica del codice è divisa in analisi textbf{statica}ped{G} e analisi textbf{dinamica}ped{G}\
Per l'analisi textbf{statica}ped{G} si dovrà fare uso delle tecniche di analisi descritte nella sezione 2.7.1 del textit{Piano di Qualifica v.1.0.0}\
Per l'analisi textbf{dinamica}ped{G} si dovrà fare uso delle tecniche di analisi descritte nella sezione 2.7.2 del textit{Piano di Qualifica v.1.0.0}\
Di seguito vengono riportati gli strumenti da utilizzare nelle due tipologie di analisi.

paragraph{Analisi statica}
begin{itemize}
item textbf{GCC}: compilatore multipiattaforma espressivo nella segnalazione di errori e warning durante la compilazione del codice sorgente;
item textbf{CCCC}: genera un rapporto su varie metriche del codice (righe di codice, complessit`a ciclomatica, eccdots);
item textbf{CppCheck}: rileva principalmente i tipi di bug che i compilatori normalmente non rilevano. L'obiettivo `e quello di rilevare solo gli errori reali nel codice (avere zero falsi positivi).
end{itemize}

paragraph{Analisi dinamica}
begin{itemize}
item textbf{Test di unit`a}: per assicurare il corretto funzionamento del programma durante lo sviluppo dell’applicazione, verranno scritti dei test usando QtTest. Questo `e un frameworkped{G} per test di unit`a ed `e un modulo di Qtped{G} SDKped{G}. \
Un test sar`a creato attraverso una classe specifica per il testing, utilizzando le macro texttt{QVERIFY} e texttt{QCOMPARE} definite da QtTest.
item textbf{Valgrind}: strumento open source per il debug di problemi di memoria:
begin{itemize}
item textbf{memory leak}: consumo non voluto di memoria causato dalla mancata deallocazione dalla stessa, di variabili/dati non pi`u utilizzati da parte dei processi;
item textbf{profiling}: misura lo spazio (memoria) o la complessit`a temporale di un programma, l'uso di particolari istruzioni, la frequenza e la durata delle chiamate di metodi. L'uso pi`u comune `e aiutare l'ottimizzazione del programma.
end{itemize}
end{itemize}

subsubsection{Tracciamento Requisiti}

Il tracciamento dei requisiti viene effettuato tramite l'utilizzo di textbf{Tracy}, software creato dal team di lavoro ``Don't Panic'' (A.A. 2012-2013) che ne ha concesso l'uso per lo svolgimento del progetto software Prodotto.\

textbf{Tracy} `e un'applicazione web che consente di gestire requisiti, casi d'uso ed altre fonti. Il software `e utilizzabile tramite browser per aggiungere, modificare ed eliminare elementi. Permette di esportare il codice LaTeX necessario ad elencare requisiti, use case e le loro relazioni. Genera un'anteprima indicativa di un diagramma che visualizza i casi d'uso del flusso di eventi principale. Tale diagramma non `e conforme a underline{UML}, il suo uso si limita a fornire un'idea visiva dei dati inseriti.\
Il software di tracciamento `e provvisto di strumenti automatici, tuttavia `e compito degli Analisti controllare la corrispondenza biunivoca di ogni requisito con una o pi`u fonti, quali casi d'uso, verbale e capitolato.

%%%%% *** --- *** %%%%%
%%%%% *** --- *** %%%%%
%%%%% *** --- *** %%%%%