Vos EN
O desenvolvimento de grandes sistemas de informação é um processo complexo e requer diversos nı́veis de abstracção. Um primeiro passo é a especificação do problema de uma forma rigorosa. Após a especificação rigorosa do problema, é possı́vel efectuar provas de correcção do mesmo ou, caso este esteja incorrecto, descobrir falhas que de outra forma seriam difı́ceis de detectar. Depois, dever-se-á começar a codificar a solução e a testá-la simultaneamente por forma a detectar os erros o mais cedo possı́vel.
O projecto de Testes e Validação de Software consiste no desenho de casos de teste a partir de uma especificação disponibilizada. Esta especificação diz respeito a algumas entidades do sistema informático de um operador de telecomunicações móveis (designado como Vos).
Este projecto tem como objectivo principal de aprendizagem que os alunos ganhem experiência no desenho de casos de testes ao aplicarem os padrões de teste leccionados nas aulas teóricas a um conjunto de classes e métodos cujo comportamento está descrito neste documento.