O DO-178C tem alguma orientação sobre o uso de análise de código estático para o software de nível A?
Conforme Do-178C:
Section 6.3 Software Reviews and Analyses
Reviews and analyses are applied to the outputs of the software development processes. One distinction between reviews and analyses is that analyses provide repeatable evidence of correctness and reviews provide a qualitative assessment of correctness. A review may consist of an inspection of an output of a process guided by a checklist or similar aid.An analysis may examine in detail the functionality, performance, traceability, and safety implications of a software component, and its relationship to other components within the system or equipment
Isso pode ser alcançado pela análise estática? Algumas das ferramentas, como a polyspace, que possui erros de verificação padrão