Journée thématique QeR Assurance Qualité Logiciel : Référentiels et normes de codage
hal.structure.identifier | Passages | |
dc.contributor.author | TUCSNAK, Zenaida | |
dc.date.created | 2019-04-18 | |
dc.date.issued | 2019-04-18 | |
dc.description | jeudi 18 avril 2019 Programme 09:30 - 10:10 Introduction : Qu'est-ce qu'un logiciel et qu'est-ce que la qualité ? - Henri VALEINS 10:10 - 10:50 Méthodologies (Cycle en V, Agile,...) - Zenaida TUCSNAK 11:20 - 12:00 Référentiels et normes de codage - Zenaida TUCSNAK 12:00 - 12:40 Rôles et responsabilités - William RECART 14:00 - 14:40 Maîtrise des risques - William RECART 14:40 - 15:20 Qualité logiciel dans un projet de Nanosatellite - Colin GONZALEZ 15:20 - 16:00 Gestion de configuration (logiciel, données, REX sur outils) - Didier ZEGANADIN 16:30 - 17:10 Gestion de configuration (logiciel, données, REX sur outils) - Geneviève ROMIER 17:10 - 17:30 Conclusions de la journée - Clémence AGRAPART et Corinne JUFFROY | |
dc.description.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. | |
dc.language.iso | fr | |
dc.rights.uri | http://creativecommons.org/licenses/by-sa/ | |
dc.subject | CMMI | |
dc.subject | Analyse statique des programmes | |
dc.subject | ISO 9000 | |
dc.title | Journée thématique QeR Assurance Qualité Logiciel : Référentiels et normes de codage | |
dc.subject.hal | Informatique [cs]/Informatique et langage [cs.CL] | |
bordeaux.country | FR | |
hal.identifier | cel-02111955 | |
hal.version | 1 | |
hal.origin.link | https://hal.archives-ouvertes.fr//cel-02111955v1 | |
bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.title=Journ%C3%A9e%20th%C3%A9matique%20QeR%20Assurance%20Qualit%C3%A9%20Logiciel%20:%20R%C3%A9f%C3%A9rentiels%20et%20normes%20de%20codage&rft.atitle=Journ%C3%A9e%20th%C3%A9matique%20QeR%20Assurance%20Qualit%C3%A9%20Logiciel%20:%20R%C3%A9f%C3%A9rentiels%20et%20normes%20de%20codage&rft.date=2019-04-18&rft.au=TUCSNAK,%20Zenaida& |
Fichier(s) constituant ce document
Fichiers | Taille | Format | Vue |
---|---|---|---|
Il n'y a pas de fichiers associés à ce document. |