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
  • essere installate presso il cliente oppure
  • essere rese disponibili come Cloud Services (p.es. https://sonarsrv.spazioit.com/)

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