Dentro das técnicas de checagem e análise de sistemas podem ser utilizadas:

As inspeções de softwares onde são verificadas as representações do sistema, tais como documento de requisitos e código fonte do projeto

A fase de teste de software envolve a inspeção do programa fonte gerada

As inspeções de softwares que envolvem a execução de uma implementação de software

Os testes de software cuja finalidade é verificar as representações do sistema, como documento de requisitos, e examinar as saídas

Na fase de testes de software cujas inspeções tendem a ser aplicadas em todos os estágios do processo a serem complementadas por alguma análise automática