Pieces of Technology at your service. C/C++test

Transcript

1 Pieces of Technology at your service C/C++test

2 AUTOMATIZZAZIONE DELL ANALISI STATICA, CODE REVIEW, TEST UNIT, RUNTIME ERRORS Parasoft C/C++test è una soluzione di test integrato per C e C++. Con C/C++test si automatizza un ampia gamma di attività, tra cui il controllo qualità, l analisi statica del codice, lo unit testing, la revisione del codice, l analisi della copertura, il rilevamento degli errori di runtime, etc.. C/C++test consente alle aziende di ridurre i rischi, tagliare i costi, aumentare la produttività e raggiungere la conformità con le linee guida e gli standard del proprio settore. Può essere utilizzato nell analisi di codice e flussi di test sia host-based che target-based, fondamentale per lo sviluppo cross-platform ed embedded. AUTOMATIZZARE PER GARANTIRE LA CONFORMITÀ DEL PROGETTO Una strategia di sviluppo corretta può eliminare intere classi di errori di programmazione e prevenire i difetti fin dall inserimento del codice sorgente. C/C++test analizza il codice e da segnalazione degli errori direttamente nell IDE dello sviluppatore, quando il codice si discosta dagli standard descritti dalle regole di programmazione impostate. Centinaia di norme predefinite, tra cui implementazioni di MISRA, MISRA C++, FDA, Scott Meyers Effective C++, Effective STL, aiutano ad identificare i bugs, evidenziare l impiego non definito o non secondo specifica del linguaggio C/C++, migliorando la manutenibilità e la riusabilità del codice. Gli sviluppatori possono utilizzare e configurare regole specifiche per il loro team. Regole personalizzate possono imporre l utilizzo di API standard e prevenire il ripetersi di difetti dopo averne identificata una singola istanza. Per le industrie dove l assenza di errori è critica, come in avionica, in campo medico, automobilistico, dei trasporti, e dell automazione industriale, C/C++test mette a disposizione processi efficienti per garantire qualità e conformità dei progetti. IDENTIFICARE GLI ERRORI DI RUNTIME, SENZA ESEGUIRE IL SOFTWARE Il modulo di analisi statica di C/C++test simula i percorsi raggiungibili di esecuzione dell applicazione (che possono attraversare più funzioni e files) e determina se potrebbero innescare specifiche categorie di errori di runtime. C/C++test identifica problemi di: Memoria non inizializzata o non valida. Null Pointer dereferenziati. Array e buffer overflow. Divisioni per zero. Varie tipologie di codice irraggiungibile. La possibilità di rintracciare i difetti senza eseguire il codice è particolarmente utile per applicazioni embedded, dove analisi dettagliate a runtime per tali errori sono spesso inefficaci o impossibili. C/C++test semplifica notevolmente l analisi dei difetti, fornendo un percorso evidenziato per ogni potenziale bug nell IDE dello sviluppatore. Link automatici ed incrociati al codice aiutano gli utenti a passare velocemente al codice da qualsiasi punto del percorso di analisi. Leak di memoria e di risorse. 2 customer.care@psoftech.it

3 AUTOMATIZZAZIONE DEL PROCESSO DI REVISIONE DEL CODICE C/C++test automatizza la preparazione, la notifica e il monitoraggio delle revisioni successive del codice, e consente un efficiente processo teamoriented. Lo stato di tutte le revisioni del codice, inclusi tutti i commenti degli utenti, è mantenuta e automaticamente distribuita. C/C++test supporta due processi tipici di revisione dei flussi di codice: Post-Commit Code Review. Identificazione automatica di modifiche al codice in un repository sorgente tramite interfacce di controllo personalizzabili dagli utenti; crea automaticamente le attivita di revisione del codice modificato agli utenti. Pre-Commit Code Review. Gli utenti possono avviare una revisione del codice dal proprio desktop e distribuire o identificare automaticamente tutto il codice sorgente modificato localmente. Inoltre, non c è più necessità di ispezioni line-by-line del codice perché la politica di scrittura del codice del team viene monitorata automaticamente dalle funzionalità di analisi statica da C/C++test. Quando il codice viene sottoposto a revisione, le violazioni sono gia state identificate ed eliminate. Chi ricontrolla il codice può concentrarsi ad analizzare algoritmi, valutare la progettazione e alla ricerca di errori più sottili che gli strumenti automatici non possono rilevare. UNIT E INTEGRATION TEST CON ANALISI DI COPERTURA C/C++test genera automaticamente i test completi, compresi i case-test per le singole funzioni, in puro C, CC++ o in un formato simile a CppUnit. Test auto generati, e modificabili, sono utilizzati per convalidare il comportamento del codice. È possibile testare anche i casi di input imprevisti, e prevedere problemi di affidabilità. Da Test Case Wizard possono essere creati rapidamente test specifici dall interfaccia grafica e consente di creare test funzionali black-box, senza doversi preoccupare del loro funzionamento interno. Il Data Source Wizard aiuta a parametrizzare i casi di test sui dati sorgente. Lo Stub View consente di creare stub (sostituti) di codice per test specifici delle funzioni esistenti. Le esecuzioni dei test e delle analisi sono centralizzati nel Test Case Explorer, che consolida tutte le prove di progetto e fornisce uno stato pass/fail delle varie parti del codice. Un analizzatore di copertura con test a multimetriche, tra cui, statement, branch, path, e la copertura MC/DC aiuta nella completezza delle prove, ed a rispettare i requisiti tipo DO- 178B/C. I test di copertura vengono presentati tramite il codice evidenziato e colorato. I reports di copertura di riepilogo possono essere estratti in vari formati. 3 customer.care@psoftech.it

