The need for Code Inspection



Software Crisis (2.0, 3.0…) hasn’t gone away and is here to stay. These issues often show up in many software projects: implemented features not meeting the requirements/expectations, missed deadlines, costs overruns...

The majority of the total cost of software project is associated with finding and fixing defects, an activity often occurring too late in its life cycle. 

No single remedy for the software crisis has been found yet, but empirical data gathered on several software projects have shown that Code Inspection allows for defects prevention and early defects detection and removal.

Code Inspection is a human activity but proper tools increase efficiency and reduce risks.


Spazio IT Code Quality Platforms

Since 2012 Spazio IT has been working on the development of Code Quality Platforms for C/C++, Java and Ada, that is tools in support of C/C++, Java and Ada code inspections.


Spazio IT has successfully delivered these Code Quality Platforms, described in detail at https://spazioit.com/pages_en/sol_inf_en/code_quality_en/, to the European Space Agency and to Airbus for the execution of many ISSV projects as well as for the development and maintenace of their software systems.


On top of that Spazio IT is continuously using these platforms in its own software development projects.


Spazio IT Offerings on Code Inspection

Spazio IT has two different offerings on Code Inspection

  1. Software Analyses (where the customer is mostly interested in the analyses results):
    1. Architectural Analysis
    2. Real Time / Schedulability Analysis
    3. 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)
  1. 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

    1. deployed at the customer premises or
    2. made available as Cloud Services (e.g. http://sonarsrv.spazioit.com/)


Cloud Services are well suited for a low cost and low risk evaluation and adoption of Spazio IT technologies.