PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.
Autor(a) principal: | |
---|---|
Data de Publicação: | 2000 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da USP |
Texto Completo: | http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19022001-095632/ |
Resumo: | Sistemas Reativos caracterizam-se por reagir continuamente a estímulos externos e internos e controlar atividades humanas. A ocorrência de falhas nesses sistemas pode resultar em grandes prejuízos. Dessa forma, o uso de métodos e técnicas rigorosas para a especificação do comportamento desse tipo de sistema é essencial, buscando-se evitar inconsistências e ambigüidades no modelo. Redes de Petri é uma das técnicas que têm sido usadas para a especificação de sistemas reativos. Teste e validação são atividades essenciais na produção dessa classe de sistemas. Por isso, o critério Análise de Mutantes, um critério de teste baseado em erros normalmente aplicado ao teste de programas, tem sido explorado no contexto de teste de especificações de sistemas reativos. É necessário o desenvolvimento de ferramentas que apóiem sua utilização, visto que a aplicação manual do critério é impraticável. O objetivo deste trabalho é a implementação da ferramenta Proteum-RS/PN, que apóia a aplicação do critério Análise de Mutantes para validar especificações baseadas em Redes de Petri. |
id |
USP_ad042ef25005d007b985af439ae1fd8c |
---|---|
oai_identifier_str |
oai:teses.usp.br:tde-19022001-095632 |
network_acronym_str |
USP |
network_name_str |
Biblioteca Digital de Teses e Dissertações da USP |
repository_id_str |
2721 |
spelling |
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.Proteum-RS/PN: a mutation-based tool for validating Petri nets.análise de mutantesengenharia de softwaremutation analysisPetri netsRedes de Petrisoftware engineeringtest and validationteste e validaçãoSistemas Reativos caracterizam-se por reagir continuamente a estímulos externos e internos e controlar atividades humanas. A ocorrência de falhas nesses sistemas pode resultar em grandes prejuízos. Dessa forma, o uso de métodos e técnicas rigorosas para a especificação do comportamento desse tipo de sistema é essencial, buscando-se evitar inconsistências e ambigüidades no modelo. Redes de Petri é uma das técnicas que têm sido usadas para a especificação de sistemas reativos. Teste e validação são atividades essenciais na produção dessa classe de sistemas. Por isso, o critério Análise de Mutantes, um critério de teste baseado em erros normalmente aplicado ao teste de programas, tem sido explorado no contexto de teste de especificações de sistemas reativos. É necessário o desenvolvimento de ferramentas que apóiem sua utilização, visto que a aplicação manual do critério é impraticável. O objetivo deste trabalho é a implementação da ferramenta Proteum-RS/PN, que apóia a aplicação do critério Análise de Mutantes para validar especificações baseadas em Redes de Petri. Reactive Systems are characterized by continuously reacting to external as well as internal stimuli and controlling human activities. In these systems, faults can result in large losses. The use of rigorous methods and techniques for the specification of their behavior is essential to avoid inconsistencies and ambiguities. Petri Nets have been used for reactive-system specification. The test and validation of the underlying model are essential activities for the production of such systems. Thus, the Mutant Analysis -- a fault-based criterion usually used for program testing -- has been explored in the context of specification testing. The development of tools to support its application is necessary, since its manual application is unrealistic. The objective of this work is the implementation of Proteum-RS/PN, a testing tool which supports the application of Mutant Analysis criterion to validate Petri-Nets based specifications. Biblioteca Digitais de Teses e Dissertações da USPMaldonado, Jose CarlosSimão, Adenilso da Silva2000-03-17info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/55/55134/tde-19022001-095632/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo somente para a comunidade da Universidade de São Paulo.info:eu-repo/semantics/openAccesspor2016-07-28T16:08:16Zoai:teses.usp.br:tde-19022001-095632Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212016-07-28T16:08:16Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false |
dc.title.none.fl_str_mv |
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes. Proteum-RS/PN: a mutation-based tool for validating Petri nets. |
title |
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes. |
spellingShingle |
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes. Simão, Adenilso da Silva análise de mutantes engenharia de software mutation analysis Petri nets Redes de Petri software engineering test and validation teste e validação |
title_short |
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes. |
title_full |
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes. |
title_fullStr |
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes. |
title_full_unstemmed |
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes. |
title_sort |
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes. |
author |
Simão, Adenilso da Silva |
author_facet |
Simão, Adenilso da Silva |
author_role |
author |
dc.contributor.none.fl_str_mv |
Maldonado, Jose Carlos |
dc.contributor.author.fl_str_mv |
Simão, Adenilso da Silva |
dc.subject.por.fl_str_mv |
análise de mutantes engenharia de software mutation analysis Petri nets Redes de Petri software engineering test and validation teste e validação |
topic |
análise de mutantes engenharia de software mutation analysis Petri nets Redes de Petri software engineering test and validation teste e validação |
description |
Sistemas Reativos caracterizam-se por reagir continuamente a estímulos externos e internos e controlar atividades humanas. A ocorrência de falhas nesses sistemas pode resultar em grandes prejuízos. Dessa forma, o uso de métodos e técnicas rigorosas para a especificação do comportamento desse tipo de sistema é essencial, buscando-se evitar inconsistências e ambigüidades no modelo. Redes de Petri é uma das técnicas que têm sido usadas para a especificação de sistemas reativos. Teste e validação são atividades essenciais na produção dessa classe de sistemas. Por isso, o critério Análise de Mutantes, um critério de teste baseado em erros normalmente aplicado ao teste de programas, tem sido explorado no contexto de teste de especificações de sistemas reativos. É necessário o desenvolvimento de ferramentas que apóiem sua utilização, visto que a aplicação manual do critério é impraticável. O objetivo deste trabalho é a implementação da ferramenta Proteum-RS/PN, que apóia a aplicação do critério Análise de Mutantes para validar especificações baseadas em Redes de Petri. |
publishDate |
2000 |
dc.date.none.fl_str_mv |
2000-03-17 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19022001-095632/ |
url |
http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19022001-095632/ |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
|
dc.rights.driver.fl_str_mv |
Liberar o conteúdo somente para a comunidade da Universidade de São Paulo. info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Liberar o conteúdo somente para a comunidade da Universidade de São Paulo. |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.coverage.none.fl_str_mv |
|
dc.publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da USP instname:Universidade de São Paulo (USP) instacron:USP |
instname_str |
Universidade de São Paulo (USP) |
instacron_str |
USP |
institution |
USP |
reponame_str |
Biblioteca Digital de Teses e Dissertações da USP |
collection |
Biblioteca Digital de Teses e Dissertações da USP |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP) |
repository.mail.fl_str_mv |
virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br |
_version_ |
1815257125047238656 |