La vérification est le processus de vérification d'un produit logiciel. Vérification - qu'est-ce que c'est en termes simples

Tout le monde ne peut pas répondre à cette question. Souvent, beaucoup de gens, ayant entendu ce mot, ne comprennent pas ce qu'il signifie et dans quel domaine il est utilisé. Alors essayons de comprendre cela. Pour commencer, cela vaut probablement la peine de procéder à une analyse linguistique. Ce mot vient du latin en russe et est traduit par « vrai » - verus et « faire » - facere. Ainsi, vérifier, c’est confirmer l’identité de quelqu’un. Ayant compris cela, le sens de ce terme devient immédiatement clair. Mais où est utilisé ce mot ? Et le terme « vérifier » est utilisé dans différents domaines et de manière assez active. Par exemple:

  • Dans la banque. Vérifier l'identité du client, les données fournies par le client et vérifier la transaction est très important. De nos jours, de nombreux clients effectuent la plupart de leurs transactions via Internet. Et vous devez être sûr que le client et la banque elle-même ne seront pas victimes de fraude. Ainsi, pour la sécurité de l'opération, le client doit confirmer le sérieux de ses intentions à l'aide d'un code spécial. Ce code sera envoyé à votre numéro sous forme de message SMS.
  • Dans la science. Le terme est très activement utilisé en philosophie et en médecine.
  • Sur Internet. La vérification de votre identité sur les réseaux sociaux occupe une place particulière. La vérification sur Internet est simplement nécessaire pour ne pas tomber sur des escrocs.
  • Dans le système qualité. Par exemple, il s'agit de vérifier les produits selon GOST.

Exemples de vérification.

Il existe de nombreux exemples qui peuvent être cités, mais nous porterons notre attention sur les plus célèbres. Par exemple, si vous décidez de créer un portefeuille dans le système de paiement Webmoney, lors de l'inscription, il vous sera demandé les informations de votre passeport. De nombreuses pensées vous viennent immédiatement à l'esprit à ce sujet, mais il vous suffit de les mettre de côté et de fournir en toute confiance vos données personnelles pour l'enregistrement. Ces données sont nécessaires pour comprendre si vous êtes une personne réelle ou non. Après inscription, personne n’en aura plus besoin et ne seront utilisés nulle part à votre insu. Il n’y a donc pas lieu d’avoir peur.

Il ne sera pas possible de lier une carte à un compte de système de paiement sans vérification. Vous devrez certainement subir une vérification.

Cela vaut la peine de parler séparément de la vérification sur les réseaux sociaux. Récemment, cela est devenu très important, car chaque jour, les cas de fraude provenant de différentes pages sont de plus en plus fréquents. L'utilisateur ne peut même pas soupçonner que des fraudeurs peuvent utiliser sa photo ou ses données personnelles à leurs propres fins.

Le nombre de fausses pages augmente chaque jour. Toute personne disposant d'un ordinateur et d'un accès à Internet peut créer une page avec le nom et la photo d'une célébrité et diffuser toutes les informations qui en découlent. Bien sûr, ce ne sera pas toujours agréable. Par conséquent, les acteurs, chanteurs, réalisateurs, hommes politiques et bien d’autres vérifient leurs pages sur les réseaux sociaux et demandent à leurs fans de s’abonner uniquement à ces pages et de ne pas visiter de fausses pages.

Sur Twitter, une vérification est requise. Parce que les utilisateurs doivent être sûrs à 100 % qu’ils lisent réellement le bloc des célébrités.

Comment savoir si une page est vérifiée ?

Très simple. Si vous voyez des « coches bleues » sur la page de votre idole, alors vous savez qu’il ne s’agit pas de faux, mais d’un inconnu vérifié. Et tout ce que vous verrez ici sera vrai, pas une fiction.

La vérification de la qualité en production est également importante. Le consommateur de biens doit savoir quel produit il achète. Toutes les exigences ont-elles été respectées lors de la production du produit, de son transport puis de son stockage ? Par exemple, les scientifiques ont créé un nouveau médicament. Tous les tests sur les animaux ont été effectués et il a été constaté que ce médicament est propre à la consommation humaine et peut être vendu en pharmacie. Cela signifie que ce médicament a été vérifié, c'est-à-dire qu'il a passé avec succès les tests et répond à toutes les exigences présentées à ce sujet.

En médecine, ce terme n’est pas nouveau et est très largement utilisé. Le diagnostic est presque toujours vérifié, c'est-à-dire sa revérification. Par exemple, en oncologie, une nouvelle biopsie est réalisée pour garantir l'exactitude du diagnostic, et si la biopsie est positive, une chimiothérapie est prescrite.

Avantages et inconvénients de la vérification.

