2. Qualification des outils
2.1 Problématique
Initialement, le développement d'une application logicielle consistait à produire un code. L'obtention d'un exécutable passe alors par l'utilisation d'un compilateur. Si le processus permettant d'obtenir le code est conforme à un objectif SSIL, le fait que l'application logicielle soit conforme à son objectif de SSIL est directement lié au compilateur. Il faut donc démontrer que le compilateur est utilisable pour un objectif de SSIL.
Plus généralement, cette problématique peut être généralisée à l'ensemble des outils utilisés pour la conception, la compilation, la vérification et la validation de l'application logicielle, mais aussi pour les outils utilisés dans le cadre de la production des données de l'application logicielle.
...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Qualification des outils
Conclusion
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
"Systèmes ferroviaires"
(
62 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.
