L'ing\u00e9nierie logicielle pour salle blanche est un processus de d\u00e9veloppement de logiciels qui met l'accent sur l'exactitude et les niveaux \u00e9lev\u00e9s d'int\u00e9grit\u00e9 dans la conception des programmes. Il emprunte des principes \u00e0 l'ing\u00e9nierie mat\u00e9rielle pour d\u00e9velopper des syst\u00e8mes logiciels sans erreur. La m\u00e9thodologie est nomm\u00e9e \u00ab Cleanroom \u00bb car, comme dans une salle blanche physique o\u00f9 la fabrication de composants sensibles comme les micropuces se d\u00e9roule dans un environnement sans contamination, le logiciel est d\u00e9velopp\u00e9 dans un environnement intellectuel propre.<\/p>\n
Le concept d'ing\u00e9nierie logicielle pour salle blanche a \u00e9t\u00e9 introduit pour la premi\u00e8re fois dans les ann\u00e9es 1980 par Harlan Mills, qui travaillait chez IBM, dans le but de cr\u00e9er des logiciels sans d\u00e9fauts. Son ambition \u00e9tait de transformer la mani\u00e8re dont les logiciels sont produits, en r\u00e9duisant ou en \u00e9liminant les erreurs qui accompagnent souvent le processus de programmation. La m\u00e9thodologie des salles blanches est n\u00e9e de l\u2019id\u00e9e d\u2019\u00e9liminer les d\u00e9fauts \u00e0 la source en adh\u00e9rant \u00e0 un processus de d\u00e9veloppement rigoureux bas\u00e9 sur des math\u00e9matiques.<\/p>\n
L'ing\u00e9nierie logicielle en salle blanche implique un processus dans lequel le logiciel est cr\u00e9\u00e9 en \u00e9vitant tout d\u00e9faut potentiel plut\u00f4t que de les supprimer \u00e0 la fin du processus. Il met l'accent sur les m\u00e9thodes formelles, les tests d'utilisation statistique et la mod\u00e9lisation de la croissance de la fiabilit\u00e9 des logiciels. L\u2019ensemble du processus repose sur trois principes fondamentaux\u00a0:<\/p>\n
L\u2019ing\u00e9nierie logicielle pour salle blanche comprend plusieurs phases cl\u00e9s. Initialement, les exigences sont sp\u00e9cifi\u00e9es et une architecture syst\u00e8me de haut niveau est d\u00e9velopp\u00e9e. Ensuite, le syst\u00e8me est impl\u00e9ment\u00e9 progressivement et chaque incr\u00e9ment est v\u00e9rifi\u00e9 par rapport aux exigences du syst\u00e8me via des m\u00e9thodes de v\u00e9rification formelles.<\/p>\n
Le processus de v\u00e9rification implique une technique appel\u00e9e \u00ab test de bo\u00eete \u00bb. L\u2019ing\u00e9nierie logicielle pour salles blanches utilise les perspectives de \u00ab bo\u00eete noire \u00bb et de \u00ab bo\u00eete blanche \u00bb dans ce processus. Les tests en bo\u00eete noire v\u00e9rifient si le logiciel r\u00e9pond aux exigences et aux attentes des utilisateurs, tandis que les tests en bo\u00eete blanche analysent le fonctionnement interne et l'architecture du logiciel.<\/p>\n
Les principales fonctionnalit\u00e9s de l\u2019ing\u00e9nierie logicielle Cleanroom comprennent\u00a0:<\/p>\n
Bien que l'ing\u00e9nierie logicielle Cleanroom soit une approche m\u00e9thodologique du d\u00e9veloppement logiciel plut\u00f4t qu'un type ou une variante, diff\u00e9rentes \u00e9tapes de Cleanroom peuvent \u00eatre reconnues en fonction du processus de test impliqu\u00e9\u00a0:<\/p>\n