Journée thématique QeR Assurance Qualité Logiciel : Référentiels et normes de codage

Abstract

Il est important que les logiciels pilotant les systèmes critiques (avions, centrales nucléaires, etc.) fonctionnent correctement — alors que la plupart des systèmes informatisés de la vie courante (micro-ordinateur, distributeur de billets, téléphone portable) ont des dysfonctionnements visibles. Pour produire du "bon code" il faut des méthodes à la fois efficaces (coûts en temps et en mémoire modérés), sûres (qui trouvent tous les problèmes possibles) et précises (qui fournissent peu d’avertissements pour des problèmes inexistants). La présentation liste quelques normes et référentiels connus ainsi que des méthodes formelles comme l'analyse statique des programmes. Les acteurs de la Qualité en recherche pourront mieux comprendre la problématique du codage et ses contraintes.