Recherche et vérification

Questions fréquentes

Cette page présente brièvement « Questions fréquentes », son lien avec « Recherche et vérification », les points à étudier et les conditions à vérifier.

Champ d’application

Pour « Questions fréquentes », le champ d’application est défini à partir des objectifs et des contraintes, et les conditions dans lesquelles la solution ne doit pas être utilisée sont précisées dès le départ. Le lien avec « Recherche et vérification » est préservé et les motifs des décisions restent vérifiables.

Décisions de conception

Pour « Questions fréquentes », aucun modèle ni aucune infrastructure ne sont imposés : les données, les connexions et la supervision sont séparées, et les raisons des choix sont consignées. Le lien avec « Recherche et vérification » est préservé et les motifs des décisions restent vérifiables.

Méthode de vérification

Pour « Questions fréquentes », des entrées et des critères reproductibles sont préparés afin de vérifier le comportement, y compris dans les cas d’échec. Le lien avec « Recherche et vérification » est préservé et les motifs des décisions restent vérifiables.

Contrôles en exploitation

Pour « Questions fréquentes », l’historique des modifications, l’évolution de la qualité et les usages sont suivis, avec un mécanisme de retour en arrière lorsque nécessaire. Le lien avec « Recherche et vérification » est préservé et les motifs des décisions restent vérifiables.

Décision humaine

Pour « Questions fréquentes », les décisions importantes ne sont pas confiées à la seule automatisation : des responsables et des points de contrôle sont définis. Le lien avec « Recherche et vérification » est préservé et les motifs des décisions restent vérifiables.