Vérification – le processus de validation de logiciel

Les termes « vérification » et « validation » est très souvent utilisée dans la littérature technique et sont liés à la qualité de l'analyse de tout logiciel. Dans la littérature scientifique, il existe diverses interprétations de ces concepts. Alors, essayez de se pencher sur la question.

Le plus approprié, à notre avis, est la définition suivante. La validation et la vérification – sont des activités qui visent à la réalisation du contrôle de la qualité du logiciel pour détecter les erreurs dans les premières étapes de celui – ci. Il semblerait qu'ils ont un objectif commun. Pourtant, ces espèces ont des différences dans les sources de propriétés vérifiables, restrictions et règlements, dont la violation peut être considéré comme une erreur.

Vérification – une vérification de la conformité du logiciel la documentation technique fournie par la spécification des exigences, l' architecture ou le modèle de domaine. Dans le « devoir » du terme est inclus et les procédures de calcul de comparaison au processus de développement, des règles et des normes.

La vérification des données peut être effectuée pour définir le fonctionnement du programme de conformité aux normes établies, les exigences, la conception et la documentation utilisateur. Dans ce cas, une pré-inspection obligatoire est soumise à ces documents, qui sont comparés à leur conformité aux normes et règlements établis dans le pays où le logiciel fonctionne. Il est nécessaire de prendre en considération et le respect de toutes les séquences d'opérations effectuées.

En cas d'une erreur ou d'un défaut dans le programme ou bien il y a un conflit entre les documents mentionnés ci-dessus et le fonctionnement actuel du programme, la décision sur le choix de l'instrument pour la correction devrait être la solution à une tâche particulière.

Contrairement à la validation de vérification est chargé de vérifier le respect des besoins des logiciels développés ou accompagnés ou aux besoins des clients ou des utilisateurs. Ces besoins sont souvent pas enregistrés dans aucun document. C'est pourquoi la validation moins formalisée que la vérification. Ceci est un processus dans lequel les représentants du client, l' utilisateur, et peuvent également assister à un analyste ou un expert dans le domaine. En d'autres termes, ceux qui peuvent exprimer les besoins spécifiques et les besoins réels des parties prenantes.

Vérification – est la réponse à la question « Est-ce le logiciel correctement fait? », Et la validation – « Est-ce le bon logiciel ».

Lors de la recherche d'une réponse à ces questions, vous pouvez constater que le contenu de validation (ou certification) est légèrement plus large que la vérification (vérification). Cependant, la vérification est étroitement liée à assurer le contrôle de la qualité du produit logiciel.

Par exemple, la vérification d'un programme informatique fournit un processus dans lequel la base de l'objectif est de faire en sorte que satisfaire ces exigences, notamment le cycle de vie du produit obtenu, à ceux obtenus à l'étape précédente.

Si l' on parle de la vérification du modèle, ici nous allons nous concentrer sur la vérification de l'affichage correct des modèles informatiques nécessaires conceptuels ou des modèles mathématiques.

Lorsque le code du système de vérification analyse la source de codage et de vérifier sa description documentaire correspondant.

Le processus de vérification peut comprendre des opérations comprenant d'autres calculs. Une comparaison de la documentation technique et scientifique du nouveau projet avec la documentation appropriée d'un projet existant, les tests obligatoires, les tests de nouveaux produits logiciels et la démonstration des résultats.