QA-C - industry-leading static analysis solutions for the C language - prevent bugs and identify coding issues extremely early - Logo QA-C++ - industry-leading static analysis solutions for the C++ language - prevent bugs and identify coding issues early - Logo


In-depth analysis for industrial
scale C/C++ code

Punto di riferimento del settore per un'analisi accurata e approfondita del codice C/C++ su scala industriale

QA-C/QA-C++ sono le soluzioni leader del settore per il linguaggio C/C++ per l'analisi statica, che forniscono un pacchetto completo di funzionalità per aiutare ad applicare un'ampia gamma di norme di codifica e per trovare bug in codici esistenti e nuovi.

 

QA-C/QA-C++ offre strumenti automatizzati ad alta efficacia per analizzare il proprio codice rispetto alle norme di codifica prescelte, con visualizzazioni della struttura del codice e delle metriche che danno un livello di maggiore chiarezza a progetti complessi.

 

Questi strumenti vengono utilizzati per prevenire bug e per individuare problemi di codifica in una fase estremamente tempestiva del ciclo di sviluppo, passando un codice migliore alle fasi successive del processo di sviluppo.

QA-C/C++ - industy-leading static analysis solutions for the C?C++ language - prevent bugs and identify coding issues extremly early - overview video cover

ESPLORARE QA-C/QA-C++

Static Analysis Hero Image - Static analyzers continuously detect and report on dataflow problems, software defects, language implementation errors, inconsistencies, dangerous usage, coding standard violations, and security vulnerabilities
Analisi statica con QA-C/QA-C++

Analisi statica con QA-C/QA-C++

Valutazione dell'affidabilità, della sicurezza e della conformità con le migliori pratiche sulle norme di codifica del software, riducendo il tempo di sviluppo.



    Learn More

    Cantata Code coverage square - dynamic analysis - Objective measurement of how much of the code has been executed by your tests - Deep sea diver
    Rilevazione dei difetti nel flusso dei dati

    Rilevazione dei difetti nel flusso dei dati

    Supportati da una tecnologia sofisticata per l'esecuzione di analisi deep-flow dei flussi di dati, i gruppi di strumenti di analisi identificano i problemi critici di codifica relativi al flusso di controllo, allo stato delle variabili e all'utilizzo delle librerie.



    Learn More

    Integrated test framework - Automated C/C++ test script production test executable building, running on target and detailed diagnostic on host, for unit and integration testing
    Integrazione continua

    Integrazione continua

    L'integrazione continua è un principio che incoraggia gli sviluppatori e i team a condividere e a integrare tutti i loro contributi letteralmente in modo continuo.



    Learn More

    Works in your environment - A best in class tool integrated with an extensive set of embedded development toolchains - circuit board
    Panoramica di QA-C/QA-C++

    Panoramica di QA-C/QA-C++

    Vantaggi principali e caratteristiche e specifiche tecniche di QA-C/QA-C++



    Learn More

    Cost against efficiency, speed and quality coordinate system - why invest in AdaTEST 95 - how AdaTEST 95 will improve a company with lower costs - high efficiency - high speed - high quality - low costs
    Perché investire in QA-C/QA-C++?

    Perché investire in QA-C/QA-C++?

    I leader del settore utilizzano QA-C/QA-C++ per affrontare 4 sfide fondamentali:

    • Ridurre il tempo di immissione sul mercato
    • Promuovere un efficace lavoro di gruppo 
    • Trovare un equilibrio fra la velocità di sviluppo e il QA
    • Consentire un riutilizzo efficace del codice


      Learn More

      Test di compatibilità alle norme di sicurezza

      SGS TUEV Saar Logo - Functional Safety approved - certified

       

      Gli standard internazionali sulla sicurezza del software richiedono evidenza dei test di basso livello per ottenere la certificazione del software del dispositivo.

       

      Inoltre, la maggior parte degli standard prevede che gli strumenti utilizzati per i test siano certificati/qualificati o provati nell'utilizzo. QA-C/QA-C++ sono stati certificati in modo indipendente da SGS-TÜV SAAR GmbH per le principali norme di sicurezza del software. Sono disponibili kit di certificazione degli strumenti QA-C/QA-C++ specifici per certe norme, che contengono tutto quanto è necessario, nonché una guida completa per aiutare ad ottenere la certificazione per il software di un dispositivo. E’ anche disponibile il kit di qualifica di QA-C/QA-C++, nel caso non sia consentita la certificazione di uno strumento rispetto a una norma in quanto lo strumento deve essere qualificato separatamente per ogni progetto (per esempio, per DO-178B/C).

       

      Nel corso degli ultimi 20 anni, QA-C/QA-C++ sono stati utilizzati con successo per soddisfare i requisiti di test di:

      NORME CERTIFICATE / QUALIFICABILI

      (per ulteriori informazioni, consultare i seguenti link):

      PRQA Certificate Version 8.2.2/ Version 3.2.2 - QA-C with MISRA C - QA-C++ with MISRA C++ - SGS TUEV Saar - Programming Research Ltd
      ISO 26262

      Road vehicles – Functional safety

      IEC 60880

      Nuclear Power

      IEC 62304

      medical device software – software life cycle processes 

      IEC 61508

      Functional Safety of Electrical/ Electronic/ Programmable Electronic Safety-related Systems 

      EN 50128

      Railway applications - Communication, signalling and processing systems

      DO-178B/C

      Software Considerations in Airborne Systems and Equipment Certification 

      NORME DI CODIFICA E DI SICUREZZA

       

      I moduli di compliance per QA-C/QA-C++ supportano le seguenti norme di sicurezza relative alla codifica e all'applicazione. Per ulteriori informazioni, consultare i seguenti link:

      MISRA

      Guidelines for the use of the C/C++ languages in critical systems

      AUTOSAR

      Guidelines for the C++ language in safety-critical systems.

      CERT

      Secure Coding Standards for C and C++.

      Perché acquistare da QA Systems

      • Un partner affidabile nel testing da 20 anni
      • Centinaia di clienti in tutti i settori della sicurezza e della criticità aziendale
      • Ascoltiamo i nostri clienti per indirizzare i miglioramenti dei prodotti
      • Specialisti del testing statico e dinamico di alta affidabilità
      • Esperti team di supporto tecnico diretto
      • Formazione sugli strumenti e consulenza in situ
      Start
      Trial
      QA-Systems