A carregar...
Publicação
Selecção de Testes a partir de Redes de Petri Algébricas: um método e uma ferramenta
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 4.37 MB | Adobe PDF |
Autores
Orientador(es)
Resumo(s)
A abordagem de testes baseados em modelos (MBT) deriva de forma directa do
aproveitamento das metodologias orientadas por modelos e da sua aplicação à disciplina de Teste de software. MBT consiste num processo cujas fases são facilmente
identificáveis como: criação de um modelo do sistema sob teste (SUT), que pode ser
de diversos tipos e que se pretende abstracto em relação ao funcionamento do SUT,
a geração de testes abstractos a partir do modelo e a sua concretização em testes executáveis sobre o sistema, e por fim a execução dos mesmos, a recolha de resultados e respectiva análise.
Nesta dissertação o interesse recai essencialmente sobre a geração de testes abstractos efectuada a partir de modelos comportamentais especificados em APN (Petri nets algébricas), e que modelam algum aspecto comportamental do SUT. No trabalho desta dissertação iremos recorrer a uma linguagem de especificação de padrões de teste - a SATEL ( Semi-Automatic Testing Language) - para fazer a especificação das intenções de teste.
A SATEL consiste numa linguagem baseada em modelos, a qual está desenvolvida
com uma semântica essencialmente denotacional. Esta possibilita ao engenheiro de
teste utilizar o conhecimento que possui sobre o SUT, pois permite a especificação de
intenções de teste sobre um subconjunto dos comportamentos possíveis do SUT. Mais
se acrescenta que é uma linguagem cuja especificação é feita por definição em COOPN (Concurrent Object-Oriented Petri Nets).
Concluindo, com a presente dissertação pretende-se compôr as linguagens SATEL e
APN, e desenvolver não só a semântica operacional desta composição como também a sua implementação através de uma ferramenta de geração de testes para especificações APN, contribuindo assim para reduzir a falta de soluções concretas e funcionais de geração automática de testes a partir da especificação de intenções de testes sobre tipos algébricos.
Descrição
Palavras-chave
Teste baseado em modelos, Selecção de Testes SATEL Redes de Petri algébricas Engenharia conduzida por modelos