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

Résumé : 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.
Document type :
Lectures
Complete list of metadatas

Cited literature [1 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/cel-02111955
Contributor : Zenaida Tucsnak <>
Submitted on : Friday, April 26, 2019 - 12:28:27 PM
Last modification on : Tuesday, July 9, 2019 - 10:04:58 AM

Licence


Distributed under a Creative Commons Attribution - ShareAlike 4.0 International License

Identifiers

  • HAL Id : cel-02111955, version 1

Collections

Citation

Zenaida Tucsnak. Journée thématique QeR Assurance Qualité Logiciel : Référentiels et normes de codage. École thématique. Journée thématique QeR Assurance Qualité Logiciel, Paris, France. 2019. ⟨cel-02111955⟩

Share

Metrics

Record views

28

Files downloads

20