Made available in DSpace on 2013-08-07T18:42:44Z (GMT). No. of bitstreams: 1 000443170-Texto+Completo-0.pdf: 1479067 bytes, checksum: 6992d7b626a852b264ada088113d267b (MD5) Previous issue date: 2012 / Projects performance evaluation is an important aspect of global software development. Companies and institutions can obtain benefits by the use of performance evaluation of teams working in different sites. The objective of this work is to discuss a stochastic model definition to performance evaluation of Follow-The-Sun (FTS) projects aspects such as time, quality and cost. Example issues that can be addressed using this FTS model are provided with performance evaluation results. / Avaliação de desempenho de projetos é um aspecto importante em desenvolvimento de software Distribuído. Empresas e instituições podem obter benefícios através da utilização de análise de performance em times trabalhando em diferentes locais. Este trabalho tem como objetivo apresentar uma definição de modelagem estocástica para projetos Follow-The-Sun (FTS) em diferentes aspectos como tempo, qualidade e custo. Exemplos de uso do modelo são apresentados em conjunto com os resultados de avaliação dos mesmos.

Made available in DSpace on 2013-08-07T18:43:14Z (GMT). No. of bitstreams: 1 000440236-Texto+Completo-0.pdf: 2914899 bytes, checksum: 0abd44c7d4fad22c016e1558238096b2 (MD5) Previous issue date: 2012 / Currently, the development of systems in the software industry has increased. As far as the need of customers in automate their processes grows, their demand to improve the quality of computational systems also increases. In this sense, software testing has a fundamental role. Despite of the benefits provided by testing, most of it is performed manually and without a theoretical basis, making the testing activity slow and inefficacious. An alternative for solving this problem is the use of test automation tools. In addition to accelerate the work of testers, these tools provide a higher quality and efficiency for the testing process. However, even though these tools can make the testing process faster, the test case generation for them is performed manually. The ideal is to also automate the generation and execution of test cases for these tools. In order to overcome this limitation, this work proposes a set of features which includes the information necessary for the generation and execution of real test cases for performance testing tools. Based on information from this set, we developed plugins for a product line of tools for model-based testing called PLeTs (Product Line Testing Tools). These plugins implement the automatic generation and execution of test scripts and test scenarios using two performance testing tools, HP LoadRunner e Microsoft Visual Studio. In order to show the feasibility of the proposal of this work, we performed a case study, which is based on the automated generation and execution of test cases using products generated by the product line PLETs. / Atualmente, o desenvolvimento de sistemas por parte da indústria de software tem aumentado. Assim como a necessidade dos clientes em automatizar seus processos, cresce também a exigência dos mesmos na melhoria da qualidade dos sistemas informatizados. Nesse sentido, o teste de software desempenha um papel fundamental. Apesar dos benefícios que os testes proporcionam, a maioria deles é realizada de forma manual e sem embasamento teórico e fundamentado, tornando a atividade de teste lenta e ineficaz. Uma alternativa para a solução deste problema é a utilização de ferramentas de automatização de teste. Essas ferramentas, além de agilizar o trabalho de uma equipe de testadores, provêem maior qualidade e eficácia para o processo de teste. Entretanto, ainda que essas ferramentas possam tornar o processo de teste mais rápido, a criação de casos de teste para elas é realizada manualmente. O ideal é automatizar também o processo de criação e execução de casos de teste para essas ferramentas. Com o intuito de superar esta limitação, este trabalho propõe um conjunto de características que contempla as informações necessárias para automatizar a geração e execução de casos de teste concretizados para ferramentas de automatização de teste de desempenho. A partir das informações deste conjunto, foi realizada a implementação de plugins para uma linha de produto de ferramentas para teste baseado em modelos (Model-Based Testing - MBT) denominada PLeTs (Product Line Testing Tools). Estes plugins implementam a geração e a execução automática de scripts e cenários de teste utilizando duas ferramentas de automatização de teste de desempenho, HP LoadRunner e Microsoft Visual Studio. Com o objetivo de demonstrar a viabilidade da proposta deste trabalho foi definido um exemplo de uso, o qual se baseia na geração e execução automatizada de casos de teste utilizando os produtos gerados pela linha de produto PLeTs.