Bien entendu, la vérification présente de nombreux avantages. Après avoir compris où ce terme est utilisé, il devient clair que le recours à la vérification est un plus continu, du moins en ce qui concerne la fraude. Mais il n'y a pas tellement d'inconvénients. C'est probablement le seul - du travail supplémentaire est ajouté et du temps est perdu en vérification.

Après avoir compris ce qu'est la vérification et compris l'application de ce terme, il devient immédiatement clair qu'elle est très importante dans le monde moderne. Il est nécessaire non seulement aux fonctionnaires et aux célébrités, mais également aux utilisateurs ordinaires. Ceci est nécessaire pour éviter la fraude.

Abonnez-vous au site

Les gars, nous mettons notre âme dans le site. Merci pour ça
que vous découvrez cette beauté. Merci pour l'inspiration et la chair de poule.
Rejoignez-nous sur Facebook Et En contact avec

Qu'est-ce que la vérification ? Ce mot a diverses significations. Le plus souvent, tout dépend du domaine dans lequel il a été utilisé. Le terme lui-même est dérivé d’une combinaison des mots latins « verus » et « facere », qui traduits en russe signifie vrai et faire en conséquence.

Ainsi, les significations d'un mot sont le plus souvent associées à une sorte de vérification, de confirmation d'authenticité. Par exemple, la vérification peut désigner une méthode de confirmation d'une certaine disposition ou d'un algorithme, confirmant que le produit fini répond aux exigences, et ce mot cache également une méthode de détection des mensonges.

Étant donné que le concept de vérification est similaire à bien des égards au terme preuve, il est souvent associé à des hypothèses, des concepts et des théories. Parfois, la définition suivante est donnée : il s'agit de la modélisation d'un modèle visuel d'une pensée scientifique. Cependant, de manière générale, la vérification est la confirmation.

Qu'est-ce que la vérification ?

Bien que la vérification soit toujours une preuve ou une confirmation, la confirmation elle-même n’est pas toujours une vérification. Cela devient vrai lorsque la preuve est justifiée par la méthode du retour au niveau visuel de l'ensemble des connaissances acquises par l'expérience.

Aujourd’hui, la plupart des gens s’inquiètent de la question de la vérification des données. Le plus souvent, ce terme est utilisé dans le domaine informatique, mais d'autres options sont possibles.

  • Dans ce cas, cela signifiera la fiabilité des informations que l'utilisateur saisit sur tout site ou des documents électroniques.
  • Le plus souvent, les gens sont confrontés à une procédure de vérification lorsqu'ils effectuent certains paiements en ligne ou s'inscrivent sur des sites comme une bourse de travail à distance.
  • La plupart des systèmes de paiement, par exemple Webmoney, exigent que vous fournissiez une pièce d'identité afin de vérifier. Selon eux, cela sert à accroître la sécurité.

La vérification se manifeste également par des choses plus simples. Par exemple, la plupart des sites vous demandent de fournir votre adresse e-mail pour vous inscrire. Peu de temps après, il reçoit une lettre contenant un lien spécial. En cliquant dessus, vous confirmez que ce compte appartient au propriétaire de cet e-mail, c'est-à-dire que c'est ainsi que s'effectue la vérification.

Il reste une autre option. Il est activement utilisé sur des ressources dont la sécurité est particulièrement importante. Par exemple, sur les comptes personnels de banques comme la Sberbank. Pour y accéder, vous devez non seulement saisir votre nom d'utilisateur et votre mot de passe, mais également le code qui est envoyé à votre téléphone par SMS. Le recevoir et le saisir est également un exemple de vérification.


Saint-Pétersbourg

Université électrotechnique d'État

Département du MOEVM

par discipline

« Processus de développement de produits logiciels »

« Vérification du logiciel »

Saint-Pétersbourg

    Objet de la vérification……………………………………………………………… page 3

    Notes introductives…………………………………………………………….. page 3

    Objectifs cibles particuliers et généraux………………………………………….. page 4

    Pratique attendue sur les objectifs visés……………………………………… page 4

SG1 Préparation à la vérification……………………………………………..... page 4

SG2 Réalisation des examens (expertises)………………………… page 7

SG3 Effectuer la vérification……………………………………………..... page 9

    Annexe 1. Présentation des outils d'automatisation du processus de vérification……….. page 11

    Annexe 2. Approches modernes de base de la vérification…………….. page 12

    Liste de la littérature utilisée…………………………………………………………….. page 14

Modèle intégré d’excellence et de maturité

VÉRIFICATION

(Niveau de maturité 3)

    Cible

Le but de la vérification est fournir l'assurance que le middleware ou le produit final sélectionné répond aux exigences spécifiées.

    Notes d'eau

La vérification des produits logiciels est vérifier le produit fini ou ses versions intermédiaires pour le respect des exigences initiales. Cela signifie non seulement tester le programme lui-même, mais également auditer le projet, la documentation utilisateur et technique, etc.

