The space where software solutions take shape

Offerta di Spazio IT per l’Ispezione del Codice

Spazio IT ha due diverse offerte per quanto riguarda l’Ispezione del Codice:

  • Analisi del Software (dove il cliente è principalmente interessato ai risultati delle analisi):
    • Analisi Architetturale
    • Analisi Real Time / Analisi di Schedulabilità
    • Analisi Conformità con Standards e Guidelines (p.es. MISRA)
    • Bugs Finding (p.es. Bounded Model Checking – CBMC, Abstract Execution – Frama-C, tecniche di analisi statica efficaci e moderne – Clang Static Analyzer)
  • Sviluppo ed Installazione di Piattaforme per la Qualità del Codice
    Spazio IT è in grado di sviluppare per i propri clienti Piattaforme per la Qualità del Codice ritagliate in base ai loro bisogni particolari. Queste Piattaforme possono

    Utilizzare i Cloud Services è una buona strategia per valutare ed adottare la tecnologia offerta da Spazio IT limitando i costi ed il rischio.

Leave a Reply

Your email address will not be published. Required fields are marked *