Estratégias comutativas para análise de confiabilidade em linha de produtos de software
Na minha lista:
| Autor principal: | |
|---|---|
| Publication Date: | 2016 |
| Formato: | Master thesis |
| Idioma: | por eng |
| Fonte: | Repositório Institucional da UnB |
| DOI: | http://dx.doi.org/10.26512/2016.11.D.22680 |
| Download full: | http://repositorio.unb.br/handle/10482/22680 http://dx.doi.org/10.26512/2016.11.D.22680 |
Resumo: | Dissertação (mestrado) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2016. |
| _version_ | 1871442307058761728 |
|---|---|
| author | Castro, Thiago Mael de |
| author_browse | Castro, Thiago Mael de |
| author_facet | Castro, Thiago Mael de |
| author_role | author |
| bitstream.checksum.fl_str_mv | fe4d96aa2db1e482634a4417f7749632 030879a11400e4ab80d3f48cf2c68493 |
| bitstream.checksumAlgorithm.fl_str_mv | MD5 MD5 |
| bitstream.url.fl_str_mv | http://repositorio.unb.br/bitstream/10482/22680/1/2016_ThiagoMaeldeCastro.pdf http://repositorio.unb.br/bitstream/10482/22680/2/license.txt |
| collection | Repositório Institucional da UnB |
| contributor_str_mv | Alves, Vander Ramos |
| dc.contributor.advisor1.fl_str_mv | Alves, Vander Ramos |
| dc.contributor.advisorco.none.fl_str_mv | Teixeira, Leopoldo Motta |
| dc.contributor.author.fl_str_mv | Castro, Thiago Mael de |
| dc.date.accessioned.fl_str_mv | 2017-02-20T16:33:40Z |
| dc.date.available.fl_str_mv | 2017-02-20T16:33:40Z |
| dc.date.issued.fl_str_mv | 2017-02-20 |
| dc.date.submitted.none.fl_str_mv | 2016-11-18 |
| dc.identifier.citation.fl_str_mv | CASTRO, Thiago Mael de. Estratégias comutativas para análise de confiabilidade em linha de produtos de software. 2016. xvi, 88 f., il. Dissertação (Mestrado em Informática) — Universidade de Brasília, Brasília, 2016. |
| dc.identifier.doi.none.fl_str_mv | http://dx.doi.org/10.26512/2016.11.D.22680 |
| dc.identifier.uri.fl_str_mv | http://repositorio.unb.br/handle/10482/22680 |
| dc.language.iso.fl_str_mv | por eng |
| dc.rights.driver.fl_str_mv | info:eu-repo/semantics/openAccess |
| dc.source.none.fl_str_mv | reponame:Repositório Institucional da UnB instname:Universidade de Brasília (UnB) instacron:UNB |
| dc.subject.keyword.en.fl_str_mv | Confiabilidade (Engenharia) Engenharia de software |
| dc.title.en.fl_str_mv | Estratégias comutativas para análise de confiabilidade em linha de produtos de software |
| dc.type.driver.fl_str_mv | info:eu-repo/semantics/masterThesis |
| dc.type.status.fl_str_mv | info:eu-repo/semantics/publishedVersion |
| description | Dissertação (mestrado) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2016. |
| eu_rights_str_mv | openAccess |
| format | masterThesis |
| id | UNB_4e4822023152e133a3711200a9f7e41f |
| identifier_str_mv | CASTRO, Thiago Mael de. Estratégias comutativas para análise de confiabilidade em linha de produtos de software. 2016. xvi, 88 f., il. Dissertação (Mestrado em Informática) — Universidade de Brasília, Brasília, 2016. |
| instacron_str | UNB |
| institution | UNB |
| instname_str | Universidade de Brasília (UnB) |
| language | por eng |
| network_acronym_str | UNB |
| network_name_str | Repositório Institucional da UnB |
| oai_identifier_str | oai:repositorio.unb.br:10482/22680 |
| publishDate | 2016 |
| publishDateSort | 2016 |
| reponame_str | Repositório Institucional da UnB |
| repository.mail.fl_str_mv | repositorio@unb.br |
| repository.name.fl_str_mv | Repositório Institucional da UnB - Universidade de Brasília (UnB) |
| repository_id_str | |
| spelling | Castro, Thiago Mael deTeixeira, Leopoldo MottaAlves, Vander Ramos2017-02-20T16:33:40Z2017-02-20T16:33:40Z2017-02-202016-11-18CASTRO, Thiago Mael de. Estratégias comutativas para análise de confiabilidade em linha de produtos de software. 2016. xvi, 88 f., il. Dissertação (Mestrado em Informática) — Universidade de Brasília, Brasília, 2016.http://repositorio.unb.br/handle/10482/22680http://dx.doi.org/10.26512/2016.11.D.22680Dissertação (mestrado) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2016.Engenharia de linha de produtos de software é uma forma de gerenciar sistematicamente a variabilidade e a comunalidade em sistemas de software, possibilitando a síntese automática de programas relacionados (produtos) a partir de um conjunto de artefatos reutilizáveis. No entanto, o número de produtos em uma linha de produtos de software pode crescer exponencialmente em função de seu número de características, tornando inviável vericar a qualidade de cada um desses produtos isoladamente. Existem diversas abordagens cientes de variabilidade para análise de linha de produtos, as quais adaptam técnicas de análise de produtos isolados para lidar com a variabilidade de forma e ciente. Tais abordagens podem ser classificadas em três dimensões de análise (product-based, family-based e feature-based ), mas, particularmente no contexto de análise de conabilidade, não existe uma teoria que compreenda (a) uma especificação formal das três dimensões e das estratégias de análise resultantes e (b) prova de que tais análises são equivalentes uma à outra. A falta de uma teoria com essas propriedades impede que se raciocine formalmente sobre o relacionamento entre as dimensões de análise e técnicas de análise derivadas, limitando a con ança nos resultados correspondentes a elas. Para preencher essa lacuna, apresentamos uma linha de produtos que implementa cinco abordagens para análise de con abilidade de linhas de produtos. Encontrou-se evidência empírica de que as cinco abordagens são equivalentes, no sentido em que resultam em con abilidades iguais ao analisar uma mesma linha de produtos. Além disso, formalizamos três das estratégias implementadas e provamos que elas são corretas, contanto que a abordagem probabilística para análise de con abilidade de produtos individuais também o seja. Por m, apresentamos um diagrama comutativo de passos intermediários de análise, o qual relaciona estratégias diferentes e permite reusar demonstrações de corretude entre elas.Software product line engineering is a means to systematically manage variability and commonality in software systems, enabling the automated synthesis of related programs (products) from a set of reusable assets. However, the number of products in a software product line may grow exponentially with the number of features, so it is practically infeasible to quality-check each of these products in isolation. There is a number of variability-aware approaches to product-line analysis that adapt single-product analysis techniques to cope with variability in an e cient way. Such approaches can be classi ed along three analysis dimensions (product-based, family-based, and feature-based), but, particularly in the context of reliability analysis, there is no theory comprising both (a) a formal speci cation of the three dimensions and resulting analysis strategies and (b) proof that such analyses are equivalent to one another. The lack of such a theory prevents formal reasoning on the relationship between the analysis dimensions and derived analysis techniques, thereby limiting the con dence in the corresponding results. To ll this gap, we present a product line that implements ve approaches to reliability analysis of product lines. We have found empirical evidence that all ve approaches are equivalent, in the sense that they yield equal reliabilities from analyzing a given product line. We also formalize three of the implemented strategies and prove that they are sound with respect to the probabilistic approach to reliability analysis of a single product. Furthermore, we present a commuting diagram of intermediate analysis steps, which relates di erent strategies and enables the reuse of soundness proofs between them.Instituto de Ciências Exatas (IE)Departamento de Ciência da Computação (IE CIC)Programa de Pós-Graduação em InformáticaporengA concessão da licença deste item refere-se ao termo de autorização impresso assinado pelo autor com as seguintes condições: Na qualidade de titular dos direitos de autor da publicação, autorizo a Universidade de Brasília e o IBICT a disponibilizar por meio dos sites www.bce.unb.br, www.ibict.br, http://hercules.vtls.com/cgi-bin/ndltd/chameleon?lng=pt&skin=ndltd sem ressarcimento dos direitos autorais, de acordo com a Lei nº 9610/98, o texto integral da obra disponibilizada, conforme permissões assinaladas, para fins de leitura, impressão e/ou download, a título de divulgação da produção científica brasileira, a partir desta data.info:eu-repo/semantics/openAccessEstratégias comutativas para análise de confiabilidade em linha de produtos de softwareinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisConfiabilidade (Engenharia)Engenharia de softwarereponame:Repositório Institucional da UnBinstname:Universidade de Brasília (UnB)instacron:UNBORIGINAL2016_ThiagoMaeldeCastro.pdf2016_ThiagoMaeldeCastro.pdfapplication/pdf1475237http://repositorio.unb.br/bitstream/10482/22680/1/2016_ThiagoMaeldeCastro.pdffe4d96aa2db1e482634a4417f7749632MD51open accessLICENSElicense.txtlicense.txttext/plain767http://repositorio.unb.br/bitstream/10482/22680/2/license.txt030879a11400e4ab80d3f48cf2c68493MD52open access10482/226802025-12-26 17:21:19.564open accessoai:repositorio.unb.br:10482/22680TGljZW5zZSBncmFudGVkIGJ5IEFsYsOibmlhIEPDqXphciBkZSBNZWxvIChhbGJhbmlhQGJjZS51bmIuYnIpIG9uIDIwMTctMDEtMTdUMTM6MDc6MDZaIChHTVQpOgoKQSBjb25jZXNzw6NvIGRhIGxpY2Vuw6dhIGRlc3RlIGl0ZW0gcmVmZXJlLXNlIGFvIHRlcm1vIGRlIGF1dG9yaXphw6fDo28gaW1wcmVzc28gYXNzaW5hZG8gDQpwZWxvIGF1dG9yIGNvbSBhcyBzZWd1aW50ZXMgY29uZGnDp8O1ZXM6DQoNCk5hIHF1YWxpZGFkZSBkZSB0aXR1bGFyIGRvcyBkaXJlaXRvcyBkZSBhdXRvciBkYSBwdWJsaWNhw6fDo28sIGF1dG9yaXpvIGEgVW5pdmVyc2lkYWRlIGRlIEJyYXPDrWxpYQ0KIGUgbyBJQklDVCBhIGRpc3BvbmliaWxpemFyIHBvciBtZWlvIGRvcyBzaXRlcyB3d3cuYmNlLnVuYi5iciwgd3d3LmliaWN0LmJyLA0KIGh0dHA6Ly9oZXJjdWxlcy52dGxzLmNvbS9jZ2ktYmluL25kbHRkL2NoYW1lbGVvbj9sbmc9cHQmc2tpbj1uZGx0ZCBzZW0gcmVzc2FyY2ltZW50byBkb3MgDQpkaXJlaXRvcyBhdXRvcmFpcywgZGUgYWNvcmRvIGNvbSBhIExlaSBuwrogOTYxMC85OCwgbyB0ZXh0byBpbnRlZ3JhbCBkYSBvYnJhIGRpc3BvbmliaWxpemFkYSwNCiBjb25mb3JtZSBwZXJtaXNzw7VlcyBhc3NpbmFsYWRhcywgcGFyYSBmaW5zIGRlIGxlaXR1cmEsIGltcHJlc3PDo28gZS9vdSBkb3dubG9hZCwgYSB0w610dWxvIGRlIA0KZGl2dWxnYcOnw6NvIGRhIHByb2R1w6fDo28gY2llbnTDrWZpY2EgYnJhc2lsZWlyYSwgYSBwYXJ0aXIgZGVzdGEgZGF0YS4=Repositório InstitucionalPUBhttps://repositorio.unb.br/oai/requestrepositorio@unb.bropendoar:2025-12-26T20:21:19Repositório Institucional da UnB - Universidade de Brasília (UnB) |
| spellingShingle | Estratégias comutativas para análise de confiabilidade em linha de produtos de software Castro, Thiago Mael de Confiabilidade (Engenharia) Engenharia de software |
| status_str | publishedVersion |
| title | Estratégias comutativas para análise de confiabilidade em linha de produtos de software |
| title_full | Estratégias comutativas para análise de confiabilidade em linha de produtos de software |
| title_fullStr | Estratégias comutativas para análise de confiabilidade em linha de produtos de software |
| title_full_unstemmed | Estratégias comutativas para análise de confiabilidade em linha de produtos de software |
| title_short | Estratégias comutativas para análise de confiabilidade em linha de produtos de software |
| title_sort | Estratégias comutativas para análise de confiabilidade em linha de produtos de software |
| topic | Confiabilidade (Engenharia) Engenharia de software |
| url | http://repositorio.unb.br/handle/10482/22680 http://dx.doi.org/10.26512/2016.11.D.22680 |