Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2018. / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES). / Sistemas concorrentes enfrentam uma ameaça à sua confiabilidade em comportamentos emergentes, os quais não são incluídos na especificação, mas podem acontecer durante o tempo de execução. Quando sistemas concorrentes são modelados a base de cenários, é possível detectar estes comportamentos emergentes como cenários implícitos que, analogamente, são cenários inesperados que podem acontecer devido à natureza concorrente do sistema. Até agora, o processo de lidar com cenários implícitos pode exigir tempo e esforço significativos do usuário, pois eles são detectados e tratados um a um. Nesta dissertação, uma nova metodologia é proposta para lidar com vários cenários implícitos de cada vez, encontrando comportamentos comuns entre eles. Além disso, propomos uma nova maneira de agrupar estes comportamentos em famílias utilizando uma técnica de agrupamento usando o algoritmo de Smith-Waterman como uma medida de similaridade. Desta forma, permitimos a remoção de vários cenários implícitos com uma única correção, diminuindo o tempo e o esforço necessários para alcançar maior confiabilidade do sistema. Um total de 1798 cenários implícitos foram coletados em sete estudos de caso, dos quais 14 famílias de comportamentos comuns foram definidas. Consequentemente, apenas 14 restrições foram necessárias para resolver todos os cenários implícitos coletados coletados, aplicando nossa abordagem. Estes resultados suportam a validade e eficácia da nossa metodologia. / Concurrent systems face a threat to their reliability in emergent behaviors, which are not included in the specification but can happen during runtime. When concurrent systems are modeled in a scenario-based manner, it is possible to detect emergent behaviors as implied scenarios (ISs) which, analogously, are unexpected scenarios that can happen due to the concurrent nature of the system. Until now, the process of dealing with ISs can demand significant time and effort from the user, as they are detected and dealt with in a one by one basis. In this paper, a new methodology is proposed to deal with various ISs at a time, by finding Common Behaviors (CBs) among them. Additionally, we propose a novel way to group CBs into families utilizing a clustering technique using the Smith- Waterman algorithm as a similarity measure. Thus allowing the removal of multiple ISs with a single fix, decreasing the time and effort required to achieve higher system reliability. A total of 1798 ISs were collected across seven case studies, from which 14 families of CBs were defined. Consequently, only 14 constraints were needed to resolve all collected ISs, applying our approach. These results support the validity and effectiveness of our methodology.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2016-02-25T12:36:50Z No. of bitstreams: 1 2015_ThiagoPeixotodosReis.pdf: 1331921 bytes, checksum: 7ca51f13ba5be819c4c2334e62f445ec (MD5) / Approved for entry into archive by Marília Freitas(marilia@bce.unb.br) on 2016-05-26T18:01:13Z (GMT) No. of bitstreams: 1 2015_ThiagoPeixotodosReis.pdf: 1331921 bytes, checksum: 7ca51f13ba5be819c4c2334e62f445ec (MD5) / Made available in DSpace on 2016-05-26T18:01:13Z (GMT). No. of bitstreams: 1 2015_ThiagoPeixotodosReis.pdf: 1331921 bytes, checksum: 7ca51f13ba5be819c4c2334e62f445ec (MD5) / Confiabilidade é um pré-requisito, implícito e desejável na maioria dos sistemas. Para que um sistema seja confiável, tal exigência deve ser tida em conta em todas as fases de seu desenvolvimento. Cenários implícitos são uma anomalia gerada quando componentes de sistemas concorrentes se comunicam de uma forma inesperada, não descrita na especificação de comportamento do software. Teste em sistemas concorrentes é um exercício muito caro e difícil de revelar falhas especialmente quando o sistema já está implementado e em funcionamento. Teste baseado em modelo (TBM) é uma alternativa para automatizar a geração de casos de teste em sistemas concorrentes, a fim de reduzir o seu custo e à complexidade inerente à atividade de teste. Este trabalho aproveita a abordagem de teste dirigido a modelo para explorar detecção de cenários implícitos, de modo a melhorar a geração de casos de teste em sistemas concorrentes. ______________________________________________________________________________________________ ABSTRACT / Reliability is a prerequisite, implicit and desirable in most systems. For a system to be reliable, such requirement should be taken into account during all development stages of a system. Implied scenarios are an anomaly generated when concurrent system components communicate in an unexpected way, w.r.t. to the software behavior specification. Testing concurrent systems is a very expensive exercise and hard to reveal faults specially when the system is already deployed and running. Model-Based Testing is an alternative to automate test case generation in concurrent systems, in order to reduce their cost and the inherent complexity of the testing activity. This work leverages model-driven testing techniques to explore implied scenarios detection so as to improve the generation of test cases in concurrent systems.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015. / Submitted by Ana Cristina Barbosa da Silva (annabds@hotmail.com) on 2015-04-27T15:56:38Z No. of bitstreams: 1 2015_DaniloFilgueiraMendonça.pdf: 15442097 bytes, checksum: 3fd8f92515216f0962560e658342894f (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2015-05-14T19:16:39Z (GMT) No. of bitstreams: 1 2015_DaniloFilgueiraMendonça.pdf: 15442097 bytes, checksum: 3fd8f92515216f0962560e658342894f (MD5) / Made available in DSpace on 2015-05-14T19:16:39Z (GMT). No. of bitstreams: 1 2015_DaniloFilgueiraMendonça.pdf: 15442097 bytes, checksum: 3fd8f92515216f0962560e658342894f (MD5) / Um contexto de operação estático não é a realidade para muitos sistemas de software atualmente. Variações de contextos impõe novos desafios ao desenvolvimento de sistemas seguros, o que inclui a ativação de falhas apenas em contextos específicos de operação. A engenharia de requisitos orientada a objetivos (GORE) explicita o ‘por quê’ dos requisitos de um sistema, isto é, a intencionalidade por trás de objetivos do sistema e os meios de se atingi-los. Um Runtime goal model (RGM) adiciona especificação de comportamento ao modelo de objetivos convencional, enquanto um Contextual goal model (CGM) especifica efeitos de contextos sobre objetivos, meios e métricas de qualidade. Visando uma verificação formal da dependabilidade de um Contextual-Runtime goal model (CRGM), nesse trabalho é proposta uma nova abordagem para a análise de dependabilidade orientada a objetivos baseada na técnica de verificação probabilística de modelos. Em particular, são definidas regras para a transformação de um CRGM para um modelo cadeia de Makov de tempo discreto (DTMC) com o qual se possa verificar a confiabilidade de se satisfazer um ou mais objetivos do sistema. Adicionalmente, para diminuir o esforço de análise e aumentar a usabilidade de nossa proposta, um gerador automatizado de código CRGM para DTMC foi implementado e integrado com sucesso à ferramenta gráfica que dá suporte às fases de modelagem e análise de objetivos da metodologia TROPOS. A verificação contextual de dependabilidade resultante reflete os requisitos no CRGM, que podem representar: o projeto de um sistema, cuja verificação ocorreria em fase de projetos; ou um sistema em execução, cujo comportamento pode ser verificado em tempo de execução como parte de uma análise de auto-adaptação com foco em dependabilidade. / A static and stable operation environment is not a reality for many systems nowadays. Context variations impose many threats to systems safety, including the activation of context specific failures. Goal-oriented requirements engineering (GORE) brings forward the ‘why’ of system requirements, i.e., the intentionality behind system goals and the means to meet then. A runtime goal model adds a behaviour specification layer to a conventional design goal model, and a contextual goal model specifies the context effects over system goals, means and qualitative metrics. In order to formally verify the dependability of a CRGM, we propose a new goal-oriented dependability analysis based on the probabilistic model checking technique. In particular, we define rules for the transformation of a CRGM into a DTMC model that can be verified for the reliability of the fulfilment of one or more system goals. Also, to mitigate the analysis overhead and increase the usability of our proposal, we have successfully implemented and integrated a CRGM to DTMC code generator to the graphical tool that supports the goal modelling and analysis phases of the TROPOS development methodology. The resulting contextual dependability verification reflects the system requirements in a CRGM, which may represent: a system-to-be, whose verification would take place at design-time; or a running system, whose behaviour can be verified at runtime as part of a self-adaptation analysis targeting dependability.

Submitted by Nayara Passos (nayara.passos@ufpe.br) on 2015-03-11T19:46:33Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) TESE Ermeson Carneiro De Andrade.pdf: 4074311 bytes, checksum: 6b5b5cf26bd00821abaad692e167ee43 (MD5) / Made available in DSpace on 2015-03-11T19:46:34Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) TESE Ermeson Carneiro De Andrade.pdf: 4074311 bytes, checksum: 6b5b5cf26bd00821abaad692e167ee43 (MD5) Previous issue date: 2014 / Os softwares possuem defeitos. Os computadores falham. Os v´ırus se propagam. Os pr´edios pegam fogo. As pessoas cometem erros. Os desastres acontecem. Embora gostar ´ıamos que tais eventos nunca acontecessem, ´e prudente prover mecanismos que tratem as interrup¸c˜oes dos servi¸cos, pois o custo do downtime pode ser extremamente elevado. Dessa forma, as empresas tˆem investido cada vez mais em mecanismos de tratamento de interrup¸c˜oes, visto que as interrup¸c˜oes, sejam elas brandas ou severas, podem acontecer em qualquer lugar, a qualquer momento, com pouco ou nenhum aviso. Os sistemas distribu´ıdos (ex.: computa¸c˜ao em nuvem) tˆem sido largamente usados nos ´ultimos anos como um meio de recupera¸c˜ao de interrup¸c˜oes de modo que o sistema (infraestrutura e dados) ´e distribu´ıdo sobre um conjunto de servidores dispersos geograficamente e na ocorrˆencia de interrup¸c˜oes, outros servidores assumir˜ao a operacionalidade do sistema. A forma mais amplamente usada para modelar sistemas complexos (ex.: sistemas distribu´ıdos) ´e atrav´es das linguagens semiformais, tais como SysML (System Modelling Language) ou UML (Unified Modeling Language), devido principalmente `a sua nota¸c˜ao amig´avel e intuitiva. Os modelos semiformais gerados por essas linguagens, por si s´os n˜ao fornecem suporte para avalia¸c˜ao de dependabilidade/desempenho das especifica¸c˜oes dos sistemas. Dessa forma, faz-se necess´ario o mapeamento desses modelos semiformais para modelos anal´ıticos, pois modelos anal´ıticos s˜ao apoiados por fundamentos matem´aticos s´olidos, que suportam sua semˆantica precisa, estimulam a avalia¸c˜ao de desempenho/ dependabilidade e fornecem suporte para verifica¸c˜oes das propriedades qualitativas e an´alises. Os modelos anal´ıticos, no entanto, n˜ao s˜ao intuitivos e requerem um consider´avel esfor¸co por parte dos projetistas para entenderem a nota¸c˜ao usada. Portanto, ´e sensato adotar o uso colaborativo dos modelos semiformais e anal´ıticos. Este trabalho prop˜oe um framework baseado em m´etricas, modelos e ferramentas que auxilia os projetistas, os quais n˜ao possuem (ou possuem pouca) expertise em modelagem estoc´astica, a modelar e estudar os mecanismos de tratamento de interrup¸c˜oes e as infraestruturas dos sistemas distribu´ıdos, a partir de especifica¸c˜oes de alto n´ıvel, descritas atrav´es da SysML e MARTE. Para alcan¸car esse objetivo, prop˜oe-se o mapeamento dos diagramas anotados da SysML em modelos DSPN (Rede de Petri Determin´ıstica e Estoc´astica). Essa abordagem resulta num modelo cujas propriedades s˜ao garantidas e provˆe um conjunto de indicadores de dependabilidade dos mecanismos e do sistema. Ademais, a fim de mostrar a corretude e aplicabilidade do framework proposto, estudos de casos s˜ao apresentados.

Made available in DSpace on 2014-06-12T15:54:03Z (GMT). No. of bitstreams: 2 arquivo6424_1.pdf: 13803031 bytes, checksum: 6040cdc1997e59c9d7710625c1551127 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / Nos dias atuais, observamos o vertiginoso avanço da tecnologia e a dependência cada vez maior da sociedade nos sistemas de computação. O uso massivo de dispositivos computadorizados, fixos e móveis, dentro de um conceito de computação ubíqua, e a crescente pervasividade das redes de computadores e serviços, têm tornado os sistemas extremamente complexos e dinâmicos. Esta complexidade vem aumentando a cada dia, a medida que os computadores têm se tornado menores, mais baratos e com maior capacidade de processamento. Hoje eles estão presentes não apenas em grande parte dos objetos da vida diária, como aparelhos celulares, laptops e desktops, como também nos sistemas de telecomunicações, nos meios de transporte, nos equipamentos hospitalares, e na maior parte das atividades. Enquanto razões econômicas forçam o desenvolvimento de novos sistemas computacionais, com um número cada vez maior de facilidades, razões de qualidade impõem a necessidade de que sejam evitados maus funcionamentos desses sistemas. As conseqüências das paralisações dos sistemas computacionais podem variar desde simples inconveniências, a perda de vidas humanas ou prejuízos materiais, o que motiva o desenvolvimento de metodologias para a avaliação da dependabilidade, ou segurança de funcionamento, desses sistemas. Devido ao comportamento aleatório de grande parte das falhas, técnicas de modelagem de dependabilidade por meio de avaliação analítica ou simulação estocástica têm provado ser uma solução útil e versátil em todas as fases do ciclo de vida de um sistema, desde a fase de projeto, na escolha da solução que melhor satisfaça aos requisitos de dependabilidade propostos, até a fase operacional, na detecção de gargalos que impeçam os sistemas de atingir tais requisitos. Esta Tese propõe o desenvolvimento de uma metodologia que possibilite a modelagem, o refinamento e a avaliação de sistemas dependáveis com a utilização de mecanismos de tolerância a falhas, através de um método híbrido baseado em redes de Petri estocásticas determinísticas estendidas (EDSPN) e diagramas de blocos, de um modo flexível, expansível e passível de automação. A metodologia proposta é executada em 5 diferentes níveis hierárquicos. Os dois primeiros níveis hierárquicos lidam com os diagramas de blocos e com os mecanismos de tolerância a falhas a serem introduzidos. O terceiro nível hierárquico, formado por redes de Petri de alto nível, define como será a interligação das redes de Petri, que representa a configuração dos blocos no diagrama de sistema dependável, na configuração final. No quarto nível hierárquico, o comportamento de cada bloco é modelado por meio de EDSPN, o qual gera expressões numéricas ou analíticas dos atributos de confiabilidade, disponibilidade e segurança. Finalmente, as expressões obtidas são utilizadas em um modelo dependável e parametrizado (MDP), de acordo com a configuração definida no terceiro nível, para obtenção das estimativas de dependabilidade do sistema como um todo. A metodologia proposta, além de ser passível de automação, objetiva ocultar a complexidade matemática envolvida e reduzir a possibilidade de explosão de estados. Para tornar os modelos EDSPN e MDP mais eficientes, uma biblioteca de modelos foi criada. Um mesmo modelo, com o auxílio de diferentes parâmetros de configuração, pode assumir diferentes mecanismos de tolerância a falhas, o que torna a metodologia flexível, assim como, um mesmo modelo, com o auxílio de parâmetros estruturais, pode assumir diferentes níveis de redundância em um mesmo mecanismo tolerante a falhas, o que torna a metodologia expansível

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2015-12-04T12:07:33Z No. of bitstreams: 1 2015_AlexandreVazRoriz.pdf: 1671166 bytes, checksum: c58f23212854280f05a5a7aba50ad0f9 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2016-05-19T21:55:04Z (GMT) No. of bitstreams: 1 2015_AlexandreVazRoriz.pdf: 1671166 bytes, checksum: c58f23212854280f05a5a7aba50ad0f9 (MD5) / Made available in DSpace on 2016-05-19T21:55:04Z (GMT). No. of bitstreams: 1 2015_AlexandreVazRoriz.pdf: 1671166 bytes, checksum: c58f23212854280f05a5a7aba50ad0f9 (MD5) / O aumento da complexidade dos sistemas computacionais é uma tendência que precisa ser acompanhada pela busca por técnicas de desenvolvimento orientadas em garantir o nível de confiabilidade exigido, desde os estágios iniciais do ciclo de desenvolvimento de software. Nesse contexto, passa a ser requisito essencial que a modelagem seja feita de forma confiável, refletindo da melhor maneira possível o comportamento esperado para o sistema. A modelagem em cenários possibilita, ainda nas fases iniciais do desenvolvimento, a realização de análises de dependabilidade para verificar o atendimento a requisitos não funcionais do sistema. Configurando então uma técnica interessante para a construção de sistemas confiáveis. Entretanto, a modelagem em cenários traz a possibilidade da ocorrência de cenários implícitos, que são cenários que não estavam previstos inicialmente mas surgem da integração entre os diversos cenários especificados. Esses novos cenários podem ser desejados, quando não comprometem o sistema, ou indesejados, quando levam o sistema a um estado de erro. Nesse último caso, é exigida a tomada de ações corretivas para o modelo visando a eliminação ou atenuação desses efeitos negativos. Sendo assim, para a construção de um modelo confiável, faz-se necessário não somente identificar os eventuais cenários implícitos, mas avaliar o impacto desses sobre o sistema a ser modelado, de modo a fundamentar e direcionar as ações para se alcançar o nível de dependabilidade adequado. Esse trabalho apresenta uma metodologia para a avaliação quantitativa e qualitativa do impacto dos cenários implícitos sobre a confiabilidade de um sistema que está sendo modelado. Um estudo de caso é apresentado mostrando o emprego da metodologia para a definição de uma configuração mais confiável em um sistema de rede de câmeras inteligentes. Os resultados mostram que a metodologia é útil para a compreensão de como os cenários implícitos impactam a confiabilidade do modelo, fornecendo subsídios para a tomada de decisões que resultem em um sistema mais confiável. _______________________________________________________________________________________________ ABSTRACT / The increasing of the complexity in computing systems is a trend that needs be accompanied by the search for development techniques oriented to ensure the required reliability level, since the early stages of the software development cycle. In this context, it becomes a essential requirement that the modeling be done in a reliable way, reflecting the expected behavior for system. The scenario-based specification allows, even at early stages of the development, the realization of dependability analysis to verify the compliance with no-functional requirements of the system. Being considered an interesting technique for constructing reliable systems. However, the scenarios modeled brings the possibility of the occurrence of implied scenarios, which are scenarios that were not initially foreseen but arise from interaction between the others specified scenarios. These new scenarios can be allowed, when they do not compromise the system, or unwanted, when they take the system to an error state. In the latter case, it is required to take corrective action in order to eliminate or reduce these negative effects. Therefore, to construct a reliable model, it is necessary not only identify any implied scenarios, but also to assess the impact of these on the system to be modeled in order to ground and direct the actions in order to achieve the appropriate dependability level. This work presents a methodology for quantitative and qualitative analysis of the impact of implied scenarios on the reliability of a system being modeled. A case study is presented showing the use of the methodology for defining a more reliable configuration in a network system of smart cameras. The results show that the method is useful for understanding how the implied scenarios impact the reliability of the model, providing support for decisions that result in a more reliable system.

Submitted by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-10T13:32:50Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação Debora de Souza.pdf: 4411533 bytes, checksum: 703ab507aa1b4a6307ded18f5a64079f (MD5) / Made available in DSpace on 2015-03-10T13:32:50Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação Debora de Souza.pdf: 4411533 bytes, checksum: 703ab507aa1b4a6307ded18f5a64079f (MD5) Previous issue date: 2013-08-26 / Ao longo dos anos, sistemas computacionais em diversas áreas de conhecimento têm sido desenvolvidos e incorporados ao nosso cotidiano. Independente da etapa do ciclo de vida no qual o sistema se encontre é preciso preocupar-se com os requisitos de desempenho e dependabilidade dos serviços providos. Um dos métodos utilizados para estudos de desempenho é a medição de sistemas enquanto esses são submetidos aos diferentes níveis de carga possíveis. A aplicabilidade de tal técnica geralmente envolve o uso de programas de geração de carga sintética, que têm como intuito gerar eventos de carga de trabalho que simulem usuários requisitando serviços ao sistema. A carga de trabalho ocasionada por meio dessas ferramentas também pode contribuir para pesquisas de dependabilidade, visto que o uso de carga pode colaborar para revelar comportamentos não desejáveis e falhas não visualizadas anteriormente. O uso de carga sintética não é o único caminho a ser seguido para realizar estudos de dependabilidade. Ferramentas que geram situações de falha também podem ser empregadas para alcançar este objetivo. A diversidade de funções para as quais sistemas são desenvolvidos requer que ferramentas específicas sejam construídas para a realização de experimentos de desempenho ou de dependabilidade, mesmo que haja um conjunto de conceitos comuns entre ferramentas deste tipo. Neste contexto, este trabalho propõe um framework, implementado em Java, que engloba vários métodos que podem auxiliar no desenvolvimento de ferramentas geradoras de eventos de forma mais ágil e confiável. No decorrer desta pesquisa geradores de carga, para experimentos de desempenho, e geradores de eventos de falha e reparo, para experimentos de dependabilidade, foram concebidos com o auxílio do framework, atestando, assim, sua eficiência. Por fim, estudos de caso desenvolvidos a partir dos softwares geradores de eventos serão apresentados.

As práticas ágeis de desenvolvimento de sistemas de software são, neste trabalho, classificadas sob três aspectos: dependabilidade, domínios do ESSENCE e guidelines para redução de erro humano. A partir dessa classificação, um questionário baseado nas práticas relacionadas aos fatores humanos foi aplicado para desenvolvedores de sistemas de software com diferentes níveis de experiência com o objetivo de avaliar a interferência do ambiente na dependabilidade do sistema de software desenvolvido. O questionário foi respondido por 125 desenvolvedores. Os desenvolvedores foram separados em dois grupos e os grupos foram comparados em relação à percepção de certos guidelines para desenvolvimento de software para cada prática considerada. Os resultados do questionário mostraram que a utilização das práticas ágeis analisadas aumentou fatores que reconhecidamente facilitam a redução do erro humano. / In this work, agile software development practices are categorized using three aspects: reliability, ESSENCEs areas of concern and guidelines for human error reduction. From this categorization, it was applied to software developers with different levels of expertise a questionnaire with practices related to human factors with the goal of evaluating the interference of the environment on the reliability of the developed software. The questionnaire was answered by 125 developers. For every practice considered the developers were separated in two groups and compared in relation to the perception of certain guidelines. The results show that the use of those agile practices increase factors that help reduce human error.

As práticas ágeis de desenvolvimento de sistemas de software são, neste trabalho, classificadas sob três aspectos: dependabilidade, domínios do ESSENCE e guidelines para redução de erro humano. A partir dessa classificação, um questionário baseado nas práticas relacionadas aos fatores humanos foi aplicado para desenvolvedores de sistemas de software com diferentes níveis de experiência com o objetivo de avaliar a interferência do ambiente na dependabilidade do sistema de software desenvolvido. O questionário foi respondido por 125 desenvolvedores. Os desenvolvedores foram separados em dois grupos e os grupos foram comparados em relação à percepção de certos guidelines para desenvolvimento de software para cada prática considerada. Os resultados do questionário mostraram que a utilização das práticas ágeis analisadas aumentou fatores que reconhecidamente facilitam a redução do erro humano. / In this work, agile software development practices are categorized using three aspects: reliability, ESSENCEs areas of concern and guidelines for human error reduction. From this categorization, it was applied to software developers with different levels of expertise a questionnaire with practices related to human factors with the goal of evaluating the interference of the environment on the reliability of the developed software. The questionnaire was answered by 125 developers. For every practice considered the developers were separated in two groups and compared in relation to the perception of certain guidelines. The results show that the use of those agile practices increase factors that help reduce human error.

Submitted by Luiz Felipe Barbosa (luiz.fbabreu2@ufpe.br) on 2015-03-10T19:35:09Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO Victor Antônio Ribeiro de Lira Cavalcanti.pdf: 3376876 bytes, checksum: f248afb33bde4460b94c42271f85e3c8 (MD5) / Approved for entry into archive by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-10T19:42:47Z (GMT) No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO Victor Antônio Ribeiro de Lira Cavalcanti.pdf: 3376876 bytes, checksum: f248afb33bde4460b94c42271f85e3c8 (MD5) / Made available in DSpace on 2015-03-10T19:42:47Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO Victor Antônio Ribeiro de Lira Cavalcanti.pdf: 3376876 bytes, checksum: f248afb33bde4460b94c42271f85e3c8 (MD5) Previous issue date: 2014-04-29 / A Internet possui um papel vital na sociedade atual, possibilitando a existência de aplicações e serviços em diferentes áreas, como saúde, entretenimento, educação e segurança. Entretanto, apesar da Internet ter evoluído consideravelmente em aspectos como velocidade e capacidade, inovações arquiteturais necessárias, por exemplo, para melhor suporte à mobilidade, sofrem resistência em virtude de sua estrutura atual. Nesse contexto, a virtualização de redes de computadores é uma abordagem promissora para resolver o problema atual de ossificação da Internet. Um grande desafio associado a esse conceito é o mapeamento das redes virtuais, devido à natureza NP-difícil do problema. Com isso, diversas heurísticas têm sido propostas com o objetivo de alcançar alocações eficientes. Contudo, apesar de as abordagens existentes aperfeiçoarem métricas de desempenho, como o custo e a taxa de aceitação das requisições, questões de dependabilidade não são consideradas no mapeamento. Dependabilidade envolve métricas como confiabilidade e disponibilidade, as quais impactam diretamente a qualidade do serviço. Logo, tais métricas são de grande importância e devem ser consideradas na formulação de problemas de otimização para alocação de redes virtuais. Este trabalho propõe um algoritmo baseado na metaheurística GRASP (Greedy Randomized Adaptive Search Procedure) para o mapeamento de redes virtuais confiáveis. Políticas de redundância são consideradas na alocação para satisfazer requisições de redes virtuais com restrições de alta disponibilidade. Além disso, é proposta uma abordagem hierárquica e heterogênea, com modelos formais em redes de Petri estocásticas (SPN) e diagramas de bloco de confiabilidade (RBD) para representar e avaliar disponibilidade das redes virtuais. Esses modelos são gerados e avaliados automaticamente pela ferramenta Mercury, ao longo do processo de mapeamento. Estudos de caso são propostos para demonstrar a aplicabilidade dos modelos e algoritmo adotados. Os resultados experimentais demonstram o impacto da adoção de questões de dependabilidade na alocação, bem como a relação entre a disponibilidade e o custo das redes virtuais.