El programa ejecuta y verificó cae principalmente bajo las pruebas
Fase del ciclo de vida del desarrollo de software (SDLC). Si bien los aspectos de la verificación pueden ocurrir anteriormente (por ejemplo, revisión del código durante el desarrollo), la ejecución y verificación formal y completa del programa es un componente central de las pruebas. Esto incluye varios tipos de pruebas como pruebas unitarias, pruebas de integración, pruebas de sistema y pruebas de aceptación del usuario.