|
Le programme exécuté et vérifié relève principalement des tests phase du cycle de vie du développement logiciel (SDLC). Bien que certains aspects de la vérification puissent avoir lieu plus tôt (par exemple, la révision du code pendant le développement), l'exécution et la vérification formelles et complètes du programme constituent un élément essentiel des tests. Cela inclut différents types de tests tels que les tests unitaires, les tests d'intégration, les tests système et les tests d'acceptation des utilisateurs.
|
