4. Méthode B et le processus de réalisation des logiciels
Le processus de réalisation du logiciel n'est plus tout-à-fait identique au cycle classique en V du logiciel ou du cycle en U du système. D'autres tâches apparaissent et certaines disparaissent. Les tâches principales sont dans l'ordre : la spécification logicielle en langage naturel (pour un logiciel), la spécification formelle, la conception générale formelle, la conception détaillée formelle, le codage, les tests d'intégration, les tests fonctionnels. Sur la partie gauche du cycle, on retrouve pour chacune des étapes formelles des preuves à l'intérieur de l'étape proprement dite et les preuves entre étapes. Les tests unitaires ne sont pas nécessaires ; en revanche, les tests d'intégration restent nécessaires lorsque l'on commence l'intégration avec le matériel.
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Méthode B et le processus de réalisation des logiciels
Avantages actuels de la méthode B vis-à-vis d'autres méthodes
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Sécurité et gestion des risques"
(
510 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
