Logiciels embarqués

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