Spazio IT has two different offerings on Code Inspection:
- Software Analyses (where the customer is mostly interested in the analyses results):
- Architectural Analysis
- Real Time / Schedulability Analysis
- Standards and Guidelines Compliance Analysis (e.g. MISRA)
- Bugs finding (e.g. Bounded Model Checking – CBMC, Abstract Execution – Frama-C, modern and effective static analysis – Clang Static Analyzer)
-
Code Quality Platforms Development and Deployment
Spazio IT can develop for its customers Code Quality Platforms designed and tailored for their special needs. These Code Quality Platforms can be either- deployed at the customer premises or
- made available as Cloud Services (e.g. https://sonarsrv.spazioit.com/)
Cloud Services are well suited for a low cost and low risk evaluation and adoption of Spazio IT technologies.