Les normes comme la DO178 demande que l'on prouve que le processus de fabrication du logiciel est clean. Cette norme est dans la même veine, puisque l'on ne peut pas prouver qu'un logiciel est sans bug, on exige que le processus soit parfait, que la doc soit complète et vérifié, et que le test respect certaine exigence (couverture de code minium, couverture de spec, etc...)
[^] # Re: Preuve du code pour éviter ces âneries
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Encore un exemple de code spaghetti : Toyota. Évalué à 2.
Les normes comme la DO178 demande que l'on prouve que le processus de fabrication du logiciel est clean. Cette norme est dans la même veine, puisque l'on ne peut pas prouver qu'un logiciel est sans bug, on exige que le processus soit parfait, que la doc soit complète et vérifié, et que le test respect certaine exigence (couverture de code minium, couverture de spec, etc...)
"La première sécurité est la liberté"