Os testes formais são verificações executadas em um sistema de software que são baseadas em modelos matemáticos, motivados pela expectativa de que possam contribuir para a confiabilidade e robustez de um projeto executando análises apropriadas.



Assim como em outros segmentos da área de Tecnologia da Informação, é possível obter uma certificação profissional em Testes de Software, tendo inclusive um orgão que gerencia mundial a qualificação profissional neste segmento. Este orgão é o International Software Testing Qualifications Board (ISTQB).



Considerando esse contexto, analise as seguintes afirmativas:



I - A CTFL (Certified Tester Foundation Level) é o primeiro nível de certificação do programa de qualificação profissional em Teste de Software mantido pelo ISTQB.



II - A aplicação prática de um teste formal em um sistema de software não permite a aferição de qualidade do mesmo devido ao alto grau de complexidade da formalização da estrutura de teste.



III - Um caso de testes a partir de especificações formais como: identificação inicial de defeitos em código fonte, definição primária dos usuários do sistema e controle básico de gerenciamento de componentes da aplicação.



IV - O BSTQB (Brazilian Software Testing Qualifications Board) é o representante oficial do ISTQB aqui em nosso país.

Sobre o processo de licenciamento ambiental, assinale a alternativa correta:

Escolha uma:
a.
I e IV apenas. Correto

b.
I, II e III apenas.

c.
I, II e IV apenas.

d.
II e III apenas.

e.
III e IV apenas.