Bonjour,
Merci de cette réponse.
De ma petite expérience Frama-C (Linux Mag), on visait beaucoup plus haut. Je vois la norme MISRA-C comme l'un des premiers échelons de garantie de qualité du code, connu de tous (puisque c'est une norme).
Et c'est n'est pas si simple a appliquer dans mon cas, sans passer par une revue de code.
[^] # Re: intérêt de l'outil limité pour de l'embarqué.
Posté par Selso (site web personnel) . En réponse au journal IKOS, un analyseur statique développé à la NASA. Évalué à 0.
Bonjour,
Merci de cette réponse.
De ma petite expérience Frama-C (Linux Mag), on visait beaucoup plus haut. Je vois la norme MISRA-C comme l'un des premiers échelons de garantie de qualité du code, connu de tous (puisque c'est une norme).
Et c'est n'est pas si simple a appliquer dans mon cas, sans passer par une revue de code.