02.06.2013 Views

analisi e gestione della sicurezza di una complessa applicazione ...

analisi e gestione della sicurezza di una complessa applicazione ...

analisi e gestione della sicurezza di una complessa applicazione ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

• Aggiungere la tecnologia SSL e acquistare un certificato per proteggere le credenziali<br />

inserite dagli utenti al momento del login.<br />

• Perfezionare la pagina delle Autorizzazioni <strong>di</strong>stinguendo i permessi da assegnare agli utenti<br />

per le varie aree e applicazioni in due categorie: sola lettura (R) o lettura e scrittura (RW).<br />

• Infine si potrebbero testare parti <strong>di</strong> co<strong>di</strong>ce con la tecnica del white box testing, basato sulla<br />

nozione <strong>di</strong> copertura, cioè sull’esecuzione <strong>di</strong> elementi del grafo <strong>di</strong> controllo <strong>di</strong> un<br />

programma. Il white-box testing e il black-box testing da noi usato sono complementari in<br />

quanto quest’ultimo permette <strong>di</strong> testare le funzionalità del software ignorando il flusso <strong>di</strong><br />

manipolazione delle strutture dati e delle variabili utilizzate, mentre il white-box testing<br />

permette <strong>di</strong> analizzare le strutture dati interne e la copertura del co<strong>di</strong>ce testato. Il co<strong>di</strong>ce è<br />

rappresentato, infatti, tramite un grafo, il grafo del flusso <strong>di</strong> controllo (Control flow Graph ),<br />

i cui no<strong>di</strong> rappresentano statement (istruzioni e/o pre<strong>di</strong>cati) del programma e gli archi il<br />

passaggio del flusso <strong>di</strong> controllo. Il grafo è esaminato per identificare ramificazioni del<br />

flusso <strong>di</strong> controllo e verificare l’esistenza <strong>di</strong> eventuali anomalie quali co<strong>di</strong>ce irraggiungibile<br />

e non strutturazione.<br />

In letteratura esistono numerosi criteri <strong>di</strong> copertura del co<strong>di</strong>ce per i test strutturali, come<br />

quello dei coman<strong>di</strong>, delle decisioni, delle con<strong>di</strong>zioni e dei cammini.<br />

163

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!