Assurance qualité logiciel
IEC 61508 : Répondre aux exigences de la norme de Sûreté de Fonctionnement Industriel
La norme IEC 61508 traite de la sûreté de fonctionnement des systèmes électriques, électroniques et électroniques programmables (comme l’électronique numérique et les logiciels) pour l’industrie. Régulièrement déclinée en normes spécifiques pour différents secteurs d’activité, elle est la référence en termes de safety.
Qu’est-ce que le test unitaire ?
Le test unitaire est un processus de vérification d’une unique unité de logiciel, elle-même définie comme étant la plus petite partie non divisible d’un code source. Par exemple, dans le cadre d’un développement en langage C, il est communément admis que l’unité de logiciel est une fonction de code. Ainsi, le test unitaire revient à tester une seule et unique fonction de code source à la fois, isolément des autres fonctions du projet.
Respecter les règles de codage MISRA C/C++
Dans les industries développant du logiciel critique en C ou C++, les standards MISRA C/C++ sont régulièrement cités comme les règles de codage à appliquer. Mais en pratique, celles-ci sont rarement suivies de manière complète, et les chefs de projet ou ingénieurs qualité logiciel ont de grandes difficultés à s’en assurer. Existe-t-il des moyens simples et efficaces de diminuer l’effort de vérification, et maximiser leur respect ?