Publicação
Selecção de Testes a partir de Redes de Petri Algébricas: um método e uma ferramenta
| datacite.subject.fos | Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática | pt_PT |
| dc.contributor.advisor | Amaral, Vasco | |
| dc.contributor.author | Domingues, Rui Gonçalves | |
| dc.date.accessioned | 2018-04-13T13:33:57Z | |
| dc.date.available | 2018-04-13T13:33:57Z | |
| dc.date.issued | 2012-03 | |
| dc.date.submitted | 2012 | |
| dc.description.abstract | 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. | pt_PT |
| dc.identifier.uri | http://hdl.handle.net/10362/34458 | |
| dc.language.iso | por | pt_PT |
| dc.subject | Teste baseado em modelos, | pt_PT |
| dc.subject | Selecção de Testes | pt_PT |
| dc.subject | SATEL | pt_PT |
| dc.subject | Redes de Petri algébricas | pt_PT |
| dc.subject | Engenharia conduzida por modelos | pt_PT |
| dc.title | Selecção de Testes a partir de Redes de Petri Algébricas: um método e uma ferramenta | pt_PT |
| dc.type | master thesis | |
| dspace.entity.type | Publication | |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | masterThesis | pt_PT |
| thesis.degree.name | Mestre em Engenharia Informática | pt_PT |