Made available in DSpace on 2013-08-07T18:43:06Z (GMT). No. of bitstreams: 1 000425004-Texto+Completo-0.pdf: 1283916 bytes, checksum: 06a02199cf1e50a23c7a99c93e1147e3 (MD5) Previous issue date: 2010 / The process of software development is a task that involves a set of activities to be performed and, in many cases, by large and geographically dispersed teams. This requires the utilization of methods that renders a broad vision of all stages of the development process. The UML (Unified Modeling Language) is a modeling language that enables this vision through the use of diagrams that graphically demonstrates the software structure being developed. The activity diagram is used to model the behavior of the system with executing flows for every defined activity In order to obtain a behavioral model of computational systems, this work presents a proposal to converter activity diagrams to SAN (Stochastic Automata Networks), a mathematical formalism for modeling probabilistic index extraction related to the states, allowing decisions making for project resources allocated. To demonstrate how to execute the conversion, we use a simplified version of the elements from the UML activity diagrams to describe both parameters and rules associated to de conversion. We also present the results generated from the SAN model. / O processo de desenvolvimento de software é uma tarefa que envolve um conjunto de atividades a serem realizadas, e em muitos casos, por equipes grandes que podem se encontrar geograficamente dispersas. Isso exige do desenvolvedor a utilizacão de métodos que proporcionem uma visão de todas as etapas desse processo de desenvolvimento. A UML (Unified Modeling Language) é uma linguagem de modelagem que possibilita essa visão através do uso de diagramas que demonstram graficamente a estrutura do software em desenvolvimento. O diagrama de atividades é utilizado para modelar o comportamento do sistema, através dos fluxos de execução de cada atividade desempenhada pelo mesmo. Com o objetivo de obter um modelo comportamental de sistemas computacionais apresentamos neste trabalho uma proposta de conversão de diagramas de atividades para SAN (Stochastic Automata Networks), um formalismo matemático que possibilita a modelagem de sistemas em geral, a partir do qual é possível extrair índices probabilísticos relacionados aos estados, permitindo aos responsáveis pelo processo de desenvolvimento tomar decisões sobre os recursos alocados no projeto. Com o intuito de demonstrarmos como executar a conversão, usamos uma versão simplificada dos elementos do diagrama de atividades da UML, para descrever os parâmetros e regras utilizadas para a conversão proposta. Apresentamos ainda os resultados obtidos a partir do modelo SAN gerado.

Made available in DSpace on 2013-08-07T18:43:22Z (GMT). No. of bitstreams: 1 000397136-Texto+Completo-0.pdf: 1469438 bytes, checksum: 6d662216e7ef8e28c23eb6ac3f555971 (MD5) Previous issue date: 2007 / The framework reuse process is called instantiation process. For the representation of the instantiation activities be considered correct it is necessary to extend the RDL formalization. The Reuse Description Language - RDL - is formalized through BNF (Backus-Naur-Form). This kind of formalization doesn´t defines all necessary constraints that should be applied to the models constructed with RDL. The RDL language allows the representation of the instantiation of object oriented framework activities. The aim of this work is to extend the RDL formalization through the definition of RDL metamodel using a class diagram; and through the description of a set of constraints applicable to the metamodel, wrote in natural language and OCL (Object Constraint Language), to detect ambiguity and inconsistency of the models. / O processo de reutilização de frameworks é chamado de processo de instanciação. Para que a representação das atividades de instanciação esteja correta existe a necessidade de estender a formalização da RDL. A Linguagem de Descrição de Reuso - RDL - está formalizada através da sua BNF (Backus-Naur-Form). Esta formalização não define todas as restrições necessárias que devem ser aplicadas aos modelos construídos a partir da RDL. A Linguagem de Descrição de Reuso permite a representação das atividades de instanciação de frameworks orientados a objetos. O objetivo deste trabalho é estender a formalização da linguagem através da elaboração do seu meta-modelo utilizando um diagrama de classes UML; e através da descrição de um conjunto de restrições aplicáveis ao meta-modelo, escritas em linguagem natural e OCL (Linguagem de Restrição de Objetos), com o objetivo de detectar ambigüidades e inconsistências dos modelos.

