Um Técnico de Tecnologia da Informação da UFABC está realizando a manutenção do sistema acadêmico utilizado para matrículas online. Após adicionar um novo módulo para emissão de histórico escolar, ele precisa garantir que funcionalidades já existentes, como matrícula em disciplinas e consulta de notas, continuem funcionando corretamente, sem apresentar erros decorrentes das alterações realizadas no código. Qual tipo de teste de software ele deverá executar para garantir que as novas mudanças não quebrem funcionalidades já implementadas? 

Na Engenharia de Software, a especificação de requisitos é o processo de documentar, de forma clara e consistente, o que o sistema deve fazer, garantindo compreensão mútua entre usuários e desenvolvedores. Nesse sentido, assinale a alternativa que NÃO corresponde a um tipo de especificação de requisitos utilizado nesse processo.