PROTEUM - RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes.

Detalhes bibliográficos
Autor(a) principal: Sugeta, Tatiana
Data de Publicação: 1999
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-16022001-144357/
Resumo: Atividades de teste no desenvolvimento de sistemas Reativos são de grande relevância, bem como a disponibilidade de ferramentas que apóiem essas atividades, pois falhas nesses sistemas podem causar graves conseqüências econômicas e/ou sociais. A Análise de Mutantes tem sido explorada no teste de especificações do aspecto comportamental de Sistemas Reativos baseadas em Máquinas de Estados Finitos, Statecharts e Redes de Petri. Este trabalho tem como objetivo a implementação da Proteum-RS/ST, que apóia o teste de especificações Statecharts baseada na Análise de Mutantes. Dessa forma, fornecem-se subsídios para se investigar a adequação de critérios tradicionalmente usados no teste de programas, como a Análise de Mutantes, no teste de especificações de Sistemas Reativos, em particular no contexto de especificações baseadas em Statecharts.
id USP_219aff69f1bae7c80840cdc2ffe08e93
oai_identifier_str oai:teses.usp.br:tde-16022001-144357
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling PROTEUM - RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes.análise de mutantesferramenta de testeSistemas reativosstatechartsteste e validaçãoAtividades de teste no desenvolvimento de sistemas Reativos são de grande relevância, bem como a disponibilidade de ferramentas que apóiem essas atividades, pois falhas nesses sistemas podem causar graves conseqüências econômicas e/ou sociais. A Análise de Mutantes tem sido explorada no teste de especificações do aspecto comportamental de Sistemas Reativos baseadas em Máquinas de Estados Finitos, Statecharts e Redes de Petri. Este trabalho tem como objetivo a implementação da Proteum-RS/ST, que apóia o teste de especificações Statecharts baseada na Análise de Mutantes. Dessa forma, fornecem-se subsídios para se investigar a adequação de critérios tradicionalmente usados no teste de programas, como a Análise de Mutantes, no teste de especificações de Sistemas Reativos, em particular no contexto de especificações baseadas em Statecharts.Biblioteca Digitais de Teses e Dissertações da USPMaldonado, Jose CarlosSugeta, Tatiana1999-12-10info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022001-144357/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-16022001-144357Biblioteca 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/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes.
title PROTEUM - RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes.
spellingShingle PROTEUM - RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes.
Sugeta, Tatiana
análise de mutantes
ferramenta de teste
Sistemas reativos
statecharts
teste e validação
title_short PROTEUM - RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes.
title_full PROTEUM - RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes.
title_fullStr PROTEUM - RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes.
title_full_unstemmed PROTEUM - RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes.
title_sort PROTEUM - RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes.
author Sugeta, Tatiana
author_facet Sugeta, Tatiana
author_role author
dc.contributor.none.fl_str_mv Maldonado, Jose Carlos
dc.contributor.author.fl_str_mv Sugeta, Tatiana
dc.subject.por.fl_str_mv análise de mutantes
ferramenta de teste
Sistemas reativos
statecharts
teste e validação
topic análise de mutantes
ferramenta de teste
Sistemas reativos
statecharts
teste e validação
description Atividades de teste no desenvolvimento de sistemas Reativos são de grande relevância, bem como a disponibilidade de ferramentas que apóiem essas atividades, pois falhas nesses sistemas podem causar graves conseqüências econômicas e/ou sociais. A Análise de Mutantes tem sido explorada no teste de especificações do aspecto comportamental de Sistemas Reativos baseadas em Máquinas de Estados Finitos, Statecharts e Redes de Petri. Este trabalho tem como objetivo a implementação da Proteum-RS/ST, que apóia o teste de especificações Statecharts baseada na Análise de Mutantes. Dessa forma, fornecem-se subsídios para se investigar a adequação de critérios tradicionalmente usados no teste de programas, como a Análise de Mutantes, no teste de especificações de Sistemas Reativos, em particular no contexto de especificações baseadas em Statecharts.
publishDate 1999
dc.date.none.fl_str_mv 1999-12-10
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-16022001-144357/
url http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022001-144357/
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_ 1815257012280229888

Registros relacionados