' La certification en continu d'un code est (presque) à portée de main'

摘要

Le processus de certification d'un logiciel critique embarqué dans un avion, selon la norme DO-178 B, est une opération longue et onéreuse. Actuellement, dans la plupart des équipes de développement, le traditionnel cycle en V est toujours d'actualité, avec l'enchaînement linéaire des étapes : expression des besoins (les «requirements»), spécification, conceptions générales et détaillées, réalisation, tests unitaires et tests d'intégration.