Cunha, João Carlos Costa Faria daSilva, João Gabriel Monteiro Carvalho eJordão, Luís Miguel Coelho2023-08-302023-08-302023-07-032023-05-08http://hdl.handle.net/10400.26/46229A atividade de testes é uma das tarefas mais dispendiosas no ciclo de vida de desenvolvimento de software. No sentido de otimizar o esforço gasto nestas tarefas, foi desenvolvida uma ferramenta, Sesnando, cujo objectivo é interpretar e compilar requisitos de sistema escritos numa linguagem natural controlada e a partir destes gerar automaticamente um conjunto de testes que permitam verificar a implementação destes mesmos requisitos. Durante a fase de interpretação do requisito, o Sesnando age como um validador da sua escrita e fornece mensagens ao utilizador sobre a sua construção. Posteriormente, gera um conjunto de testes para a sua verificação. Neste trabalho, é também feita uma avaliação sobre as capacidades do Sesnando assim como uma análise relativamente aos métodos tradicionais. Os resultados obtidos mostram que é possível reduzir o esforço na atividade de especificação de testes de sistema em até 90%.engSesnandoTestesAutomaticamenteSoftwareComboiosFerroviaLocomotivaRequisitosTestes automáticosmaster thesis203339460