4 TESTING DI REGRESSIONE AUTOMATICA C/C++test agevola lo sviluppo con un robusto test di regressione che rileva se le modifiche al codice compromettono le funzionalità esistenti. Se si dispone di grandi quantità di codice ufficiale, di nuovo codice appena completato, o di entrambi, C/C++test può generare test che stressano il comportamento del nuovo software attraverso i risultati dei test di esecuzione precedenti. Al crescere della quantità di codice, C/C++test esegue nuovamente questi test e confronta i risultati attuali con quelli pre-registrati. Si può facilmente configurare per testare successive nuove sezioni di codice. Questo tipo di test di regressione è particolarmente importante per accelerare i cicli di rilascio degli aggiornamenti, e assicura la continua funzionalità anche di software in continua evoluzione e difficili da testare. MONITORARE ED ELIMINARE GLI ERRORI DI MEMORIA DI RUNTIME C/C++test rileva e monitora costantemente gli errori di memoria come i memory leak, puntatori nulli, memoria non inizializzata, ed i buffer overflow. I problemi vengono segnalati allo sviluppatore direttamente nell IDE con indicazioni dettagliate (memory block size, indici di arrays, stack di allocazione/deallocazione, ecc.). Questo non solo migliora la qualità del software, ma aumenta anche le abilità del Team di sviluppo. Durante l esecuzione del software vengono raccolti dati che verranno usati per vedere quale parte dell applicazione è stata testata e per ottimizzare il set di unità di test di regressione. MONITORARE ED ELIMINARE GLI ERRORI DI MEMORIA DI RUNTIME C/C++test consente dal GUI di automatizzare e controllare il flusso completo dei test, compresa la generazione dei test case, cross-compilazione, implementazione, esecuzione e caricamento dei risultati (comprese le metriche di copertura). I test possono essere guidati in modo interattivo dal GUI o dalla riga di comando così come da file batch. Nella modalità interattiva, gli utenti possono eseguire i test singolarmente o in gruppi selezionati per facilitare il debug o la convalida. Per l esecuzione batch, i test possono essere raggruppati in base al codice dell utente, dal nome o dalla posizione su disco. C/C++test permette anche agli utenti di generare script e comandi shell personalizzati. Permette di testare il codice come è stato sviluppato ed utilizzare le stesse prove per convalidare funzionalità/affidabilità sull ambiente di destinazione. La potenza e la portabilita di C/C++test risiede nel fatto che tutti gli artefatti finalizzati al test sono codice sorgente C/C++, per cui portabili su una varieta infinita di sistemi operativi e piattaforme. 4 customer.care@psoftech.it

5 BENEFICI Incremento della produttività. C/C++test applica un insieme di regole che riducono il tempo di test, lo sforzo e il numero di difetti che raggiungono il Quality Assurance. Elimina i problemi di coding più conosciuti e piu tempo può essere dedicato ai tasks che richiedono l intelligenza umana. Incremento della qualità del codice. Il codice viene costruito in modo efficiente, eseguito con continuità e mantenuto libero da difetti degli update che compromettono le funzionalità esistenti. Aumento del monitoraggio del processo di sviluppo e tracciamento dei progressi e raggiungimento degli obiettivi. Riduzione dei costi di supporto e manutenzione. Automatizzazione di una varietà di test per prevedere problemi che solo gli utenti potenziali del mondo reale potrebbero riprodurre. CARATTERISTICHE Analisi statica del codice che riduce i rischi di ogni stadio dello sviluppo. - Analisi delle fasi di integrazione. - Analisi delle fasi di integrazione continua. - Analisi statica in fase di editazione del codice. - Analisi statica della fase d esecuzione. Editor grafico delle regole di coding. Generazione automatica delle unità di test dei componenti. Framework flessibile delle porzioni di codice. Rilevamento di errori di Runtime di memoria durante l esecuzione delle unità di test quali: - Memory leaks. - Puntatori nulli. Supporto totale per i test di regressione. Copertura del codice con evidenziazione dello stesso. Incremento dell accuratezza dei test attraverso l esecuzione dell applicazione nel reale ambiente target. Reports in formati HTML,PDF e personalizzati. - Sommario dei risultati Pass/Fail dei test. - Lista dei files analizzati. - Sommario della copertura del codice. - I Reports possono essere mandati automaticamente via , tramite filtri sui ruoli ai diretti interessati. Infrastruttura di rilascio per il Team di sviluppo utilizzabile da desktop e da linea di comando. - Memoria non inizializzata. - Overflow dei buffer. 5 customer.care@psoftech.it

