As atividades de garantia de qualidade de software são atividades realizadas no final do processo de desenvolvimento, de forma a verificar se o sistema de software atende seus requisitos propostos.

Confiabilidade de software é definida em termos estatísticos como a probabilidade de operação livre de falhas de um programa de computador num ambiente especificado, durante um tempo especificado.

A norma ISO 9001 é a norma de garantia da qualidade que se aplica à engenharia de software. Ela contém um conjunto de requisitos que devem estar presentes em um sistema efetivo de garantia da qualidade.

O plano de garantia de qualidade de software fornece um roteiro para a instituição da garantia de qualidade de software e serve como um gabarito para as atividades que são instituídas para cada projeto de software.

Revisões técnicas formais visam descobrir erros, verificar se o sistema de software satisfaz seus requisitos, garantir que o sistema de software tenha sido representado com padrões predefinidos, conseguir software que seja desenvolvido de modo uniforme e tornar os projetos mais administráveis.