Verificação do Comportamento do Sistema
Testes de Conformidade com Padrões e RFCs (IP)
Verificação do Comportamento do Sistema em Situações Fora do Padrão