Le but de la vérification du système logiciel est d'identifier et de signaler les erreurs pouvant survenir à certaines étapes du cycle de vie. Principales tâches de vérification :

    déterminer si les exigences de haut niveau correspondent aux exigences du système ;

    prendre en compte les exigences de haut niveau dans l'architecture du système ;

    le respect de l'architecture et de ses exigences dans le code source ;

    déterminer si le code exécutable répond aux exigences du système ;

    détermination des moyens utilisés pour résoudre les problèmes ci-dessus, qui sont techniquement corrects et suffisamment complets.

La vérification comprend la vérification des produits finis et la vérification des produits intermédiaires par rapport à toutes les exigences sélectionnées, y compris les exigences du client, les exigences relatives au produit fini et les exigences relatives à ses composants individuels.

La vérification est par nature un processus progressif (croissant) depuis le moment de sa création tout au long du développement du produit et de tous les travaux sur le produit. La vérification commence par la vérification des exigences, suivie par la vérification de tous les produits intermédiaires à différentes étapes de leur développement et de leur fabrication, et se termine par la vérification du produit final.

La vérification des produits intermédiaires à chaque étape de leur développement et de leur fabrication augmente considérablement la probabilité que le produit final satisfasse aux exigences du client, aux exigences du produit fini et aux exigences de ses composants individuels.

La Vérification et la Validation des processus sont des processus essentiellement liés, visant cependant à obtenir des résultats différents. Le but de la validation est de démontrer que le produit fini répond réellement à son objectif initial. La vérification vise à s'assurer que le produit répond exactement à certaines exigences. En d’autres termes, la vérification garantit que « tu le fais bien», et la validation est que « tu fais la bonne chose”.

