Nantilus
Logiciels embarqués : viser l'excellence dans le développement
Ce livre traite de tous les aspects généraux du développement de logiciels embarqués et présente les enjeux de la qualité logicielle et les meilleures pratiques actuelles
Saved in:
| Available online : |
Online Via Logiciels embarqués
|
|---|---|
| Main Author : | |
| Format : | Book |
| Language : | français |
| Title statement : | Logiciels embarqués : viser l'excellence dans le développement / [Jérôme Dern] |
| Published : |
St Herblain :
Éd. ENI
, C 2014 |
| Physical Description : | 1 vol. (408 p.) |
| Series : | Collection Datapro |
| Subjects : | |
| Related Items : | Additional physical form:
Logiciels embarqués |
- Avant-propos
- P. 7
- 1. Introduction
- P. 9
- 2. Objectif de ce livre
- P. 9
- 3. Conventions
- P. 10
- 4. Remerciements
- Chapitre 1 La qualité logicielle
- P. 11
- 1. Introduction
- P. 11
- 2. Qu'est-ce qu'un défaut logiciel ?
- P. 12
- 3. Une histoire abrégée des erreurs logicielles
- P. 19
- 4. Le coût de correction des problèmes logiciels
- P. 20
- 5. Qu'est-ce qu'un logiciel embarqué ?
- P. 22
- 6. Qu'est-ce que la qualité logicielle ?
- P. 28
- 7. Les facteurs principaux de la qualité
- P. 30
- 8. Les missions de l'ingénieur qualité logicielle
- Chapitre 2 Les cycles de développement
- P. 35
- 1. Introduction
- P. 35
- 2. Le cycle en cascade ou waterfall
- P. 37
- 3. Le cycle en V
- P. 42
- 4. Le cycle de vie par prototype
- P. 43
- 5. Le cycle en spirale
- P. 46
- 6. Le cycle incrémental
- P. 46
- 7. Le processus Cleanroom
- P. 47
- 8. Le Lean, l'agile et le Scrum
- P. 48
- 8.1 Le Lean
- P. 52
- 8.2 Le Lean Software Development (LSD)
- P. 54
- 8.3 L'Agile
- P. 58
- 8.4 Le Scrum
- Chapitre 3 Les normes et modèles
- P. 65
- 1. Introduction
- P. 66
- 2. L'ISO 9001
- P. 68
- 3. CMMI
- P. 81
- 4. Le modèle SPICE, ISO/IEC 15504
- P. 92
- 5. L'IEC 61508
- P. 94
- 6. La sûreté fonctionnelle, ISO 26262
- P. 95
- 7. La DO-178B et la DO-178C
- P. 96
- 8. Les autres normes utiles
- Chapitre 4 Les principaux processus de développement
- P. 99
- 1. Introduction
- P. 102
- 2. Qu'est-ce qu'un processus ?
- P. 110
- 3. L'archivage des données
- P. 111
- 4. L'amélioration des processus
- P. 114
- 5. La qualité logicielle
- P. 126
- 6. La planification de projet
- P. 139
- 7. La gestion de projet
- P. 147
- 8. La sous-traitance logicielle
- P. 155
- 9. La gestion des risques
- P. 163
- 10. La gestion d'exigences
- P. 171
- 11. L'architecture logicielle
- P. 176
- 12. La conception détaillée
- P. 181
- 13. L'intégration logicielle
- P. 186
- 14. La livraison logicielle
- P. 190
- 15. La validation logicielle
- P. 195
- 16. La gestion de configuration
- P. 209
- 17. Les vérifications et revues
- P. 218
- 18. Les mesures logicielles
- P. 229
- 19. La gestion des changements
- P. 229
- 19.1 La gestion des problèmes
- P. 239
- 19.2 La gestion des demandes de changement
- P. 244
- 19.3 Les Comités de modifications logiciel
- Chapitre 5 Les tests logiciels
- P. 249
- 1. Introduction
- P. 255
- 2. Les tests en boîte noire
- P. 256
- 3. Les tests en boîte blanche
- P. 256
- 4. Les tests en boîte grise
- P. 257
- 5. Les tests unitaires
- P. 261
- 6. Les tests d'intégration
- P. 268
- 7. Les tests de validation
- P. 269
- 8. Les tests de robustesse
- P. 271
- 9. Les tests des modèles
- Chapitre 6 Les outils de la qualité logicielle embarquée
- P. 273
- 1. Introduction
- P. 275
- 2. Le Jidoka : arrêt au premier défaut
- P. 277
- 3. Les Poka-Yoke
- P. 281
- 4. Le San Gen Shugi
- P. 282
- 5. Les 5W2H
- P. 283
- 6. Les 4M
- P. 284
- 7. Le FTA (Factor Tree Analysis)
- P. 287
- 8. Le FTA (Fault Tree Analysis)
- P. 289
- 9. Les 5 pourquoi ou 5W
- P. 291
- 10. Le PDCA et le 8D
- P. 293
- 11. La capitalisation
- P. 295
- 12. La prévention des erreurs (DRBFM)
- P. 298
- 13. Le Kaizen
- P. 303
- 14. Le Process Mapping
- P. 305
- 15. La cartographie de la valeur
- P. 308
- 16. Le Kanban
- Chapitre 7 Les règles de développement
- P. 311
- 1. Introduction
- P. 311
- 2. Les règles de codage
- P. 315
- 3. La programmation défensive
- P. 321
- 4. Les règles de présentation
- P. 323
- 5. Les règles de conception
- Chapitre 8 Les outils d'analyse statique
- P. 327
- 1. Introduction
- P. 329
- 2. L'analyse des règles de codage
- P. 333
- 3. L'analyse des flots de données
- P. 334
- 4. L'analyse des erreurs de mémoire
- P. 334
- 5. L'analyse des commentaires de code
- P. 338
- 6. L'analyse de la pile
- P. 339
- 7. L'analyse des variables partagées
- P. 340
- 8. L'analyse du temps réel
- Chapitre 9 Les mesures du logiciel
- P. 343
- 1. Introduction
- P. 343
- 2. Les métriques de code
- P. 356
- 3. Les métriques de suivi de projet
- P. 358
- 4. Les métriques des revues
- P. 358
- 5. Les métriques de la qualité logicielle
- Chapitre 10 Les méthodes de vérification
- P. 361
- 1. Introduction
- P. 362
- 2. Les inspections
- P. 365
- 3. Les revues informelles
- P. 367
- 4. Les revues de code
- P. 367
- 5. Les revues pas à pas (Walkthrough)
- P. 368
- 6. Les revues par les pairs (Peer reviews)
- P. 368
- 7. La méthode du canard en plastique
- P. 369
- 8. Le Pair Programming
- P. 370
- 9. Le réusinage de code (Code refactoring)
- P. 371
- 10. Le développement tiré par les tests (TDD)
- P. 373
- 11. Le développement tiré par les caractéristiques (FDD)
- P. 374
- 12. Le développement tiré par le comportement (BDD)
- P. 377
- Glossaire
- P. 395
- Bibliographie
- P. 399
- Index