Selecção de Testes a partir de Redes de Petri Algébricas: um método e uma ferramenta

• Autor(a) principal: Domingues, Rui Gonçalves
• Data de Publicação: 2012
• Tipo de documento: Dissertação
• Idioma: por
• Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
• Texto Completo: http://hdl.handle.net/10362/34458
• topic: Teste baseado em modelos,; Selecção de Testes; SATEL; Redes de Petri algébricas; Engenharia conduzida por modelos; Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

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.