Conclusion
Vérifier automatiquement les protocoles de sécurité

La démarche qualité/fiabilité n'est pas aussi exigeante en informatique que dans des domaines comme la mécanique. Vendre un logiciel bogué en faisant signer une licence dégageant le programmeur de toute responsabilité en cas de dégâts causés par ledit logiciel n'effraye aucun éditeur alors que cela paraîtrait scandaleux pour l'achat d'un four à micro-ondes ou d'une voiture. Si cela s'explique en partie par la multiplicité des supports et des interactions possibles des produits logiciels et matériels entre eux, la tendance change, notamment vis-à-vis des logiciels dit critiques , c'est-à-dire pour lesquels une faille peut avoir des conséquences humaines ou financières importantes ou graves. C'est le cas de l'informatique embarquée en aérospatiale civil ou militaire ou de ce qui concerne la sécurité de l'information (et donc indirectement le commerce)....