6 ULTIME IMPLEMENTAZIONI Nuova implementazione della ISO in ambito automotive. I sistemi elettronici dei veicoli stanno diventando sempre più complessi ed hanno compiti molto importante nella sicurezza delle auto e dei suoi occupanti. La nuova norma ISO introduce un nuovo modo di pensare, progettare ed applicare i dispositivi elettrici ed elettronici. La norma prevede regole sia nella progettazione hardware che nella progettazione software. Nuova implementazione delle norme DO-178B in ambito avionico. Le regole sono state pubblicate da RTCA Inc. e sono state definite congiuntamente da RTCA e EUROCAE. AMBIENTI HOST SUPPORTATI C/C++test supporta tutti i piu diffusi ambienti Host di sviluppo. SISTEMI OPERATIVI WINDOWS / LINUX / SOLARIS ULTRASPARC IDES ARM WORKBENCH / ARM DEVELOPMENT STUDIO / ARM ADS ECLIPSE IDE FOR C/C++ DEVELOPERS GREEN HILLS MULTI IAR EMBEDDED WORKBENCH KEIL ΜVISION MICROSOFT EMBEDDED VISUAL C++ / MICROSOFT VISUAL STUDIO QNX MOMENTICS IDE (QNX SOFTWARE DEVELOPMENT PLATFORM) TEXAS INSTRUMENTS CODE COMPOSER WIND RIVER TORNADO / WIND RIVER WORKBENCH COMPILATORI HOST WINDOWS: MICROSOFT VISUAL STUDIO / GNU GCC/G++ / GREEN HILLS MULTI LINUX 32 AND 64 BIT PROCESSOR: GNU GCC/G++ / GREEN HILLS MULTI SOLARIS: SUN ONE STUDIO / GNU GCC/G++ / GREEN HILLS MULTI TARGET / CROSS COMPILATORI ALTERA NIOS GCC / ADS (ARM DEVELOPMENT SUITE) / ARM FOR KEIL UVISION / ARM RVCT / ARM DS-5 GNU COMPILATION TOOLS / COSMIC SOFTWARE 68HC08 / ECOSCENTRIC GCC / FREESCALE CODEWARRIOR C/C++ FOR HC12 / FUJITSU FR FAMILY SOFTUNE / GCC (GNU COMPILER COLLECTION) / GREEN HILLS MULTI / IAR C/C++ FOR ARM / IAR C/C++ FOR MSP430 / KEIL C51 / MICROSOFT VISUAL C++ FOR WINDOWS MOBILE / MICROSOFT EMBEDDED VISUAL C++ / QCC (QNX GCC) / RENESAS SH SERIES C/C++ / STMICROELECTRONICS ST20 / STMICROELECTRONICS ST40 / TASKING 80C196 C / TASKING TRICORE VX-TOOLSET C/C++ / TI TMS320C2000 C/C++ / TI TMS320C54X C/C++ / TI TMS320C55X C/C++ / TI TMS320C6X C/C++ / TI TMS470 / TI MSP430 C/C++ / WIND RIVER GCC / WIND RIVER DIAB 6 customer.care@psoftech.it

7 BUILD MANAGEMENT GNU MAKE / SUN MAKE / MICROSOFT NMAKE / ELECTRICACCELERATOR INTEGRAZIONE CONTINUA HUDSON / JENKINS / ELECTRICACCELERATOR CONTROLLO SORGENTI ACCUREV SCM / BORLAND STARTEAM / CVS / GIT / IBM RATIONAL CLEARCASE / IBM RATIONAL SYNERGY / MICROSOFT TEAM FOUNDATION SERVER / MICROSOFT VISUAL SOURCESAFE / PERFORCE SCM / SERENA DIMENSIONS / SUBVERSION (SVN) PSoft Technology S.r.l. Piazza dei Vespri Siciliani 7, 00162, Roma customer.care@psoftech.it