Publication
Automatic test definition for high-integrity systems
| dc.contributor.advisor | Cunha, João Carlos Costa Faria da | |
| dc.contributor.advisor | Silva, João Gabriel Monteiro Carvalho e | |
| dc.contributor.author | Jordão, Luís Miguel Coelho | |
| dc.date.accessioned | 2023-08-30T16:04:44Z | |
| dc.date.available | 2023-08-30T16:04:44Z | |
| dc.date.issued | 2023-07-03 | |
| dc.date.submitted | 2023-05-08 | |
| dc.description.abstract | A 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%. | pt_PT |
| dc.identifier.tid | 203339460 | pt_PT |
| dc.identifier.uri | http://hdl.handle.net/10400.26/46229 | |
| dc.language.iso | eng | pt_PT |
| dc.subject | Sesnando | pt_PT |
| dc.subject | Testes | pt_PT |
| dc.subject | Automaticamente | pt_PT |
| dc.subject | Software | pt_PT |
| dc.subject | Comboios | pt_PT |
| dc.subject | Ferrovia | pt_PT |
| dc.subject | Locomotiva | pt_PT |
| dc.subject | Requisitos | pt_PT |
| dc.subject | Testes automáticos | pt_PT |
| dc.title | Automatic test definition for high-integrity systems | pt_PT |
| dc.type | master thesis | |
| dspace.entity.type | Publication | |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | masterThesis | pt_PT |