Made available in DSpace on 2013-08-07T18:43:31Z (GMT). No. of bitstreams: 1 000399893-Texto+Completo-0.pdf: 1667296 bytes, checksum: 30db027cb6bbef2de3ec8544333c6dde (MD5) Previous issue date: 2007 / One of the main problems in the high performance computing area is the difficulty to define which is the best strategy to paralelize an application. In this context, the use of analytical methods to evaluate the performance behavior of such applications seems to be an interesting alternative and can help to identify the best implementation strategies. In this work, the Stochastic Automata Network formalism is adopted to model and evaluate the performance os parallel applications, specially developed for clusters of workstations platforms. The methodology used is based on the construction of generic models to describe classical parallel implementation schemes, like Master/Slave, Parallel Phases, Pipeline and Divide and Conquer. Those models are adapted to represent cases of real applications through the definition of input parameters values. Finally, aiming to verify the accuracy of the adopted technique, some comparisons with real applications implementation results are presented. / Um dos maiores problemas na área de computação de alto desempenho é a dificuldade de definir qual a melhor estratégia de paralelização de uma aplicação. Neste contexto, a utilização de métodos analíticos para a avaliação de desempenho de aplicações paralelas aparece como uma alternativa interessante para auxiliar no processo de escolha das melhores estratégias de paralelização. Neste trabalho, propõe-se a adoção do formalismo de Redes de Autômatos Estocásticos para modelar e avaliar o desempenho de aplicações paralelas especialmente desenvolvidas para máquinas agregadas (i. e., clusters). A metodologia utilizada é baseada na construção de modelos genéricos para descrever esquemas clássicos de implementação paralela, tais como Mestre/Escravo, Fases Paralelas, Pipeline e Divisão e Conquista. Estes modelos são adaptados em casos de aplicações reais através da definição de valores para parâmetros de entrada dos modelos. Finalmente, com intuito de verificar a precisão da técnica de modelagem adotada, comparações com resultados de implementações reais são apresentadas.

Resumo: Para atender a solicitações de manutenção em sistemas de informação, os responsáveis pelo sistema necessitam conhecer suas funcionalidades, regras de negócio, ou pelo menos, a parte do sistema que será afetada pela alteração. Esta pode ser uma tarefa simples quando executada por quem construiu o sistema, mas se torna complexa quando o projetista original foi deslocado para outras funções ou não está mais na empresa e não existe documentação para obter as informações necessárias. Neste caso, para ajudar a resolver o problema é necessário buscar informações em todos os lugares onde possam existir. Elas podem ser obtidas do esquema do banco de dados, com colegas que participaram na construção do sistema, com o usuário e nos códigos fonte dos programas, sendo este último um dos recursos mais utilizados. Quando se pretende obter informações gerenciais com cruzamento de variáveis, a falta do conhecimento das relações e regras de integridade, podem levar a resultados imprecisos ou equivocados e comprometer decisões importantes. Para fazer reengenharia de sistemas ou para criação de bases de informações gerencias o conhecimento de relações e regras de integridade são de igual forma fundamental. Por isso a proposta deste trabalho é mostrar que é possível identificar, extrair e armazenar regras de integridade referencial do código fonte para subsidiar estas atividades.

