Especificação formal de restrições de projeto para frameworks orientados a objetos

Detalhes bibliográficos
Autor(a) principal: Rechia, Douglas Nascimento
Data de Publicação: 2005
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: http://repositorio.ufsc.br/handle/123456789/101877
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação
id UFSC_db44e5b5d201082b03d5b6501819afe1
oai_identifier_str oai:repositorio.ufsc.br:123456789/101877
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Especificação formal de restrições de projeto para frameworks orientados a objetosInformaticaCiência da computaçãoFramework (Programa de computador)Engenharia de softwareConfiabilidade (Engenharia)Programas de computador -ValidacaoDissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da ComputaçãoUm dos desafios encontrados para a concepção de sistemas a partir de frameworks orientados a objetos é a sua adequada utilização. Utilizar um framework adequadamente para constituir um sistema implica em obedecer às suas restrições, definidas em seu projeto. Dentre as restrições que o desenvolvedor da aplicação sob um framework precisa observar, está a correta ordem de execução de métodos dos objetos disponibilizados pelo framework. Nesse contexto, esse trabalho propõe uma maneira de especificar formalmente as restrições que um framework impõe em termos da ordem em que seus métodos podem ser invocados. A partir da especificação formal, gera-se automaticamente código, baseado no paradigma de desenvolvimento orientado a aspectos, capaz de verificar se as restrições formalmente especificadas estão sendo observadas em tempo de execução. De forma transparente ao usuário do framework e ao desenvolvedor da aplicação final, o código automaticamente gerado instancia uma rede de Petri, a qual será responsável pelo controle do estado de cada objeto especificado e o controle do estado do sistema. Ambos os desenvolvedores são beneficiados: o desenvolvedor do framework não precisa escrever código que testa as restrições do framework e o desenvolvedor da aplicação final será notificado se ele estiver fazendo invocações indevidas a um método. A abordagem formal proposta neste trabalho é aplicada ao TAF, um framework desenvolvido pela Motorola para a criação de casos de teste automatizados para telefones celulares.Florianópolis, SCSilva, Ricardo Pereira eUniversidade Federal de Santa CatarinaRechia, Douglas Nascimento2013-07-15T23:26:53Z2013-07-15T23:26:53Z20052005info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis122 f.| il.application/pdf226611http://repositorio.ufsc.br/handle/123456789/101877porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2013-08-27T20:30:21Zoai:repositorio.ufsc.br:123456789/101877Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732013-08-27T20:30:21Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Especificação formal de restrições de projeto para frameworks orientados a objetos
title Especificação formal de restrições de projeto para frameworks orientados a objetos
spellingShingle Especificação formal de restrições de projeto para frameworks orientados a objetos
Rechia, Douglas Nascimento
Informatica
Ciência da computação
Framework (Programa de computador)
Engenharia de software
Confiabilidade (Engenharia)
Programas de computador -
Validacao
title_short Especificação formal de restrições de projeto para frameworks orientados a objetos
title_full Especificação formal de restrições de projeto para frameworks orientados a objetos
title_fullStr Especificação formal de restrições de projeto para frameworks orientados a objetos
title_full_unstemmed Especificação formal de restrições de projeto para frameworks orientados a objetos
title_sort Especificação formal de restrições de projeto para frameworks orientados a objetos
author Rechia, Douglas Nascimento
author_facet Rechia, Douglas Nascimento
author_role author
dc.contributor.none.fl_str_mv Silva, Ricardo Pereira e
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Rechia, Douglas Nascimento
dc.subject.por.fl_str_mv Informatica
Ciência da computação
Framework (Programa de computador)
Engenharia de software
Confiabilidade (Engenharia)
Programas de computador -
Validacao
topic Informatica
Ciência da computação
Framework (Programa de computador)
Engenharia de software
Confiabilidade (Engenharia)
Programas de computador -
Validacao
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação
publishDate 2005
dc.date.none.fl_str_mv 2005
2005
2013-07-15T23:26:53Z
2013-07-15T23:26:53Z
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 226611
http://repositorio.ufsc.br/handle/123456789/101877
identifier_str_mv 226611
url http://repositorio.ufsc.br/handle/123456789/101877
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 122 f.| il.
application/pdf
dc.publisher.none.fl_str_mv Florianópolis, SC
publisher.none.fl_str_mv Florianópolis, SC
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652354881323008

Registros relacionados