Mais ensuite, héritage ne veut pas dire "bin on sait jamais vraiment ce qui se passe", ça reste parfaitement déterministe. Donc tout se démontre, tout se teste, de manière finalement similaire à du procédural "de base". En tous cas j'ai pas eu souvenir qu'on ait dû utiliser des outils spécifiques : RTRT par exemple te fais la même analyse de couverture de code.
En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.
[^] # Re: Joint Strike Fighter
Posté par gUI (Mastodon) . En réponse au journal CPP Con sur Youtube. Évalué à 6.
Oui, l'EASA l'a certifié en 2012 : http://en.wikipedia.org/wiki/Sukhoi_Superjet_100 (c'est la suite avionique complète de Thalès)
Mais ensuite, héritage ne veut pas dire "bin on sait jamais vraiment ce qui se passe", ça reste parfaitement déterministe. Donc tout se démontre, tout se teste, de manière finalement similaire à du procédural "de base". En tous cas j'ai pas eu souvenir qu'on ait dû utiliser des outils spécifiques : RTRT par exemple te fais la même analyse de couverture de code.
En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.