Génie logiciel salle blanche - Cleanroom software engineering
| Développement de logiciels |
|---|
Le processus d' ingénierie logicielle en salle blanche est un processus de développement logiciel destiné à produire un logiciel avec un niveau de fiabilité certifiable . Le processus de salle blanche a été développé à l'origine par Harlan Mills et plusieurs de ses collègues, dont Alan Hevner d' IBM . Le processus de salle blanche est axé sur la prévention des défauts plutôt que sur l'élimination des défauts. Le nom "salle blanche" a été choisi pour évoquer les salles blanches utilisées dans l'industrie électronique pour éviter l'introduction de défauts lors de la fabrication des semi - conducteurs . Le processus de salle blanche a été utilisé pour la première fois entre le milieu et la fin des années 1980. Des projets de démonstration au sein de l'armée ont commencé au début des années 1990. Des travaux récents sur le processus de salle blanche ont examiné la fusion de la salle blanche avec les capacités de vérification automatisée fournies par les spécifications exprimées dans le CSP .
Principes centraux
Les principes de base du processus de salle blanche sont
- Développement logiciel basé sur des méthodes formelles
- La prise en charge d'outils logiciels basés sur un certain formalisme mathématique inclut la vérification de modèle , les algèbres de processus et les réseaux de Petri . La méthode de la structure en boîte pourrait être l'un de ces moyens de spécifier et de concevoir un produit logiciel. La vérification que la conception implémente correctement la spécification est effectuée par le biais d'une revue d'équipe, souvent avec le support d'un outil logiciel.
- Mise en œuvre incrémentale sous contrôle qualité statistique
- Le développement en salle blanche utilise une approche itérative , dans laquelle le produit est développé par incréments qui augmentent progressivement la fonctionnalité implémentée. La qualité de chaque incrément est mesurée par rapport à des normes préétablies pour vérifier que le processus de développement se déroule de manière acceptable. Le non-respect des normes de qualité entraîne l'arrêt des tests pour l'incrément en cours et un retour à la phase de conception.
- Tests statistiquement fiables
- Les tests de logiciels dans le processus de salle blanche sont effectués sous forme d'expérience statistique. Sur la base de la spécification formelle, un sous-ensemble représentatif de trajectoires d'entrée/sortie logicielles est sélectionné et testé. Cet échantillon est ensuite analysé statistiquement pour produire une estimation de la fiabilité du logiciel et un niveau de confiance dans cette estimation.
Les références
Lectures complémentaires
- Stavely, Allan (1999). Vers une programmation zéro défaut . Addison-Wesley.
- Stacy J. Prowell et Carmen J. Trammell et Richard C. Linger et Jesse H. Poore (1999). Génie logiciel de salle blanche : technologie et processus . Addison-Wesley.
- Jesse H. Poore et Carmen J. Trammell (1996). Génie logiciel de salle blanche : un lecteur . CCN Blackwell.