Programa executado e verificado cai principalmente sob os testes Fase do Ciclo de Vida de Desenvolvimento de Software (SDLC). Embora os aspectos da verificação possam acontecer mais cedo (por exemplo, revisão do código durante o desenvolvimento), a execução formal e abrangente e a verificação do programa é um componente central do teste. Isso inclui vários tipos de testes, como testes de unidade, teste de integração, teste do sistema e teste de aceitação do usuário.