Loading...
Publication
Automatic test definition for high-integrity systems
| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 2.23 MB | Adobe PDF |
Authors
Abstract(s)
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%.
Description
Keywords
Sesnando Testes Automaticamente Software Comboios Ferrovia Locomotiva Requisitos Testes automáticos