[Abstract] Il presente documento descrive i requisiti software di qualità, su questa base, l'articolo si illustra il lavoro di sviluppo software LOGISCOPE garanzia della qualità.Come le diverse fasi di sviluppo del software utilizzando questi strumenti per garantire che lo sviluppo di software di affidabilità e manutenibilità.L'uso razionale delle LOGISCOPE aiuterà il team di sviluppo attraverso la certificazione ISO9001, ma anche rafforzare il team di sviluppo per facilitare i livelli CMM.SCADE Logiscope e strumenti di progettazione sarà utilizzato in combinazione per rendere il software soddisfano i RTCA/DO-178B, IEC1508, IEC880, e GJB-2786 di sicurezza - sistemi critici requisiti di qualità del software.
1. Requisiti di qualità del software
Software, una grande parte importante del sistema, il software embedded, si riferisce al software come parte del sistema integrato nel sistema, come parte del sistema utilizzando il software che il requisito più critico è la sicurezza e l'affidabilità.In particolare, soprattutto in campo militare.
Pertanto, dobbiamo usare efficaci metodi e strumenti software per supportare e soddisfare lo sviluppo di software embedded, test del software e di valutazione, e di altre unità per assicurare che essi conducono attività di assicurazione della qualità del software.Cioè, sono gli strumenti software adeguati per sostenere gli sviluppatori al fine di garantire nel più breve tempo possibile, con il minor costo, lo sviluppo di software di alta qualità per soddisfare le esigenze dei clienti, riducendo i costi di manutenzione dopo la consegna del prodotto.
Statistiche sul progetto attuale, si trovano nelle diverse fasi di scoperta e di modificare il costo di un errore è diverso, la tabella seguente mostra i dati specifici [1].
Software fase di sviluppo
Fase di codifica
Prova
Fase di mantenimento
I costi di scoperta e di modificare l'errore
1 volte
4 volte
16 volte
D'altra parte, le statistiche mostrano che un progetto, l'80% degli errori sono spesso causati dal 20% del programma di la.Pertanto, come riconoscere e identificare in modo efficace il 20% dei parti è molto importante.
L'esperienza ci dice anche che le procedure di errore di molti, la sua struttura, algoritmo, lo stile del programma è spesso molto complessa.
La seguente tabella è in varie fasi delle attività di sviluppo software (valutazione e verifica) ha trovato che il caso di errore [1]:
Gli errori rilevati attività
1000 linee per numero di errori rilevati
SRR
2.5
Design Review
5.0
Revisione del Codice
10.0
Test di integrazione
3.0
Acceptance Test
2.0
I prodotti software con altri prodotti industriali, la sua qualità dipende dal processo di sviluppo del software per il controllo qualità.Per migliorare la qualità di un buon software, deve essere controllato in tutte le fasi.
LOGISCOPE è un insieme di strumenti.Essa passa attraverso lo sviluppo del software, la revisione del codice, unità / test di integrazione, test di sistema, e fase di mantenimento del software.
LOGISCOPE è il codice sorgente per il lavoro.LOGISCOPE per la codifica, test e manutenzione.Pertanto, l'attenzione LOGISCOPE è quello di aiutare la revisione del codice (revisione) e la prova di copertura dinamica (Testing).
2 LOGISCOPE per la fase di sviluppo
2.1 La definizione del modello di qualità
Attenzione alla qualità di società di sviluppo software, regole di programmazione programmatori dovrebbe essere definito modello di valutazione [2] e di qualità.Sviluppato dalla società per garantire la stabilità del codice sorgente, di facile manutenzione, alta affidabilità e portabilità.
RuleChecker 50 regole predefinite di programmazione:
* Nome del convegno (ad esempio: variabili locali in minuscolo, ecc);
* Disse la convenzione (ad esempio: istruzione per linea);
* Restrizioni (come ad esempio: non è possibile utilizzare GOTO dichiarazioni non possono essere modificati nel contatore loop, ecc);
Gli utenti possono scegliere da queste regole, è possibile utilizzare anche Tcl, scripting e linguaggi di programmazione per definire nuove regole.
Si prevede inoltre la sicurezza di 50 - norme di programmazione di sistemi critici.
Audit per ISO9126 [3] modello come base per il modello di valutazione della qualità.modello di valutazione della qualità descrive da Halstend, misura metodologia McCabe Verilog e la qualità della metodologia, l'introduzione di fattori di qualità (manutenibilità, riusabilità, ecc) e criteri di qualità (testabilità, leggibilità, ecc.)
Responsabile del progetto o può essere basata su criteri di gestione della qualità, del ciclo di vita dell'applicazione, i requisiti contrattuali, ecc, la selezione e l'adozione dei requisiti del progetto per la qualità dei modelli.
2,2 di verifica, rivedere e migliorare il codice
RuleChecker con le regole del controllo del codice sorgente selezionata.Programmazione di regole che non soddisfano tutto il codice, e reso il codice sorgente a migliorare l'interpretazione e le raccomandazioni.RulrChecker attraverso un editor di testo per accedere direttamente al codice sorgente e la necessità di correggere la posizione.
Audit sarà valutare la qualità del modello del software requisiti e confronto graficamente il livello di qualità del software, quindi, la qualità del personale può mettere a fuoco la necessità di modificare la sezione di codice.Misurare la qualità degli elementi del modello e per spiegare le incongruenze e di proporre metodi correttivi.
L'analisi dettagliata della qualità del software, l'audit può essere una varietà di rappresentazione grafica:
* L'architettura del sistema di applicazione - grafico delle chiamate mostra il rapporto tra processo e funzione.La progettazione di applicazioni di revisione;
* Ogni processo e la funzione della struttura logica - diagramma di flusso di controllo indica l'algoritmo logico percorso.Con una rappresentazione grafica della complessità della funzione di valutazione;
* Coerenza e la qualità del modello - Schema Kiviat e grafico a torta in modo che il livello di qualità selezionata e la coerenza tra il riferimento è più visiva.
3 LOGISCOPE per le prove
3.1 La definizione dei criteri di controllo
Nella fase di testing del software, il più importante è garantire che tutti i percorsi di codice sono stati interamente coperti [4,5].Solo quelli, completamente testato il software è affidabile.Particolarmente elevata affidabilità del software.
Per garantire la validità del test deve essere definito oggettivamente quantificabili i criteri e le strategie per determinare quando porre fine alla fase di test.
LOGISCOPE consigliato per l'istruzione (IB), il percorso logico (DDP) e il percorso di chiamata (PPP) del test di copertura.Oltre alla sicurezza - critici del software fornisce anche MC / DC copertura di prove [5].
3.2 La validità del test
TestChecker generare informazioni per ogni prova e cumulativo informazioni sulla copertura del test.Copertura visualizzazione istogramma rapporto e il funzionamento di prova nelle modifiche online in tempo reale.Mostra il nuovo test in qualsiasi momento della prova riflette in copertura.
TestChecker consentire a tutti l'efficacia test basati sulla sua gestione.Gli utenti possono ridurre quelli utilizzati per le prove di test di non regressione.
3,3 Ottimizzazione del test
Il primo passo nella fase di collaudo, l'esecuzione del test è funzionale (scatola nera) test.L'obiettivo è di verificare se la funzione desiderata è stato raggiunto.Nei primi test, la copertura aumenterà rapidamente.In generale la copertura dei test decente del 70%.Tuttavia, per migliorare questo rapporto è molto difficile.Dovuto principalmente al caso di test di prova che copre lo stesso percorso.In questo momento, è necessario apportare alcune modifiche alla strategia di test.Attuazione di misure strutturali (scatola bianca), il controllo, cioè, non effettuati per individuare il percorso logico, la definizione di casi di test nuova riguardante questi percorsi.
Per l'attuazione del periodo di prova, quando cambia strategia di sperimentazione, la rilevazione completa dei fattori chiave per l'utilizzo di TestChecker per migliorare l'efficienza.TestChecker usato in congiunzione con il Comitato aiuterà gli utenti ad analizzare il codice non testato.
Gli utenti possono visualizzare il codice di interesse, e non coperti dalla realizzazione del percorso delle informazioni relative osservate.Informazioni grafica (grafico flusso di controllo) e il testo (pseudo-codice e file di origine) in una forma, e la navigazione nel frattempo stabilito associazione.
TestChecker dichiarato il nuovo sistema di gestione dei test di produrre i documenti pertinenti, i comandi di avvio personalizzato, e l'esecuzione automatica.
4 LOGISCOPE per la fase di mantenimento
comprensione diffusa dei costi di applicazione di manutenzione del sistema e lo sviluppo sono quasi uguali.L'esperienza ha dimostrato che il 50% della manutenzione del software di tempo nella logica di struttura, e la comprensione della funzione.
LOGISCOPE può ridurre notevolmente la comprensione del sistema del tempo sconosciuto richiesto.
quadro di revisione del modulo di domanda di un documento (la relazione tra parti di documenti) e chiamare il grafico della forma (il rapporto tra funzioni e procedure) di visualizzazione.
La struttura logica della funzione per controllare il grafico di flusso visualizzato.Selezionato sul nodo grafico di controllo del flusso, è possibile ottenere il codice corrispondente.
analisi Line, la navigazione tra i vari livelli per promuovere la comprensione del tutto.
Cinque coppie di sostegno per lo spazio embedded
LOGISCOPE supportare una varietà di metodi di sperimentazione.Soprattutto nel campo del supporto software embedded.
È ben noto che la sperimentazione di software di sistema embedded è la più difficile.Perché il suo sviluppo è cross-compilato modo.Sulla macchina di destinazione (Target), e non hanno il record di informazioni extra spazio della prova.Deve essere testato in informazioni in tempo reale attraverso il cavo di rete / porta seriale raggiunto l'host (Host) in poi, e in tempo reale, visualizzazione online.Pertanto, la strumentazione codice sorgente e raccolta di informazioni sul computer di destinazione e tornare la chiave di un problema.
LOGISCOPE una buona soluzione per queste tecnologie, leader nel settore embedded strumenti di test.Esso supporta una varietà di sistemi operativi real-time (RTOS) nella prova di applicazione, la prova anche sostenere la logica del sistema.Il suo metodo di lavoro è il seguente:
Logiscope fornisce VxWorks, OSP, VRTX sistema operativo real-time, la libreria di test.
6 per l'aeronautica / aerospaziale / difesa / sostegno del settore delle centrali nucleari
Nel settore aeronautico / aerospaziale, la sicurezza è la questione più critica.Pertanto, il trasporto aereo europeo e americano / produttori aerospaziali e utenti sviluppato congiuntamente RTCA/DO-178B [5].LOGISCOPE su "Commenti e analisi del codice sorgente" e "strutturali, analisi di copertura" software sviluppato per consentire RTCA/DO-178B standard A, B, C tre livello di sistema.
LOGISCOPE è il primo a fornire MC / DC (Modified Condition / decisione di copertura), strumento di test.
SCADE Verilog è un altro prodotto l'azienda sostiene pienamente RTCA/DO-178B, IEC1508 [6], IEC880 [7] strumento.SCADE e LOGISCOPE configurato la linea di produzione per assicurare che l'aviazione / aerospaziale critici per la sicurezza del software di sistema di sicurezza e affidabilità.
7. Generazione di software e di documentazione automatica della documentazione di prova
Logiscope fornisce tool di generazione automatica della documentazione.Gli utenti possono esaminare i risultati del codice e delle norme di test dinamici della situazione in tempo reale per generare i documenti che una registrazione fedele del codice della cassa, ei risultati dei test dinamici.Formato del documento può essere personalizzato secondo le esigenze degli utenti, come, GJB-438A [8].Quindi:
1) per evitare incongruenze nel codice e documentazione;
2) i risultati dei test e rapporto di prova al fine di evitare incongruenze;
3) per ridurre gli sviluppatori e tester scrivere il documento di lavoro.
8 Sintesi
utilizzare LOGISCOPE nel più breve tempo possibile, migliorare la qualità e l'efficienza di morbida.
LOGISCOPE in fase di sviluppo, la ricerca è possibile cercare i potenziali errori.
Nella fase di revisione del codice, errori di posizionamento LOGISCOPE che hanno l'80% dei moduli del programma.
Non testare il codice sul posizionamento, LOGISCOPE aiutare a trovare i difetti nascosti nel codice non è testato.
I leader del progetto e gli ingegneri di qualità per controllare regolarmente con LOGISCOPE la qualità del software.
Utilizzato in ogni fase LOGISCOPE, migliorare la pratica dell'ingegneria del software, i programmatori di scrivere codice buono di formazione e attività di test per assicurare che il sistema di facile manutenzione, ridurre i rischi.
In un rapporto contrattuale, l'appaltatore può usare LOGISCOPE definiti livelli di qualità e l'attuazione di test di accettazione.Cheng Zhifang LOGISCOPE può dimostrare la qualità del loro software.
LOGISCOPE per ISO/IEC9126 definito "Qualità Caratteristiche";
LOGISCOPE per la ISO-9001 [9], prevedono i requisiti (criteri di accettazione delle prove e le registrazioni qulity);
LOGISCOPE fornisce agli sviluppatori SEI / CMM [10] a livello 2 (Ripetibile) seguire i requisiti richiesti software di qualità delle pratiche chiave, e promuovere l'organizzazione di sviluppo il più rapidamente possibile SEI / SMM dei tre.