Submitted by Maria Medeiros (maria.dilva1@ufcg.edu.br) on 2018-06-05T13:58:29Z No. of bitstreams: 1 MELINA MONGIOVI CUNHA LIMA SABINO - TESE (PPGCC) 2016.pdf: 4752189 bytes, checksum: e1034c42632a733df07a498a7eea6d0b (MD5) / Made available in DSpace on 2018-06-05T13:58:29Z (GMT). No. of bitstreams: 1 MELINA MONGIOVI CUNHA LIMA SABINO - TESE (PPGCC) 2016.pdf: 4752189 bytes, checksum: e1034c42632a733df07a498a7eea6d0b (MD5) Previous issue date: 2016 / Capes / Definir e implementar refatoramentos não é uma tarefa trivial, pois é difícil definir todas as pré-condições necessárias para garantir que a transformação preserve o comportamento observável do programa. Com isso, ferramentas de refatoramentos podem ter condições muito fracas, condições muito fortes e podem aplicar transformações que não seguem a definição do refatoramento. Na prática, desenvolvedores escrevem casos de testes para checar suas implementações de refatoramentos e se preocupam em evitar esses tipos de bugs, pois 84% das asserções de testes do Eclipse e JRRT testam as ferramentas com relação aos bugs citados anteriormente. No entanto, as ferramentas ainda possuem esses bugs. Existem algumas técnicas automáticas para testar ferramentas de refatoramentos, mas elas podem ter limitações relacionadas com tipos de bugs que podem ser detectados, geração de entradas de testes, automação e performance. Este trabalho propõe uma técnica para escalar testes de ferramentas de refatoramentos. A técnica contém DOLLY um gerador automático de programas Java e C, no qual foram adicionadas mais construções de Java (classes e métodos abstratos e interface) e uma estratégia de pular algumas entradas de testes com o propósito de reduzir o tempo de testar as implementações de refatoramentos. Foi proposto um conjunto de oráculos para avaliar a corretude das transformações, dentre eles SAFEREFACTORIMPACT que identifica falhas relacionadas com mudanças comportamentais. SAFEREFACTORIMPACT gera testes apenas para os métodos impactados pela transformação. Além disso, foi proposto um novo oráculo para identificar transformações que não seguem a definição do refatoramento e uma nova técnica para identificar condições muito fortes. A técnica proposta foi avaliada em 28 implementações de refatoramentos de Java (Eclipse e JRRT) e C (Eclipse) e detectou 119 bugs relacionados com erros de compilação, mudanças comportamentais, condições muito fortes, e transformações que não seguem a definição do refatoramento. Usando pulos de 10 e 25 no gerador de programas, a técnica reduziu em 90% e 96% o tempo para testar as implementações de refatoramentos, enquanto deixou de detectar apenas 3% e 6% dos bugs, respectivamente. Além disso, detectou a primeira falha geralmente em alguns segundos. Por fim, com o objetivo de avaliar a técnica proposta com outras entradas de testes, foram avaliadas implementações do Eclipse e JRRT usando os programas de entrada das suas coleções de testes. Neste estudo, nossa técnica detectou mais 31 bugs não detectados pelos desenvolvedores das ferramentas. / Defining and implementing refactorings is a nontrivial task since it is difficult to define preconditions to guarantee that the transformation preserves the program behavior. There fore, refactoring engines may have overly weak preconditions, overly strong preconditions, and transformation issues related to the refactoring definition. In practice, developers manually write test cases to check their refactoring implementations. We find that 84% of the test suites of Eclipse and JRRT are concerned with identifying these kinds of bugs. However, bugs are still present. Researchers have proposed a number of techniques for testing refactoring engines. Nevertheless, they may have limitations related to the bug type, program generation, time consumption, and number of refactoring engines necessary to evaluate the implementations. In this work, we propose a technique to scale testing of refactoring engines by extending a previous technique. It automatically generates programs as test inputs using Dolly, a Java and C program generator. We add more Java constructs in DOLLY, such abstract classes and methods and interface, and a skip parameter to reduce the time to test the refactoring implementations by skipping some consecutive test inputs. Our technique uses SAFEREFACTORIMPACT to identify failures related to behavioral changes. It generates test cases only for the methods impacted by a transformation. Also, we propose a new oracle to evaluate whether refactoring preconditions are overly strong by disabling a subset of them. Finally, we present a technique to identify transformation issues related to the refactoring definition. We evaluate our technique in 28 refactoring implementations of Java (Eclipse and JRRT) and C (Eclipse) and find 119 bugs related to compilation errors, behavioral changes, overly strong preconditions, and transformation issues. The technique reduces the time in 90% and 96% using skips of 10 and 25 in Dolly while missing only 3% and 6% of the bugs, respectively. Additionally, it finds the first failure in general in a few seconds using skips. Finally, we evaluate our proposed technique by using other test inputs, such as the input programs of Eclipse and JRRT refactoring test suites. We find 31 bugs not detected by the developers.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2008. / Submitted by Natália Cristina Ramos dos Santos (nataliaguilera3@hotmail.com) on 2009-09-24T12:17:50Z No. of bitstreams: 1 Dissert_Elio Lima.pdf: 3437783 bytes, checksum: bc1e6463e1ec8279a695e86b6a3d7592 (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2009-10-27T12:13:31Z (GMT) No. of bitstreams: 1 Dissert_Elio Lima.pdf: 3437783 bytes, checksum: bc1e6463e1ec8279a695e86b6a3d7592 (MD5) / Made available in DSpace on 2009-10-27T12:13:31Z (GMT). No. of bitstreams: 1 Dissert_Elio Lima.pdf: 3437783 bytes, checksum: bc1e6463e1ec8279a695e86b6a3d7592 (MD5) Previous issue date: 2008-02-28 / A economia em saúde determina que os custos da prestação de serviços em saúde sejam reduzidos e que as aplicações destes recursos sejam otimizados, Neste sentido o desenvolvimento de um sistema para auxiliar a gestão eficiente do parque de equipamentos médicos hospitalares, considerando suas interações com o trabalho finalístico hospitalar, especialmente com a maior disponibilidade e racionalidade econômica, é uma necessidade da maioria dos serviços prestadores de atenção a saúde. O objetivo geral deste trabalho é apresentar uma solução de software com o intuito de estabelecer um apoio na decisão e no controle eficiente de todo o parque tecnológico instalado de tecnologia médico−hospitalar, desde seu processo de aquisição, ciclo de vida à absolecência. Os objetivos específicos estão relacionados com o estudo da realidade do Departamento de Engenharia Clinica - DEC/HUB [15], e do mercado de software livre para aplicações em ambientes Hospitalares. Além de outros resultados, a pesquisa demonstrou que na sua concepção, foi possível constatar as dificuldades no desenvolviμento e na implementação dos conceitos de Engenharia de Software[03], [04], [06], [07], [09], [16]. O sistema desenvolvido é baseado em um software implementado na linguagem PHP [22], [30], [40], [44], e banco de dados MYSQL [03], [24], [26], [44], [45], [46], e chamado de GEM−HOS. Além deste, neste panorama de intensa produção de sistemas para internet de pouca qualidade, o desenvolvimento de sistemas baseados em conceitos e técnicas de engenharia de software foi amplamente abordado. A aplicação foi testada na DEC do Hospital Universitário de Brasília - HUB. O desempenho geral do sistema foi avaliado de acordo com os resultados em muito bom. O sistema está disponível para testes na URL: www.gemhos.com.br , servindo como meio para à realização de novos trabalhos e também para que se possa usufruir dos seus recursos. ________________________________________________________________________________________ ABSTRACT / The objective of this work was to develop a system to provide an efficient management of both hospital and medical equipment facility, considering its interactions to the hospital activities, especially with a higher availability and economical rationality to the practice and developed in the PHP programming language. The system is based in software called GEM−HOS. In a way of an intense development of systems for internet, came the idea for this work, in which the relation of the existing systems with software engineering was widely explored. With a general objective of introduce a software solution to help the decisions and the efficient control of the medical−hospital technology facility, from its providing process, cycle of life to the obsolescence. The specific objective is to recognize the DEC sector reality, and the free software application in the hospital environment. In advance to other results, this research revealed that it was possible to observe the problems of development and implementation of the Software Engineering concepts. This application was tested at DEC of University of Brasilia Hospital (HUB). The system general performance was rated as a very good result. The system is available for testing at (www.gemhos.com.br), serving as base to new works and also for the use of the results.

Tese (Doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T15:03:33Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T17:04:30Z : No. of bitstreams: 1 161359.pdf: 6420229 bytes, checksum: a9f0501f52704490f9cf73a337a3f8f2 (MD5) / Desenvolvimento, implementação e avaliação de uma metodologia para a reutilização de conhecimento experiencial utilizando Raciocínio Baseado em Casos. A metodologia desenvolvida visa a representação, armazenamento, recuperação e contínua aquisição e integração do conhecimento baseado em experiências em uma Memória Corporativa. O enfoque é aplicado no contexto do paradigma Goal/Question/Metric, uma nova abordagem sobre mensuração de software, a qual auxilia na definição e implementação de metas operacionais e mensuráveis para melhoria de software.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Engenharia de Produção / Made available in DSpace on 2012-10-23T06:49:25Z (GMT). No. of bitstreams: 1 243322.pdf: 1663665 bytes, checksum: 02dbf1ef11321e424c72e17b292ef173 (MD5) / A indústria de software vem, ao longo dos anos, evidenciando esforços, no sentido de acompanhar as mudanças no mercado devido à acirrada competitividade, decorrentes de uma demanda constante e crescente por produtos de alta qualidade. A permanência num mercado altamente dinâmico e exigente impulsiona as organizações na busca de tecnologias, técnicas e metodologias que possam apoiar suas atividades com o intuito de construir produtos de alta qualidade, dentro de orçamentos e cronogramas reais, com custos razoáveis sem, contudo, extrapolar os prazos de entrega nem comprometer a produtividade e a qualidade de seus produtos e processos. A preocupação com a qualidade tem levado as organizações a adotarem distintas abordagens que, se levadas a efeito de maneira sistemática podem contribuir grandemente para a solução dos problemas enfrentados pelas organizações de desenvolvimento de software. O objetivo principal deste trabalho é a proposição de uma abordagem que compreende a utilização combinada (integrada) de reuso sistemático, teste e inspeção de software, no contexto de fábrica de software, visando à melhoria da qualidade. A metodologia proposta é validada, aplicando o modelo UML Components utilizando-se como suporte computacional a ferramenta X-Packager, a qual descreve e empacota os assets gerados ao longo do processo de desenvolvimento. Pode-se destacar como contribuições deste trabalho, a sistematização da aplicação de atividades combinadas que levam à qualidade; um melhor entendimento dos conceitos e abordagens relacionados a tais atividades; um melhor entendimento dos modelos de qualidade de produto e de processo e das diversas abordagens de fábrica de software, que embora não sejam recentes, são extremamente atuais e têm merecido a atenção de profissionais, pesquisadores e empresas que atuam nesta área.