Atenção: Todas as denúncias são sigilosas e sua identidade será preservada.
Os campos nome e e-mail são de preenchimento opcional
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Alves, Vander Ramos | - |
Autor(es): dc.contributor | Rodrigues, Genaína | - |
Autor(es): dc.creator | Nunes, Vinicius Uriel Cardoso | - |
Data de aceite: dc.date.accessioned | 2024-10-23T16:39:49Z | - |
Data de disponibilização: dc.date.available | 2024-10-23T16:39:49Z | - |
Data de envio: dc.date.issued | 2013-04-10 | - |
Data de envio: dc.date.issued | 2013-04-10 | - |
Data de envio: dc.date.issued | 2013-04-10 | - |
Data de envio: dc.date.issued | 2012-12 | - |
Fonte completa do material: dc.identifier | http://repositorio.unb.br/handle/10482/12769 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/914113 | - |
Descrição: dc.description | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2012. | - |
Descrição: dc.description | Software está cada vez mais presente em nosso dia a dia. Em alguns domínios, especialmente os de sistemas críticos, software confiável é uma necessidade. Assegurar confiabilidade não é um problema trivial. Model checking pode ser utilizado para estimar a confiabilidade de um software através de modelos que representam a comportamento do sistema. Através destes modelos é possível estimar e medir quantitativamente propriedades como confiabilidade. No contexto das Linhas de produto de software (LPS), é preciso verificar uma família inteira de sistemas. Não é viável construir um modelo para cada configuração de uma LPS uma vez que o número de modelos requerido pode ser muito grande. Algumas contribuições tratam diretamente esta questão propondo técnicas específicas para LPS. Em particular, a técnica de model checking paramétrico permite a utilização de uma único modelo para obter valores de propriedades de diferentes configurações através de uma fórmula aritmética. No entanto, mesmo uma fórmula aritmética pode não ser fácil de avaliar em alguns cenários. As técnicas atuais impõem limitações sobre a variabilidade. Lidar com variabilidade por meio de model checking paramétrico é ainda um problema em aberto. Nesse trabalho, esse problema é tratado por meio de uma proposta de modelagem para model checking paramétrico capaz de representar qualquer tipo de variabilidade. Além disso, apresentamos uma extensão para abordagem proposta capaz de reduzir o tamanho da fórmula paramétrica. _______________________________________________________________________________________ ABSTRACT | - |
Descrição: dc.description | Software is increasingly present in our daily lives. In some domains, specially those of critical systems, dependable software is a must. Ensuring dependability is not a trivial problem. Model checking can be used to estimate the reliability of a software through models that represent the behavior of the system. Through these models it is possible to estimate and measure quantitatively properties such as reliability. In the context of Software Product Lines (SPL), we need to check an entire family of systems. It is not feasible to build a model for each configuration of a SPL as the number of models required can be very large. Some contributions directly address this issue proposing techniques specically tailored for SPL. Particularly, the technique of parametric model-checking al-lows the use of a single model to obtain properties values from different configurations through an arithmetic formula. However, even an arithmetic formula may not be easy to evaluate in some scenarios. Current techniques may impose limitations over the variability. To handle variability on parametric model checking is still an open problem. This work addresses this problem by proposing a parametric model checking approach able to represent any type of variability and providing a theoretical basis where this work is grounded. Additionally, we present and extension to this approach able to reduce the size of the parametric formula. | - |
Formato: dc.format | application/pdf | - |
Direitos: dc.rights | Acesso Aberto | - |
Palavras-chave: dc.subject | Administração de produto | - |
Palavras-chave: dc.subject | Software | - |
Palavras-chave: dc.subject | Processos de Markov | - |
Palavras-chave: dc.subject | Engenharia de software | - |
Título: dc.title | Gerência de variabilidade em modelos de confiabilidade para linha de produtos de software | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositório Institucional – UNB |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: