Pratique de la norme MISRA C

Magazine
Marque
GNU/Linux Magazine
Numéro
189
Mois de parution
janvier 2016
Domaines


Résumé
La plupart d'entre nous (moi le premier) ontécrit leur premier programme en vadrouille ; l'essentiel était de faire que le programme fonctionne. Avec le temps on a appris à écrire des commentaires même si on savait depuis le début que ça existe. Nous allons voir dans les lignes qui suivent qu'il existe plusieurs règles de codage qui permettent de rendre le code plus compréhensible, organisé et sûr; la norme MISRA C s'inscrit dans cette optique et est spécialement dédiée aux systèmes critiques.

La première chose qu'il faut savoir lorsqu'on démarre un projet ayant des problématiques de sûreté de fonctionnement c'est qu'on sera soumis à des règles strictes lors de la programmation. À tel point qu'il devient parfois plus difficile de respecter les règles que de se concentrer sur les fonctionnalités du code même. La norme MISRA C rassemble des règles bien expliquées et facilement compréhensibles pour les développeurs habitués. La conformité d'un code par rapport à MISRA C est considérée à ce jour comme une caractéristique de sûreté de fonctionnement non négligeable. Nous allons présenter dans ce qui suit l'historique de cette fameuse norme dont vous avez sûrement déjà entendu parler ; nous décrirons également ses objectifs et une méthodologie de mise en pratique.

1. Petit historique

1.1 Naissance du C

Dans les années 60, les programmeurs utilisaient généralement le langage assembleur, très proche de la machine. Seulement, pour réaliser une...

Cet article est réservé aux abonnés. Il vous reste 93% à découvrir.
à partir de 21,65€ HT/mois/lecteur pour un accès 5 lecteurs à toute la plateforme
J'en profite


Articles qui pourraient vous intéresser...

Le point sur le débogage en Python

Magazine
Marque
GNU/Linux Magazine
HS n°
Numéro
111
Mois de parution
novembre 2020
Domaines
Résumé

Il n'existe pas une unique façon de déboguer du code en Python. Dans cet article, nous allons faire un rapide tour des différentes techniques qui s'offrent à vous pour traquer les bugs.

Les bases de LaTeX sous GNU/Linux et Windows

Magazine
Marque
GNU/Linux Magazine
Numéro
242
Mois de parution
novembre 2020
Domaines
Résumé

Et si nous retournions aux sources ? Des articles sont régulièrement consacrés à LaTeX dans ce magazine, mais comment les utiliser si l'on part de zéro ? Dans cet article, je vous propose de voir ou revoir comment installer LaTeX, configurer un éditeur et gérer les extensions/paquets pour une utilisation sous GNU/Linux ou Windows. Une sorte de guide de survie pour prof de maths, en cas d'obligation d'enseignement à distance...

Débugage facile avec Sentry

Magazine
Marque
GNU/Linux Magazine
HS n°
Numéro
111
Mois de parution
novembre 2020
Domaines
Résumé

Nous le savons tous, aucun code n’est exempt de bugs. Nous avons beau écrire tous les tests unitaires du monde, tous les tests fonctionnels, avoir une couverture du code par nos tests de 200 %, il y a toujours des bugs qui passent à travers les mailles du filet. Sentry est là pour vous aider à les trouver et à les corriger grâce à vos utilisateurs, et ce, sans qu’ils ne s’en rendent compte.