Estratégias comutativas para análise de confiabilidade em linha de produtos de software

Detalhes bibliográficos
Autor(a) principal: Castro, Thiago Mael de
Data de Publicação: 2016
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UnB
Texto Completo: 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.
id UNB_4e4822023152e133a3711200a9f7e41f
oai_identifier_str oai:repositorio.unb.br:10482/22680
network_acronym_str UNB
network_name_str Repositório Institucional da UnB
repository_id_str
spelling Estratégias comutativas para análise de confiabilidade em linha de produtos de softwareConfiabilidade (Engenharia)Engenharia de softwareDissertaçã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áticaAlves, Vander RamosTeixeira, Leopoldo MottaCastro, Thiago Mael de2017-02-20T16:33:40Z2017-02-20T16:33:40Z2017-02-202016-11-18info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfCASTRO, 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.22680InglêsporA 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/openAccessreponame:Repositório Institucional da UnBinstname:Universidade de Brasília (UnB)instacron:UNB2024-03-14T15:40:55Zoai:repositorio.unb.br:10482/22680Repositório InstitucionalPUBhttps://repositorio.unb.br/oai/requestrepositorio@unb.bropendoar:2024-03-14T15:40:55Repositório Institucional da UnB - Universidade de Brasília (UnB)false
dc.title.none.fl_str_mv Estratégias comutativas para análise de confiabilidade em linha de produtos de software
title Estratégias comutativas para análise de confiabilidade em linha de produtos de software
spellingShingle Estratégias comutativas para análise de confiabilidade em linha de produtos de software
Castro, Thiago Mael de
Confiabilidade (Engenharia)
Engenharia de software
title_short 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_sort Estratégias comutativas para análise de confiabilidade em linha de produtos de software
author Castro, Thiago Mael de
author_facet Castro, Thiago Mael de
author_role author
dc.contributor.none.fl_str_mv Alves, Vander Ramos
Teixeira, Leopoldo Motta
dc.contributor.author.fl_str_mv Castro, Thiago Mael de
dc.subject.por.fl_str_mv Confiabilidade (Engenharia)
Engenharia de software
topic Confiabilidade (Engenharia)
Engenharia de software
description Dissertação (mestrado) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2016.
publishDate 2016
dc.date.none.fl_str_mv 2016-11-18
2017-02-20T16:33:40Z
2017-02-20T16:33:40Z
2017-02-20
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 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.
http://repositorio.unb.br/handle/10482/22680
http://dx.doi.org/10.26512/2016.11.D.22680
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.
url http://repositorio.unb.br/handle/10482/22680
http://dx.doi.org/10.26512/2016.11.D.22680
dc.language.iso.fl_str_mv Inglês
por
language_invalid_str_mv Inglês
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UnB
instname:Universidade de Brasília (UnB)
instacron:UNB
instname_str Universidade de Brasília (UnB)
instacron_str UNB
institution UNB
reponame_str Repositório Institucional da UnB
collection Repositório Institucional da UnB
repository.name.fl_str_mv Repositório Institucional da UnB - Universidade de Brasília (UnB)
repository.mail.fl_str_mv repositorio@unb.br
_version_ 1814508168864071680

Registros relacionados