Verificando a boa formação de modelos GODA

Detalhes bibliográficos
Autor(a) principal: Solano, Gabriela Félix
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/15776
Resumo: Monografia (graduação)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2016.
id UNB-2_31ae9fba4898e1054515ad6d13bbb4df
oai_identifier_str oai:bdm.unb.br:10483/15776
network_acronym_str UNB-2
network_name_str Biblioteca Digital de Monografias da UnB
repository_id_str 11571
spelling Solano, Gabriela FélixRodrigues, Genaína NunesSOLANO, Gabriela Félix. Verificando a boa formação de modelos GODA. 2016. ix, 62 f., il. Monografia (Bacharelado em Ciência da Computação)—Universidade de Brasília, Brasília, 2016.http://bdm.unb.br/handle/10483/15776Monografia (graduação)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2016.O framework GODA (Goal-Oriented Dependability Analysis) realiza análise de dependabilidade em modelos orientados a objetivos. Uma etapa importante é o processo de geração automática de modelo DTMC (Discrete-Time Markov Chains) a partir de um modelo CRGM (Contextual and Runtime Goal Model). O modelo CRGM apresenta notações específicas não testadas. Erros neste modelo podem acarretar em problemas na geração do modelo DTMC. Como o GODA é integrado à diferentes ferramentas, a atividade de teste funcional consegue verificar a funcionalidade geral deste framework. Esse trabalho teve como objetivo o desenvolvimento de uma suíte de testes que verifique a boa formação dos modelos CRGM. Para isso, foi escolhida a abordagem de teste funcional, utilizando o critério Teste Funcional Sistemático. A partir da especificação do programa, classes de equivalência foram definidas e, em seguidas, casos de teste foram identificados. A implementação dos testes foi feita utilizando a linguagem de programação Java, e o conjunto de testes foi automatizado utilizando a ferramenta JUnit. Os resultados mostraram falhas na validação de anotações utilizadas no modelo CRGM. O desenvolvimento da suíte de testes proposta foi importante para expor problemas que podem acarretar numa geração de modelos DTMC incorretos, devido a erros no CRGM.Submitted by Aline Almeida (alinealmeida@bce.unb.br) on 2017-01-11T12:40:44Z No. of bitstreams: 3 license_text: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) 2016_GabrielaFelixSolano_tcc.pdf: 3849881 bytes, checksum: 505416e5c841681a0bfd3b7a02b72617 (MD5)Approved for entry into archive by Luanna Maia (luanna@bce.unb.br) on 2017-01-17T13:53:12Z (GMT) No. of bitstreams: 3 license_text: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) 2016_GabrielaFelixSolano_tcc.pdf: 3849881 bytes, checksum: 505416e5c841681a0bfd3b7a02b72617 (MD5)Made available in DSpace on 2017-01-17T13:53:12Z (GMT). No. of bitstreams: 3 license_text: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) 2016_GabrielaFelixSolano_tcc.pdf: 3849881 bytes, checksum: 505416e5c841681a0bfd3b7a02b72617 (MD5)GODA (Goal-Oriented Dependability Analysis) framework performs dependability analysis on goal models. An important step is the CRGM (Contextual and Runtime Goal Model) to DTMC (Discrete-Time Markov Chains) automated code generation. CRGM has untested notations. Errors in this model could result in problems during the DTMC model generation. Since GODA integrates many different tools, functional testing activity can control the overall functionality of this framework. The aim of this work was the development of a test suit that verifies well formedness of the CRGM model. The functional testing approach was chosen, using the Systematic Functional Testing criterion. From de software specification, equivalence classes were defined and then test cases were identified. The tests were implemented in Java, and automated using JUnit. The results showed validation failures of CRGM notes. The development of the test suit proposed was important to expose problems that can lead to incorrect DTMC models due to errors in CRGM.NET framework (Tecnologia de rede de computador)FrameworkVerificando a boa formação de modelos GODAinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesis2017-01-17T13:53:12Z2017-01-17T13:53:12Z2016-07-28info:eu-repo/semantics/openAccessporreponame:Biblioteca Digital de Monografias da UnBinstname:Universidade de Brasília (UnB)instacron:UNBORIGINAL2016_GabrielaFelixSolano_tcc.pdf2016_GabrielaFelixSolano_tcc.pdfapplication/pdf3849881http://bdm.unb.br/xmlui/bitstream/10483/15776/1/2016_GabrielaFelixSolano_tcc.pdf505416e5c841681a0bfd3b7a02b72617MD51CC-LICENSElicense_urllicense_urltext/plain49http://bdm.unb.br/xmlui/bitstream/10483/15776/2/license_url4afdbb8c545fd630ea7db775da747b2fMD52license_textlicense_textapplication/octet-stream0http://bdm.unb.br/xmlui/bitstream/10483/15776/3/license_textd41d8cd98f00b204e9800998ecf8427eMD53license_rdflicense_rdfapplication/octet-stream0http://bdm.unb.br/xmlui/bitstream/10483/15776/4/license_rdfd41d8cd98f00b204e9800998ecf8427eMD54LICENSElicense.txtlicense.txttext/plain1758http://bdm.unb.br/xmlui/bitstream/10483/15776/5/license.txt48fee5d355e169b5219b5efc5a9ad174MD5510483/157762017-01-17 11:53:12.699oai:bdm.unb.br:10483/15776w4kgbmVjZXNzw6FyaW8gY29uY29yZGFyIGNvbSBhIGxpY2Vuw6dhIGRlIGRpc3RyaWJ1acOnw6NvIG7Do28tZXhjbHVzaXZhLAphbnRlcyBxdWUgbyBkb2N1bWVudG8gcG9zc2EgYXBhcmVjZXIgbm8gUmVwb3NpdMOzcmlvLiBQb3IgZmF2b3IsIGxlaWEgYQpsaWNlbsOnYSBhdGVudGFtZW50ZS4gQ2FzbyBuZWNlc3NpdGUgZGUgYWxndW0gZXNjbGFyZWNpbWVudG8gZW50cmUgZW0KY29udGF0byBhdHJhdsOpcyBkZTogYmRtQGJjZS51bmIuYnIgb3UgMzEwNy0yNjg3LgoKTElDRU7Dh0EgREUgRElTVFJJQlVJw4fDg08gTsODTy1FWENMVVNJVkEKCkFvIGFzc2luYXIgZSBlbnRyZWdhciBlc3RhIGxpY2Vuw6dhLCBvL2EgU3IuL1NyYS4gKGF1dG9yIG91IGRldGVudG9yIGRvcwpkaXJlaXRvcyBkZSBhdXRvcik6CgphKSBDb25jZWRlIMOgIFVuaXZlcnNpZGFkZSBkZSBCcmFzw61saWEgbyBkaXJlaXRvIG7Do28tZXhjbHVzaXZvIGRlCnJlcHJvZHV6aXIsIGNvbnZlcnRlciAoY29tbyBkZWZpbmlkbyBhYmFpeG8pLCBjb211bmljYXIgZS9vdQpkaXN0cmlidWlyIG8gZG9jdW1lbnRvIGVudHJlZ3VlIChpbmNsdWluZG8gbyByZXN1bW8vYWJzdHJhY3QpIGVtCmZvcm1hdG8gZGlnaXRhbCBvdSBpbXByZXNzbyBlIGVtIHF1YWxxdWVyIG1laW8uCgpiKSBEZWNsYXJhIHF1ZSBvIGRvY3VtZW50byBlbnRyZWd1ZSDDqSBzZXUgdHJhYmFsaG8gb3JpZ2luYWwsIGUgcXVlCmRldMOpbSBvIGRpcmVpdG8gZGUgY29uY2VkZXIgb3MgZGlyZWl0b3MgY29udGlkb3MgbmVzdGEgbGljZW7Dp2EuIERlY2xhcmEKdGFtYsOpbSBxdWUgYSBlbnRyZWdhIGRvIGRvY3VtZW50byBuw6NvIGluZnJpbmdlLCB0YW50byBxdWFudG8gbGhlIMOpCnBvc3PDrXZlbCBzYWJlciwgb3MgZGlyZWl0b3MgZGUgcXVhbHF1ZXIgb3V0cmEgcGVzc29hIG91IGVudGlkYWRlLgoKYykgU2UgbyBkb2N1bWVudG8gZW50cmVndWUgY29udMOpbSBtYXRlcmlhbCBkbyBxdWFsIG7Do28gZGV0w6ltIG9zCmRpcmVpdG9zIGRlIGF1dG9yLCBkZWNsYXJhIHF1ZSBvYnRldmUgYXV0b3JpemHDp8OjbyBkbyBkZXRlbnRvciBkb3MKZGlyZWl0b3MgZGUgYXV0b3IgcGFyYSBjb25jZWRlciDDoCBVbml2ZXJzaWRhZGUgZGUgQnJhc8OtbGlhIG9zIGRpcmVpdG9zCnJlcXVlcmlkb3MgcG9yIGVzdGEgbGljZW7Dp2EsIGUgcXVlIGVzc2UgbWF0ZXJpYWwgY3Vqb3MgZGlyZWl0b3Mgc8OjbyBkZQp0ZXJjZWlyb3MgZXN0w6EgY2xhcmFtZW50ZSBpZGVudGlmaWNhZG8gZSByZWNvbmhlY2lkbyBubyB0ZXh0byBvdQpjb250ZcO6ZG8gZG8gZG9jdW1lbnRvIGVudHJlZ3VlLgoKU2UgbyBkb2N1bWVudG8gZW50cmVndWUgw6kgYmFzZWFkbyBlbSB0cmFiYWxobyBmaW5hbmNpYWRvIG91IGFwb2lhZG8KcG9yIG91dHJhIGluc3RpdHVpw6fDo28gcXVlIG7Do28gYSBVbml2ZXJzaWRhZGUgZGUgQnJhc8OtbGlhLCBkZWNsYXJhIHF1ZQpjdW1wcml1IHF1YWlzcXVlciBvYnJpZ2HDp8O1ZXMgZXhpZ2lkYXMgcGVsbyByZXNwZWN0aXZvIGNvbnRyYXRvIG91CmFjb3Jkby4KCkEgVW5pdmVyc2lkYWRlIGRlIEJyYXPDrWxpYSBpZGVudGlmaWNhcsOhIGNsYXJhbWVudGUgbyhzKSBzZXUgKHMpIG5vbWUgKHMpCmNvbW8gbyAocykgYXV0b3IgKGVzKSBvdSBkZXRlbnRvciAoZXMpIGRvcyBkaXJlaXRvcyBkbyBkb2N1bWVudG8KZW50cmVndWUsIGUgbsOjbyBmYXLDoSBxdWFscXVlciBhbHRlcmHDp8OjbywgcGFyYSBhbMOpbSBkYXMgcGVybWl0aWRhcyBwb3IKZXN0YSBsaWNlbsOnYS4KBiblioteca Digital de Monografiahttps://bdm.unb.br/PUBhttp://bdm.unb.br/oai/requestbdm@bce.unb.br||patricia@bce.unb.bropendoar:115712017-01-17T13:53:12Biblioteca Digital de Monografias da UnB - Universidade de Brasília (UnB)false
dc.title.pt_BR.fl_str_mv Verificando a boa formação de modelos GODA
title Verificando a boa formação de modelos GODA
spellingShingle Verificando a boa formação de modelos GODA
Solano, Gabriela Félix
NET framework (Tecnologia de rede de computador)
Framework
title_short Verificando a boa formação de modelos GODA
title_full Verificando a boa formação de modelos GODA
title_fullStr Verificando a boa formação de modelos GODA
title_full_unstemmed Verificando a boa formação de modelos GODA
title_sort Verificando a boa formação de modelos GODA
author Solano, Gabriela Félix
author_facet Solano, Gabriela Félix
author_role author
dc.contributor.author.fl_str_mv Solano, Gabriela Félix
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 NET framework (Tecnologia de rede de computador)
Framework
topic NET framework (Tecnologia de rede de computador)
Framework
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-07-28
dc.date.accessioned.fl_str_mv 2017-01-17T13:53:12Z
dc.date.available.fl_str_mv 2017-01-17T13:53:12Z
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 SOLANO, Gabriela Félix. Verificando a boa formação de modelos GODA. 2016. ix, 62 f., il. 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/15776
identifier_str_mv SOLANO, Gabriela Félix. Verificando a boa formação de modelos GODA. 2016. ix, 62 f., il. Monografia (Bacharelado em Ciência da Computação)—Universidade de Brasília, Brasília, 2016.
url http://bdm.unb.br/handle/10483/15776
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/15776/1/2016_GabrielaFelixSolano_tcc.pdf
http://bdm.unb.br/xmlui/bitstream/10483/15776/2/license_url
http://bdm.unb.br/xmlui/bitstream/10483/15776/3/license_text
http://bdm.unb.br/xmlui/bitstream/10483/15776/4/license_rdf
http://bdm.unb.br/xmlui/bitstream/10483/15776/5/license.txt
bitstream.checksum.fl_str_mv 505416e5c841681a0bfd3b7a02b72617
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_ 1801493018397638656

Registros relacionados