? Validation et de vérification (V & V) est le processus utilisé pour s'assurer qu'un projet de génie logiciel répond à ses objectifs de conception . La vérification est utilisé pour tester si oui ou non un logiciel work-in -progress à une phase donnée du développement conforme à ses objectifs , et la validation est utilisé pour tester si oui ou non un projet de logiciel complété satisfasse ses objectifs. Il existe deux procédés de validation et de vérification : contrôle et d'essai . Le test est Apprendre

test peut être décrit comme l'exploration des caractéristiques d'un morceau de logiciel. Les ingénieurs de test mis en place des expériences pour voir ce que le logiciel peut faire et ne pas faire. Ce sera souvent révéler un comportement inattendu dans les scénarios d'utilisation dans le monde réel , ce qui permet aux ingénieurs de test de faire rapport aux ingénieurs de conception. Les ingénieurs peuvent ensuite étudier le code source et essayer de comprendre ce qui a causé le comportement inattendu , et comment y remédier .
Vérification est Confirmation

de contrôle est utilisé pour confirmer que le logiciel exécute une tâche spécifique correctement . Un chèque peut être aussi simple qu'une déclaration affirmer , ce qui réussit ou échoue quand une condition est vérifiée soit . Si un développeur de logiciels croit quelque chose pour être vrai ( que x est égal à 5, par exemple ) , il peut mettre en place un contrôle pour valider la justesse de cette croyance . Si la vérification échoue , alors quelque chose est à l'origine du logiciel à se comporter de façon inattendue.
Vérification peut être automatisée

vérification peut être automatisée. Le langage de programmation C a l'énoncé « affirmer » construite en plein dedans. Si vous concevez un morceau de logiciel et de s'attendre à un certain état ​​à un certain stade de l'exécution du programme , vous devez inclure une déclaration s'affirmer. Si l'assertion échoue , le programme se bloque . Cela vous dit que vos hypothèses sont défectueux , et qu'il ya un bug dans votre code.
Tests peuvent pas être automatisées

tests doivent être réalisés par l'homme. Il n'y a pas de constructions de programmation qui permet de tester un logiciel de la même façon qu'un être humain peut . Les tests comprennent l'expérimentation de logiciels et d'enregistrer les résultats . Il s'agit de mettre le logiciel grâce à l'utilisation dans le monde réel , ce qui nécessite un humain. Test permet à l' équipe de V & V pour découvrir les bugs que la vérification aurait manqué .