Pour évaluer la rentabilité et les performances, la vérification doit être mise en œuvre le plus tôt possible dans les processus pertinents (tels que la livraison, le développement, l'exploitation ou la maintenance). Ce processus peut inclure une analyse, une vérification et des tests (tests).

Ce processus peut être réalisé avec différents degrés d’indépendance des interprètes. Le degré d'indépendance des artistes interprètes ou exécutants peut être réparti à la fois entre divers sujets de l'organisation elle-même et des sujets d'une autre organisation, avec différents degrés de répartition des responsabilités. Ce processus est appelé processus vérification indépendante, si l'organisme chargé de la mise en œuvre ne dépend pas du fournisseur, du développeur, de l'opérateur ou du personnel de support.

Expertises (examen) constituent un élément important de la vérification en tant que moyen éprouvé d'élimination efficace des défauts. Un point important à retenir est la nécessité de développer une compréhension plus approfondie des versions de travail du produit, ainsi que des flux de travail utilisés, afin d'identifier les défauts possibles et de créer la possibilité d'apporter des améliorations si nécessaire.

Les examens comprennent un examen méthodique du travail effectué par des experts afin d'identifier les défauts et autres modifications requises.

Les principales méthodes d’expertise sont :

    inspection

    contrôle structurel de bout en bout

3. Cibles spéciales et générales

3.1 Cibles spéciales:

S.G. 1 Préparez-vous pour la vérification

S.G. 2

S.G. 3

3.2 Objectifs généraux:

GG1 Atteindre des objectifs précis

GG2 Installez un pro contrôlécession

GG 3 Définir un processus spécifique

GG 4 Livrer un processus quantifiable

GG 5 Mettre en place un processus d'optimisation

4. Pratique attendue sur les tâches cibles

S.G. 1 Préparez-vous pour la vérification

Pour mettre en œuvre la vérification dans toute sa mesure, une préparation à la vérification est nécessaire afin de garantir que tous les niveaux de vérification sont gérables. La vérification comprend l'examen, les tests, l'analyse et la démonstration. La vérification préliminaire confirme (vérifie) que tous les « supports » de vérification (ces conditions qui garantissent sa mise en œuvre réussie) sont inclus dans les exigences relatives aux produits et aux travaux sur les produits.

Les méthodes de vérification comprennent (sans toutefois s'y limiter) l'inspection, l'examen par les pairs, l'audit, le contrôle structurel de bout en bout, l'analyse, la simulation, les tests et la démonstration.

La préparation implique également d'identifier tous les outils de support, le matériel et les logiciels de test, les simulations, les prototypes, etc.

En général, à ce stade, les tâches principales suivantes peuvent être distinguées :

    La nécessité d'un travail de vérification dans le projet et le degré d'indépendance organisationnelle dans la réalisation de ce travail doivent être déterminés. Les exigences de conception doivent être analysées pour en déterminer la criticité. La criticité peut être évaluée en termes de :

    la possibilité d'une erreur non détectée dans un système ou dans un logiciel entraînant la mort ou des blessures du personnel, l'échec de la mission, une perte financière ou une destruction catastrophique de l'équipement ;

    la perfection de la technologie de programmation utilisée et les risques associés à son utilisation ;

    disponibilité des fonds et des ressources.

    Si le projet implique des travaux de vérification, un processus de vérification doit être établi pour vérifier le produit logiciel.

    Si le projet implique des travaux de vérification indépendants, une organisation qualifiée chargée de mener la vérification doit être sélectionnée. Cette organisation doit se voir garantir son indépendance et son autorité dans l'exécution des travaux de vérification.

PS1.1-1 Établir une stratégie de vérification

Une stratégie de vérification à l’échelle de l’organisation pour les produits d’activité sélectionnés doit être établie et maintenue.

Une stratégie de vérification est créée afin d'établir les activités spécifiées liées aux produits de travail à vérifier. Ce processus aboutit à des stratégies et procédures spécifiques et détaillées pour vérifier les produits du travail.

Les exigences et les stratégies de vérification sont généralement documentées. La stratégie de vérification vise les activités, sources et environnements spécifiés requis pour vérifier le produit du travail. Ceci est quelque peu différent des plans de vérification spécifiés dans les pratiques générales de planification et de processus. Les pratiques générales définissent les tâches des processus, qui en est responsable et les principales ressources nécessaires. Au contraire, la stratégie de vérification précise technique approche de vérification des produits du travail et approches spécifiées qui seront utilisées pour la vérification.

Une stratégie de vérification commence généralement par l'examen des exigences relatives au produit et à ses composants pour garantir que ces exigences sont vérifiables.

Pour le développement de logiciels

Les méthodes de vérification peuvent inclure les éléments suivants :

    Tests de zone de service

    Tests opérationnels et extrêmes

    Tests basés sur des tables de décision

    Tests basés sur la décomposition fonctionnelle

    Tester des cas de réutilisation

    Tests alpha et bêta

    Tester le scénario opérationnel (de travail)

    Tests d'acceptation

Pour les produits de processus intégrés

La stratégie de vérification doit se développer parallèlement et de manière itérative au processus de développement du produit et de ses composants.

PS1.1-2 Configurer l'environnement de vérification

Un environnement de vérification doit être établi pour permettre la vérification. Le cadre de vérification peut être acheté, développé, réutilisé, modifié ou une combinaison de tout ce qui précède en fonction des besoins du projet.

Le type d’environnement de vérification requis sera déterminé par les critères de vérification et les méthodes de vérification utilisées.

Principaux produits de travail (typiques) :

    Équipement de vérification

    Environnement de vérification

Travaux auxiliaires :

1. Identifier les exigences de l'environnement de vérification

2. Identifiez les ressources de vérification disponibles pour la réutilisation ou la modification.

3. Identifier les équipements et les outils de vérification

4. Acheter l'équipement et les logiciels utilisés pour soutenir le travail de vérification

PS1.1-3 Définir des plans de vérification détaillés

A ce stade, il est nécessaire d'effectuer les travaux suivants :

    Les activités prévues du cycle de vie et les produits logiciels nécessitant une vérification doivent être identifiés sur la base d'une analyse de la portée, de la taille, de la complexité et de la criticité du projet. Les travaux et les tâches de vérification doivent être sélectionnés pour les produits logiciels vérifiés au cours du cycle de vie des travaux, y compris les méthodes, techniques et outils appropriés.

    Un plan de vérification basé sur des objectifs de vérification établis doit être élaboré et documenté. Le plan doit porter sur les travaux et produits logiciels vérifiés dans le cycle de vie ; contenir les tâches de vérification requises pour chaque objet ; Déterminer les ressources, les responsabilités et le calendrier de travail appropriés. Le plan doit inclure des procédures pour communiquer les rapports de vérification au client et aux autres parties intéressées.

    Un plan de vérification doit être mis en œuvre. Les problèmes et incohérences découverts lors de la vérification doivent être intégrés au processus de résolution des problèmes (clause 6.8). Tous les problèmes qui surviennent doivent être résolus et toutes les incohérences trouvées doivent être éliminées. Les résultats des travaux de vérification doivent être disponibles pour le client et les autres organisations participant au contrat.

Travaux auxiliaires :

1. Planifier des efforts de vérification multiples, complets et intégrés

2. Développer et améliorer, si nécessaire, la qualité des critères de vérification

3. Pour vérifier chaque œuvre, définir les méthodes de vérification

4. Définir le résultat attendu

S.G. 2 Réaliser une expertise

L'évaluation par des experts comprend une inspection des produits avec des experts afin d'identifier les défauts qui doivent être éliminés et d'indiquer les endroits où apporter d'autres modifications nécessaires.

L'expertise est principalement utilisée pour la réalisation de projets, mais peut également être utilisée pour des travaux tels que la documentation, etc.

PS2.1-1 Se préparer à l'examen par les pairs

Les travaux préparatoires à l'examen comprennent généralement la détermination du cercle de personnes qui réaliseront l'examen (effectué pour chaque travail soumis à l'examen), l'identification des principaux évaluateurs (observateurs) dont la participation à l'examen sera nécessaire, la préparation et la mise à jour de tout matériel qui seront utilisés lors des examens comme tables de contrôle et critères de révision (examen), ainsi que pour l'élaboration d'un planning des examens.

Principaux produits de travail :

    Calendrier des expertises

    Liste de contrôle pour l’examen par les pairs

    Critères d'entrée et de sortie pour les produits de travail

    Critères de revérification

    Matériel de formation pour l’expertise

    Produits de travail sélectionnés soumis à une évaluation par des experts

Travaux auxiliaires :

1. Décidez quel type d’examen par les pairs sera mené

Exemples de types possibles :

  • contrôle structurel de bout en bout

2. Déterminer les exigences relatives aux informations collectées lors de l’expertise

3. Établir et maintenir des critères d'entrée et de sortie pour les produits de travail sélectionnés

4. Établir et maintenir des critères de vérification croisée des produits de travail sélectionnés

5. Établir et maintenir une liste de contrôle pour garantir que les produits de travail sélectionnés sont inspectés uniformément

6. Assurez-vous que les produits des travaux répondent aux critères d'entrée pour l'examen avant que ces travaux ne soient envoyés pour examen.

7. Distribuer à l'avance les produits de travail à inspecter et les informations connexes parmi les participants à l'examen afin de leur permettre de se préparer adéquatement à l'examen.

8. Attribuez des rôles d’expertise.

Options de rôle :

    leader (chef d'expertise)

    lecteur

    agent de protocole

PS2.2-1 Gérer l'évaluation par les pairs

L'un des objectifs de la gestion des inspections est la volonté d'identifier et d'éliminer les défauts le plus tôt possible dans le cycle de vie. Les revues sont réalisées progressivement, au fur et à mesure du développement des produits intermédiaires, et non en toute fin de cycle de vie. Ces examens ne seront pas contrôlés.

L'expertise est effectuée sur des travaux clés dans les phases de spécification, de développement, de test, de documentation justificative et de planification (par exemple, planification du développement logiciel, planification de la gestion des risques ou planification des tests).

L'examen doit porter principalement sur le produit du travail soumis à l'inspection, et non sur la personne qui a vendu ces produits.

Les résultats et conclusions de l'examen doivent être signalés au développeur principal de ce produit de travail pour une éventuelle correction.

Les examens doivent être guidés par les principes suivants : une préparation suffisante doit être effectuée, le processus doit être géré et contrôlé, les informations importantes obtenues lors de l'examen doivent être enregistrées et les actions (travail) effectuées pendant l'examen doivent également être enregistrées.

Principaux produits de travail :

    Résultats d'examen

    Conclusions d'experts

    Informations obtenues lors de l'examen

Travaux auxiliaires :

1. Exécuter les rôles assignés pendant l'examen

2. Identifier et documenter les défauts et autres constatations dans les produits de travail

3. Enregistrer les résultats de l'examen et documenter les mesures prises

4. Recueillir des informations (données) lors de l'examen

5. Communiquer les décisions des examens aux organisateurs de la coentreprise (principaux développeurs des produits de travail)

6. Prévoir des examens répétés si les produits répondent à leurs critères

7. S'assurer que les critères de résultats de l'examen sont remplis

8. Attribuez des rôles d’expertise.

Options de rôle :

    leader (chef d'expertise)

    lecteur

    agent de protocole

PS2.3-2 Analyser les informations reçues

S.G. 3 Vérifier les œuvres sélectionnées

PS3.1-1 Effectuer la vérification

Produits de travail typiques :

    Résultats de la vérification

    Rapports de vérification

    Démonstrations

Travaux auxiliaires :

1. Vérifier les composants COTS et réutilisables par rapport aux exigences spécifiées

2. Vérifier les produits conformément à la stratégie et aux procédures de vérification sélectionnées

3. Enregistrez les résultats des travaux de vérification

Critères de vérification:

En général, on peut distinguer les critères suivants pour le processus de vérification à ses différentes étapes :

    Vérification du processus

Le processus doit être vérifié selon les critères suivants :

    la conformité et la rapidité de l'établissement des exigences en matière de planification de projet ;

    l'adéquation, la faisabilité, la faisabilité conformément au plan et aux termes du contrat des procédés sélectionnés pour le projet ;

    applicabilité des normes, procédures et conditions aux processus de conception ;

    recrutement et formation conformément aux termes du contrat.

Vérification des exigences

Les exigences doivent être vérifiées par rapport aux critères suivants :

      • cohérence, faisabilité et testabilité des exigences du système ;

        répartition des exigences système entre les objets matériels, logiciels et opérations manuelles conformément au projet ;

        cohérence, faisabilité, testabilité et précision du reflet des exigences du système dans les exigences logicielles ;

        l'exactitude, confirmée par des méthodes appropriées, des exigences logicielles en matière de sécurité, de protection et de criticité.

    Vérification du projet

Le projet doit être vérifié selon les critères suivants :

        l'exactitude du projet, sa conformité aux exigences établies et la prise en compte de ces exigences dans le projet ;

        faisabilité dans le projet de la séquence appropriée d'événements, de données d'entrée, de résultats de sortie, d'interfaces, de logique, de répartition du temps et des ressources matérielles, ainsi que de détection, de localisation et de récupération des erreurs ;

        la capacité de sélectionner un projet en fonction des exigences établies ;

        l'exactitude, confirmée par des méthodes appropriées, de la mise en œuvre des exigences de sûreté, de sécurité et autres exigences critiques dans le projet.

    Vérification du programme

Le programme doit être vérifié selon les critères suivants :

        en tenant compte des conditions du projet et des exigences établies dans le programme ; sa testabilité, son exactitude et sa conformité aux exigences établies et aux normes de programmation ;

        réalisabilité dans le programme : la séquence d'événements appropriée, les interfaces appropriées, les données correctes et la logique de contrôle ; répartition du temps et des ressources matérielles ; détection, localisation et récupération des erreurs, ainsi que son exhaustivité :

        la capacité de sélectionner un programme en fonction du projet ou des exigences établies ;

        l'exactitude, confirmée par des méthodes appropriées, de la mise en œuvre des exigences de sûreté, de sécurité et autres exigences critiques dans le programme.

    Vérification de l'assemblage

L'assemblage doit être vérifié selon les critères suivants :

        l'exhaustivité et l'exactitude de l'assemblage des composants et modules logiciels de chaque objet logiciel dans l'objet logiciel correspondant ;

        l'exhaustivité et l'exactitude de l'assemblage des objets techniques et logiciels et des opérations manuelles dans le système ;

        Exécuter les tâches de build conformément au plan de build.

    Vérification des documents

La documentation doit être vérifiée selon les critères suivants :

        conformité, exhaustivité et cohérence de la documentation ;

        préparation en temps opportun de la documentation ;

        conformité au document de procédures de gestion de configuration établi

PS3.2-2 Analyser les résultats de la vérification et déterminer les actions correctives

Pour déterminer le degré d'acceptation, les résultats réels doivent être comparés aux critères de vérification établis.

Les résultats de l'analyse sont enregistrés comme preuve que la vérification a été contrôlée.

Les rapports analytiques peuvent également indiquer que de mauvais résultats de vérification sont dus à des lacunes dans les méthodologies, les critères ou à des problèmes d'infrastructure.

Principaux produits de travail :

    Rapport analytique (statistiques, analyse des écarts, comparaison du comportement des produits réels et de son modèle, écarts, etc.)

    Un ensemble de mesures correctives pour corriger les déficiences identifiées

PS3.3-1 Effectuer une re-vérification (re-vérification)

Une revérification est effectuée pour garantir que les défauts ont été corrigés et que le résultat du travail n'a pas été endommagé (détérioré) à la suite des actions correctives.

En règle générale, la re-vérification se concentre en détail sur les parties des produits de travail dans lesquelles certains défauts ont été découverts.

Annexe 1. Présentation des outils d'automatisation du processus de vérification

Il existe de nombreux produits sur le marché qui automatisent le processus de vérification. Parmi eux figurent Purify, TestCenter, Logiscope, etc. Le package Logiscope de Verilog est une famille de programmes-outils (TestChecker, CodeChecker, RuleChecker, ImpactChecker et Viewer) avec un objectif commun : aider les utilisateurs à améliorer la qualité et à effectuer des tests complets des logiciels qu'ils créer. Le produit est basé sur une idée analyse du code source. Sa dernière version est capable de traiter du texte de programme écrit dans plus de 80 langages, dont C, C++, Pascal, Cobol, Fortran, PL1, ADA et même les langages d'assemblage Intel et Motorola. Les résultats de l'analyse sont présentés sous forme d'indicateurs numériques (métriques, dont il existe plus de 50 types), permettant de juger de la qualité du code source des programmes. Le composant TestChecker surveille le comportement du programme testé pendant son exécution et, au cours de son fonctionnement, crée des arborescences d'appels, des profils d'exécution et marque les fonctions non appelables et les procédures non exécutables. Logiscope prend en charge l'ingénierie inverse, qui permet de reconstruire la structure d'un programme à partir de code objet, ce qui est utile pour comprendre la logique de son fonctionnement et la nature des données utilisées.

Le programme TestCenter de CenterLine est spécialement conçu pour les programmeurs professionnels dans les langages C et C++. D'après les données statistiques, il s'ensuit que lors de tests normaux, l'« exécutabilité » de seulement 40 à 50 % du code total du programme est vérifiée. Cela s'explique par le fait qu'avec les tests traditionnels « manuels », il est impossible de vérifier le fonctionnement d'un programme avec toutes les combinaisons possibles de données d'entrée ou de simuler des erreurs rares comme un manque de mémoire. Avec de telles procédures de test, il est difficile de parler de la haute qualité des programmes finis. Le package TestCenter vous permet d'organiser des tests logiciels globaux à un niveau industriel et de faire des tests un élément naturel du processus de développement grâce à son intégration directe avec d'autres shells d'outils bien connus (SPARCworks, SoftBench, ObjectCenter et ObjectCode).

Pendant le processus de débogage/test des programmes, TestCenter affiche les lignes de code source qui ne sont pas exécutées pendant le test, les zones mémoire non initialisées, la mémoire réservée mais non utilisée, utilisée mais non libérée, les cas d'utilisation incorrecte des opérateurs malloc/free, etc. Le simulateur d'erreurs (Error Simulator) peut générer des erreurs rares et difficiles à déboguer telles que le disque plein (manque d'espace disque) ou le manque de mémoire mentionné, et le simulateur d'API (Simulator API) peut générer des erreurs d'interface, par exemple incorrectes. ordre des arguments lors de l’appel de fonctions ou code retour incorrect. Lorsque vous utilisez TestCenter, il n'est pas nécessaire de recompiler les programmes et Error Simulator n'a même pas besoin du code source du programme testé pour fonctionner.

Les termes « validation » et « vérification » sont apparus dans le discours russe il n’y a pas si longtemps. Leur pénétration dans notre langage est associée à l'introduction des normes ISO 9000, associées à de nouvelles exigences en matière de qualité de la sphère managériale.

En plus de , ces concepts ont commencé à être activement utilisés dans d'autres domaines de la vie, par exemple dans les banques et les systèmes de paiement électronique. Que sont la « validation » et la « vérification » ? Et quelle est la différence entre eux ?

Selon une version, le concept "vérification" vient des mots latins verus (vrai) et facere (faire). Il existe une autre opinion selon laquelle le mot serait tiré de la langue latine tardive, où le terme vérification moyens "confirmation" .

Concept "validation" a également des racines latines et est associé au mot valide, ce qui se traduit par "fort, efficace" .

À première vue, validation et vérification, mais chacun des termes a sa propre signification. La vérification signifie la confirmation de la conformité d'un produit à certaines exigences.

En termes simples, avec ce mot, l'entreprise qui fabrique le produit ou fournit le service confirme l'exactitude et la qualité de son produit. En d'autres termes, le résultat de la vérification est la réponse à la question : le produit (service) répond-il à ses exigences ?

Par exemple, si une organisation produit des voitures, la vérification consistera à vérifier la présence de tous les composants et le respect des normes de qualité.

La validation est la fourniture de la preuve qu'un produit (ou service) répond aux exigences de l'utilisateur final. Le résultat du terme est la réponse à la question : fabriquons-nous les bons produits ?

Dans le cas des voitures, elles seront validées après que le client les aura testées en action, les aura conduites, évalué leurs caractéristiques techniques, puis les aura jugées répondant à ses besoins.

Dans le domaine des services Internet, la vérification désigne la confirmation par l’utilisateur des informations qu’il fournit. Si une personne remplit des documents créés au format électronique, la détermination de la fiabilité des informations spécifiées sera appelée vérification des données.


Une telle confirmation peut être des copies numérisées des documents originaux ou un simple clic sur un lien envoyé par e-mail lors de l'inscription sur n'importe quelle ressource.

Dans notre pays, de nombreuses catégories de citoyens bénéficient de prestations sociales. Il s'agit notamment des retraités, des personnes handicapées, des anciens combattants, des personnes déplacées, des mères célibataires et autres.

Dans la plupart des cas, le droit aux paiements est confirmé une seule fois lors des formalités initiales (par exemple, à la retraite ou à la naissance d'un enfant). Cependant, après un certain temps, les autorités gouvernementales peuvent exiger que ce droit soit reconfirmé, c'est-à-dire que les prestations sociales doivent être vérifiées en fournissant à nouveau les documents correspondants.

La vérification de la carte bancaire fait référence aux mesures de sécurité par lesquelles les institutions financières veulent s'assurer que vous êtes bien propriétaire de cette carte.

Le processus de vérification est assez simple. La banque bloque un petit montant sur le compte et demande au titulaire de la carte d'en indiquer le montant. Si vous donnez la bonne réponse, l’argent sera automatiquement débloqué.

Malgré les similitudes entre la validation et la vérification, il existe certaines différences entre elles. La validation est effectuée par une personne testant un produit ou un service et implique une évaluation personnelle de la qualité du travail.

La vérification est effectuée par les développeurs et repose sur une évaluation objective du produit (service) conformément aux exigences généralement acceptées. La vérification intervient toujours en premier et consiste à vérifier la présence de toutes les fonctionnalités du produit, tandis que la validation est effectuée en second et permet d'évaluer si cette fonctionnalité est correctement implémentée.

Malgré l'apparente similitude, les termes « test », « vérification » et « validation » désignent différents niveaux de vérification du bon fonctionnement d'un système logiciel. Pour éviter davantage de confusion, définissons clairement ces concepts.

Tests de logiciels- un type d'activité dans le processus de développement associé à la mise en œuvre de procédures visant à détecter (preuve de présence) des erreurs (incohérences, incomplétude, ambiguïtés, etc.) dans la définition actuelle du système logiciel en cours de développement. Le processus de test consiste principalement à vérifier l'exactitude de la mise en œuvre logicielle du système, la conformité de la mise en œuvre avec les exigences, c'est-à-dire le test est l'exécution contrôlée d'un programme pour détecter les incohérences entre son comportement et ses exigences.

Riz. 1 Tests, vérification et validation

Vérification du logiciel- un concept plus général que le test. Le but de la vérification est de garantir que l'objet vérifié (exigences ou code de programme) répond aux exigences, est mis en œuvre sans fonctions involontaires et satisfait aux spécifications et normes de conception. Le processus de vérification comprend des inspections, des tests de code, l'analyse des résultats des tests, la génération et l'analyse de rapports de problèmes. Ainsi, il est généralement admis que le processus de test fait partie intégrante du processus de vérification, et la même hypothèse est formulée dans cette formation.

Validation du système logiciel- un processus dont le but est de prouver qu'en développant le système, nous avons atteint les objectifs que nous avions prévu d'atteindre grâce à son utilisation. En d'autres termes, la validation consiste à vérifier que le système répond aux attentes du client. Les questions liées à la validation dépassent le cadre de cette formation et représentent un sujet d’étude distinct et intéressant.

Si vous examinez ces trois processus en fonction de la question à laquelle ils répondent, les tests répondent à la question « Comment cela se fait ? » ou "Le comportement du programme développé répond-il aux exigences ?", vérification - "Qu'est-ce qui a été fait ?" ou « Le système développé répond-il aux exigences ? », et la validation est « A fait ce qu'il devait faire ? » ou "Le système développé répond-il aux attentes du client ?"

La vérification est généralement un processus interne de gestion de la qualité qui garantit la conformité à une règle, une norme ou une spécification. Un moyen simple de se souvenir de la différence entre validation et vérification est que la validation confirme que « vous avez créé le bon produit » et la vérification confirme que « vous avez créé le produit comme vous le souhaitiez ».


Autre exemple de vérification typique : la réalisation de tests d’équipement. Avec certaines exigences en main, nous testons le produit et enregistrons si les exigences sont remplies. Le résultat de la vérification est la réponse à la question « Le produit répond-il aux exigences ?

Mais un produit répondant aux exigences établies ne peut pas toujours être utilisé dans une situation spécifique. Par exemple, le médicament a passé tous les tests requis et a été mis en vente. Cela signifie-t-il qu’il peut être utilisé par n’importe quel patient en particulier ? Non, puisque chaque patient a ses propres caractéristiques et que pour ce médicament particulier peut être nocif, c'est à dire que quelqu'un (le médecin) doit confirmer : oui, ce patient peut prendre ce médicament. Autrement dit, le médecin doit effectuer une validation : donner une validité juridique à une demande spécifique.

Ou un autre exemple. L'entreprise produit des canalisations destinées à être posées dans le sol selon certaines spécifications (Conditions Techniques). Les produits répondent à ces spécifications, mais une commande a été reçue pour la pose de tuyaux le long du fond marin. Peut-on dans ce cas utiliser des canalisations conformes aux spécifications existantes ? C'est la validation qui apporte la réponse à cette question.

Il est facile de voir qu’une autre différence est que la vérification est toujours effectuée, mais qu’une validation n’est peut-être pas nécessaire. Il n'apparaît que lorsque des exigences surviennent liées à une application de produit spécifique. Si une usine pharmaceutique produit des médicaments, elle vérifiera uniquement leur conformité aux exigences et ne traitera pas les problèmes liés à l'utilisation de médicaments spécifiques par des patients spécifiques.

Ainsi, on peut affirmer ce qui suit :

La vérification est presque toujours effectuée, réalisée en vérifiant (en comparant) les caractéristiques des produits avec des exigences spécifiées, le résultat est une conclusion sur la conformité (ou la non-conformité) du produit,

Validation - effectuée si nécessaire, réalisée en analysant les conditions d'utilisation spécifiées et en évaluant la conformité des caractéristiques du produit à ces exigences, le résultat est une conclusion sur la possibilité d'utiliser le produit dans des conditions spécifiques.

Sur la base de ce qui précède, la validation doit être définie comme la confirmation, basée sur la fourniture de preuves objectives, que les exigences destinées à une utilisation ou une application particulière sont spécifiées de manière précise et complète et que l'objectif est atteint.