Uma proposta para a otimização de análise de cenários implícitos

Detalhes bibliográficos
Autor(a) principal: Lima, Filipe Ponte
Data de Publicação: 2016
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Biblioteca Digital de Monografias da UnB
Texto Completo: http://bdm.unb.br/handle/10483/15737
Resumo: Monografia (graduação)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2016.
id UNB-2_15dbd5bcc7ab2f8b38f34597732251b1
oai_identifier_str oai:bdm.unb.br:10483/15737
network_acronym_str UNB-2
network_name_str Biblioteca Digital de Monografias da UnB
repository_id_str 11571
spelling Lima, Filipe PonteRodrigues, Genaína NunesLIMA, Filipe Ponte. Uma proposta para a otimização de análise de cenários implícitos. 2016. viii, 46 f. Monografia (Bacharelado em Ciência da Computação)—Universidade de Brasília, Brasília, 2016.http://bdm.unb.br/handle/10483/15737Monografia (graduação)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2016.Para se alcançar a con abilidade de um sistema é necessário se levar em conta todas as fases de desenvolvimento do sistema. A modelagem por cenários tem sido considerada uma forma e caz de se modelar e analisar o comportamento de um sistema nos estágios iniciais do ciclo de desenvolvimento. Cenários implícitos são comportamentos inesperados, gerados quando componentes de sistemas concorrentes se comunicam de uma forma não descrita na especi cação do software. A ferramenta LTSA nos permite identi car cenários implícitos para este m, porém, a detecção de cenários implícitos muitas vezes se torna onerosa e com resultados repetitivos. Este projeto foi desenvolvido para tornar possível o agrupamento dos cenários implícitos em famílias de maneira automática e identi cá-los iterativamente. Isso melhora a interpretação do resultado da análise e torna o processo de análise de con abilidade mais fácil e e ciente.Submitted by Aline Almeida (alinealmeida@bce.unb.br) on 2016-10-07T13:45:30Z No. of bitstreams: 3 license_text: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) 2016_FilipePonteLima_tcc.pdf: 870908 bytes, checksum: 8ea3515e20767967f8b2ce5daa415032 (MD5)Approved for entry into archive by Luanna Maia (luanna@bce.unb.br) on 2017-01-16T13:10:26Z (GMT) No. of bitstreams: 3 license_text: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) 2016_FilipePonteLima_tcc.pdf: 870908 bytes, checksum: 8ea3515e20767967f8b2ce5daa415032 (MD5)Made available in DSpace on 2017-01-16T13:10:26Z (GMT). No. of bitstreams: 3 license_text: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) 2016_FilipePonteLima_tcc.pdf: 870908 bytes, checksum: 8ea3515e20767967f8b2ce5daa415032 (MD5)To reach the reliability of a system it is necessary to take into account all the development stages of the system. Scenario-based speci cation has been considered an e ective way of modeling and analyzing the system's behavior in the initial stages of the development cycle. Implied Scenarios are unexpected behaviors, generated when components of concurrent systems communicate in such a way that was not described in the behavior model of the software. The LTSA tool allow us to identify implied scenarios to this mean, but the detection of implied scenarios many times becomes laborious and with repetitive results. This project was developed to enable the grouping of the implied scenarios in families automatically and identify them iteratively. This improves the interpretation of the analysis result and makes the process of reliability analysis easier and more e cient.SoftwareSistemas de computação interativosUma proposta para a otimização de análise de cenários implícitosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesis2017-01-16T13:10:26Z2017-01-16T13:10:26Z2016-08-03info:eu-repo/semantics/openAccessporreponame:Biblioteca Digital de Monografias da UnBinstname:Universidade de Brasília (UnB)instacron:UNBORIGINAL2016_FilipePonteLima_tcc.pdf2016_FilipePonteLima_tcc.pdfapplication/pdf870908http://bdm.unb.br/xmlui/bitstream/10483/15737/1/2016_FilipePonteLima_tcc.pdf8ea3515e20767967f8b2ce5daa415032MD51CC-LICENSElicense_urllicense_urltext/plain49http://bdm.unb.br/xmlui/bitstream/10483/15737/2/license_url4afdbb8c545fd630ea7db775da747b2fMD52license_textlicense_textapplication/octet-stream0http://bdm.unb.br/xmlui/bitstream/10483/15737/3/license_textd41d8cd98f00b204e9800998ecf8427eMD53license_rdflicense_rdfapplication/octet-stream0http://bdm.unb.br/xmlui/bitstream/10483/15737/4/license_rdfd41d8cd98f00b204e9800998ecf8427eMD54LICENSElicense.txtlicense.txttext/plain1758http://bdm.unb.br/xmlui/bitstream/10483/15737/5/license.txt48fee5d355e169b5219b5efc5a9ad174MD5510483/157372017-01-16 11:10:26.309oai:bdm.unb.br:10483/15737w4kgbmVjZXNzw6FyaW8gY29uY29yZGFyIGNvbSBhIGxpY2Vuw6dhIGRlIGRpc3RyaWJ1acOnw6NvIG7Do28tZXhjbHVzaXZhLAphbnRlcyBxdWUgbyBkb2N1bWVudG8gcG9zc2EgYXBhcmVjZXIgbm8gUmVwb3NpdMOzcmlvLiBQb3IgZmF2b3IsIGxlaWEgYQpsaWNlbsOnYSBhdGVudGFtZW50ZS4gQ2FzbyBuZWNlc3NpdGUgZGUgYWxndW0gZXNjbGFyZWNpbWVudG8gZW50cmUgZW0KY29udGF0byBhdHJhdsOpcyBkZTogYmRtQGJjZS51bmIuYnIgb3UgMzEwNy0yNjg3LgoKTElDRU7Dh0EgREUgRElTVFJJQlVJw4fDg08gTsODTy1FWENMVVNJVkEKCkFvIGFzc2luYXIgZSBlbnRyZWdhciBlc3RhIGxpY2Vuw6dhLCBvL2EgU3IuL1NyYS4gKGF1dG9yIG91IGRldGVudG9yIGRvcwpkaXJlaXRvcyBkZSBhdXRvcik6CgphKSBDb25jZWRlIMOgIFVuaXZlcnNpZGFkZSBkZSBCcmFzw61saWEgbyBkaXJlaXRvIG7Do28tZXhjbHVzaXZvIGRlCnJlcHJvZHV6aXIsIGNvbnZlcnRlciAoY29tbyBkZWZpbmlkbyBhYmFpeG8pLCBjb211bmljYXIgZS9vdQpkaXN0cmlidWlyIG8gZG9jdW1lbnRvIGVudHJlZ3VlIChpbmNsdWluZG8gbyByZXN1bW8vYWJzdHJhY3QpIGVtCmZvcm1hdG8gZGlnaXRhbCBvdSBpbXByZXNzbyBlIGVtIHF1YWxxdWVyIG1laW8uCgpiKSBEZWNsYXJhIHF1ZSBvIGRvY3VtZW50byBlbnRyZWd1ZSDDqSBzZXUgdHJhYmFsaG8gb3JpZ2luYWwsIGUgcXVlCmRldMOpbSBvIGRpcmVpdG8gZGUgY29uY2VkZXIgb3MgZGlyZWl0b3MgY29udGlkb3MgbmVzdGEgbGljZW7Dp2EuIERlY2xhcmEKdGFtYsOpbSBxdWUgYSBlbnRyZWdhIGRvIGRvY3VtZW50byBuw6NvIGluZnJpbmdlLCB0YW50byBxdWFudG8gbGhlIMOpCnBvc3PDrXZlbCBzYWJlciwgb3MgZGlyZWl0b3MgZGUgcXVhbHF1ZXIgb3V0cmEgcGVzc29hIG91IGVudGlkYWRlLgoKYykgU2UgbyBkb2N1bWVudG8gZW50cmVndWUgY29udMOpbSBtYXRlcmlhbCBkbyBxdWFsIG7Do28gZGV0w6ltIG9zCmRpcmVpdG9zIGRlIGF1dG9yLCBkZWNsYXJhIHF1ZSBvYnRldmUgYXV0b3JpemHDp8OjbyBkbyBkZXRlbnRvciBkb3MKZGlyZWl0b3MgZGUgYXV0b3IgcGFyYSBjb25jZWRlciDDoCBVbml2ZXJzaWRhZGUgZGUgQnJhc8OtbGlhIG9zIGRpcmVpdG9zCnJlcXVlcmlkb3MgcG9yIGVzdGEgbGljZW7Dp2EsIGUgcXVlIGVzc2UgbWF0ZXJpYWwgY3Vqb3MgZGlyZWl0b3Mgc8OjbyBkZQp0ZXJjZWlyb3MgZXN0w6EgY2xhcmFtZW50ZSBpZGVudGlmaWNhZG8gZSByZWNvbmhlY2lkbyBubyB0ZXh0byBvdQpjb250ZcO6ZG8gZG8gZG9jdW1lbnRvIGVudHJlZ3VlLgoKU2UgbyBkb2N1bWVudG8gZW50cmVndWUgw6kgYmFzZWFkbyBlbSB0cmFiYWxobyBmaW5hbmNpYWRvIG91IGFwb2lhZG8KcG9yIG91dHJhIGluc3RpdHVpw6fDo28gcXVlIG7Do28gYSBVbml2ZXJzaWRhZGUgZGUgQnJhc8OtbGlhLCBkZWNsYXJhIHF1ZQpjdW1wcml1IHF1YWlzcXVlciBvYnJpZ2HDp8O1ZXMgZXhpZ2lkYXMgcGVsbyByZXNwZWN0aXZvIGNvbnRyYXRvIG91CmFjb3Jkby4KCkEgVW5pdmVyc2lkYWRlIGRlIEJyYXPDrWxpYSBpZGVudGlmaWNhcsOhIGNsYXJhbWVudGUgbyhzKSBzZXUgKHMpIG5vbWUgKHMpCmNvbW8gbyAocykgYXV0b3IgKGVzKSBvdSBkZXRlbnRvciAoZXMpIGRvcyBkaXJlaXRvcyBkbyBkb2N1bWVudG8KZW50cmVndWUsIGUgbsOjbyBmYXLDoSBxdWFscXVlciBhbHRlcmHDp8OjbywgcGFyYSBhbMOpbSBkYXMgcGVybWl0aWRhcyBwb3IKZXN0YSBsaWNlbsOnYS4KBiblioteca Digital de Monografiahttps://bdm.unb.br/PUBhttp://bdm.unb.br/oai/requestbdm@bce.unb.br||patricia@bce.unb.bropendoar:115712017-01-16T13:10:26Biblioteca Digital de Monografias da UnB - Universidade de Brasília (UnB)false
dc.title.pt_BR.fl_str_mv Uma proposta para a otimização de análise de cenários implícitos
title Uma proposta para a otimização de análise de cenários implícitos
spellingShingle Uma proposta para a otimização de análise de cenários implícitos
Lima, Filipe Ponte
Software
Sistemas de computação interativos
title_short Uma proposta para a otimização de análise de cenários implícitos
title_full Uma proposta para a otimização de análise de cenários implícitos
title_fullStr Uma proposta para a otimização de análise de cenários implícitos
title_full_unstemmed Uma proposta para a otimização de análise de cenários implícitos
title_sort Uma proposta para a otimização de análise de cenários implícitos
author Lima, Filipe Ponte
author_facet Lima, Filipe Ponte
author_role author
dc.contributor.author.fl_str_mv Lima, Filipe Ponte
dc.contributor.advisor1.fl_str_mv Rodrigues, Genaína Nunes
contributor_str_mv Rodrigues, Genaína Nunes
dc.subject.keyword.pt_BR.fl_str_mv Software
Sistemas de computação interativos
topic Software
Sistemas de computação interativos
description Monografia (graduação)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2016.
publishDate 2016
dc.date.submitted.none.fl_str_mv 2016-08-03
dc.date.accessioned.fl_str_mv 2017-01-16T13:10:26Z
dc.date.available.fl_str_mv 2017-01-16T13:10:26Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv LIMA, Filipe Ponte. Uma proposta para a otimização de análise de cenários implícitos. 2016. viii, 46 f. Monografia (Bacharelado em Ciência da Computação)—Universidade de Brasília, Brasília, 2016.
dc.identifier.uri.fl_str_mv http://bdm.unb.br/handle/10483/15737
identifier_str_mv LIMA, Filipe Ponte. Uma proposta para a otimização de análise de cenários implícitos. 2016. viii, 46 f. Monografia (Bacharelado em Ciência da Computação)—Universidade de Brasília, Brasília, 2016.
url http://bdm.unb.br/handle/10483/15737
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.source.none.fl_str_mv reponame:Biblioteca Digital de Monografias da UnB
instname:Universidade de Brasília (UnB)
instacron:UNB
instname_str Universidade de Brasília (UnB)
instacron_str UNB
institution UNB
reponame_str Biblioteca Digital de Monografias da UnB
collection Biblioteca Digital de Monografias da UnB
bitstream.url.fl_str_mv http://bdm.unb.br/xmlui/bitstream/10483/15737/1/2016_FilipePonteLima_tcc.pdf
http://bdm.unb.br/xmlui/bitstream/10483/15737/2/license_url
http://bdm.unb.br/xmlui/bitstream/10483/15737/3/license_text
http://bdm.unb.br/xmlui/bitstream/10483/15737/4/license_rdf
http://bdm.unb.br/xmlui/bitstream/10483/15737/5/license.txt
bitstream.checksum.fl_str_mv 8ea3515e20767967f8b2ce5daa415032
4afdbb8c545fd630ea7db775da747b2f
d41d8cd98f00b204e9800998ecf8427e
d41d8cd98f00b204e9800998ecf8427e
48fee5d355e169b5219b5efc5a9ad174
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Monografias da UnB - Universidade de Brasília (UnB)
repository.mail.fl_str_mv bdm@bce.unb.br||patricia@bce.unb.br
_version_ 1813907898352271360

Registros relacionados