• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 20
  • 5
  • Tagged with
  • 25
  • 25
  • 25
  • 25
  • 21
  • 19
  • 17
  • 11
  • 9
  • 8
  • 5
  • 5
  • 5
  • 5
  • 4
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
11

Um modelo de referência para ferramenta de identificação de violações da lei de demeter

Roberto Pepato Mellado 14 May 2015 (has links)
Uma das principais preocupações consideradas na Engenharia de Software consiste na redução do custo de manutenção durante seu ciclo de vida, que pode compreender até 67% de seu custo total. A qualidade interna do código-fonte de um software representa um dos aspectos relacionados ao seu grau de manutenibilidade. Características de seu design como sua estruturação e facilidade de compreensão podem influenciar o esforço associado à sua manutenção. Especialistas em projetos de sistemas Orientados a Objetos (OO) defendem que a manutenção de baixo acoplamento entre os módulos resultam em produtos de software mais confiáveis e manuteníveis. Ao longo dos anos, autores formularam heurísticas para auxiliar os programadores a realizarem a tarefa de controlar o acoplamento entre módulos de um software. Uma destas heurísticas, a Lei de Demeter (Law of Demeter - LoD), foi proposta com a motivação de favorecer a modularização de um software através de sua aplicação. A Análise Estática de Código (AES) consiste em uma dentre as possíveis abordagens para automação da verificação da aderência ou violação da LoD no código-fonte de um software. Entretanto, sua aplicaçãoo pode apre- sentar alguns desafios como longos tempos de execução de análise, ruído excessivo e taxas inaceitáveis de falsos-positivos. Neste trabalho de pesquisa, se investiga, concebe, implementa e verifica um framework, denominado Law Of Demeter Reduced (LoDRed), para identificação automatizada de violações da LoD utilizando AES e redução do volume de ruídos resultantes. Nele, propõe-se ainda uma extensão para LoD, a Extensão da Lei de Demeter (Law of Demeter Extension - LoD-E) com a finalidade de investigar, definir e suportar, sob a ótica da LoD, elementos para análise de algumas construções particulares de linguagens OO como generics e lambda expressions, além de considerar a aplicação de filtros sobre agrupamentos lógicos. O framework LoDRed consiste na principal contribuição desta pesquisa. Ele define um processo, composto por quatro métodos que, em conjunto, têm a finalidade de identificar e reportar, de forma automatizada, violações da LoD e da LoD-E nos códigos-fonte de softwares. A sua implementação resultou em três produtos de software de código aberto e foi verificada nesta pesquisa por meio da execução de um experimento que apresentou redução no volume de ruídos da ordem de até 95%.
12

Uma estrutura de comunicação de dados para o ambiente CNS/ATM brasileiro.

Marck da Silva 00 December 2004 (has links)
Este trabalho de investigação envolve sistemas de comunicação no campo aeroespacial. Nele, foi desenvolvida uma Estrutura de Comunicação de Dados entre um Órgão de Controle de Tráfego Aéreo e Aeronaves. Ele descreve a necessidade de levantamento e acompanhamento dos mais evidentes e significativos avanços tecnológicos no ambiente de Comunicação, Navegação e Vigilância para o Gerenciamento de Tráfego Aéreo (Communication, Navigation, Surveillance/Air Traffic Management - CNS/ATM) brasileiro, com enfoque nas comunicações por enlace de dados. Ele aborda também as principais dificuldades atuais enfrentadas por controladores de tráfego aéreo e pilotos de aeronaves durante o processo de troca e compreensão de mensagens. Este trabalho pode servir de base para a investigação sobre o desenvolvimento e implementação de aplicativos que diminuam o esforço requerido por controladores e pilotos durante a troca e compreensão de mensagens. Nele, abordou-se tópicos relacionados ao ambiente CNS/ATM, ao controle de tráfego aéreo, aos sistemas de comunicação, à Engenharia de Software, às metodologias para o seu desenvolvimento, às ferramentas de auxílio à criação e às linguagens de programação orientadas a objeto. Nele, foram ainda utilizadas: a Técnica de Modelagem de Objetos (Object Modeling Technique - OMT) adaptada ao padrão da Linguagem de Modelagem Unificada (Unified Modeling Language - UML); e as Ferramentas de Engenharia de Software auxiliadas por computador, propiciando maior agilidade no desenvolvimento. Isso possibilitou a geração dos diagramas e documentação necessários para uma melhor compreensão. A etapa de implementação ocorreu, por meio de ferramentas com recursos visuais para edição e compilação do código, facilitando a geração do Protótipo e a realização de seus testes funcionais. Finalmente, uma Interface Gráfica para o Usuário foi desenvolvida como parte integrante de um Protótipo, para reduzir esforços de comunicação e assegurar o processo de troca e interpretação de mensagens entre Controladores e Pilotos.
13

Um ambiente de visualização da evolução da trajetória de veículos espaciais brasileiros.

Gláucia Braga e Silva 13 June 2007 (has links)
Sistemas gráficos têm mostrado participação em diversos segmentos da sociedade. No setor aeroespacial, eles têm se apresentado cada vez mais aplicáveis, constituindo importantes ferramentas para auxílio nas missões de lançamento de foguetes. A proposta deste trabalho é o desenvolvimento de um protótipo de ambiente para visualização dos dados de trajetória de veículos espaciais brasileiros, visando auxiliar o acompanhamento das operações de lançamento. Este protótipo de ambiente é responsável por apresentar graficamente, em três dimensões, a evolução do foguete durante o vôo, sua atitude em cada instante, além das curvas de trajetória e pontos de impacto correspondentes. Conceitos e técnicas de Computação Gráfica, como Modelagem 3D e Mapeamento de Texturas, embasam a construção dos modelos. Métodos e Técnicas da Modelagem e do Desenvolvimento Orientados a Objetos fundamentam a criação do protótipo. Eles favorecem o reuso e possíveis especializações do ambiente em lançamentos reais ou adaptações para situações particulares, como lançamento de outros tipos de foguetes, ou realização de testes com variações nos dados de trajetória nominal.
14

Um método dirigido por responsabilidades para obtenção antecipada de pontos de estabilidade e de flexibilidade no desenvolvimento de frameworks de domínio.

Simone Nasser Matos 01 July 2008 (has links)
Várias abordagens propostas para o desenvolvimento de frameworks de domínio determinam os pontos de estabilidade e de flexibilidade a partir dos diagramas de classes ou do nome dos casos de uso ou de classes das aplicações. A dificuldade em se analisar os diagramas é que o desenvolvedor deverá compreender o funcionamento dos métodos das classes para conseguir identificar os pontos que são de estabilidade ou flexibilidade. Como resultado, há uma demora até que o desenvolvedor possa classificá-los. Por sua vez, as abordagens baseadas na análise de nomes, seja de caso de uso ou de classes, oferecem um processo independente para classificação dos pontos. Ou seja, os casos de uso já classificados não são utilizados como referência durante a determinação dos pontos em nível de classe, tornando o processo mais demorado. Tanto na análise de diagramas de classes quanto de nomes, o processo de classificação é feito de forma manual, dificultando a determinação de quais artefatos de software das aplicações serão reusadas com ou sem modificação durante a modelagem do framework. Neste trabalho é apresentado um método dirigido por responsabilidades que visa a identificar os pontos de estabilidade e de flexibilidade em fase inicial do processo de desenvolvimento de framework de domínio. Esse método identifica e classifica os pontos a partir do conjunto de responsabilidades dos casos de uso de cada aplicação. A classificação inicial para os casos de uso é utilizada como entrada do processo de classificação em nível de classe. Desta forma, o processo oferecido é dependente da classificação dos casos de uso e não independente como em outras abordagens. O método foi formalizado usando a teoria de conjuntos e implementado em um modelo relacional, facilitando a identificação dos pontos por um processo apoiado por computador. A aplicação do método foi ilustrada na elaboração do framework para os seguintes domínios: jogos de corrida de carros, jogos para celulares e criticidade.
15

Um procedimento para verificação da qualidade de código no desenvolvimento de software.

Pascaly Santos Riveros 26 September 2008 (has links)
Os processos de desenvolvimento de software, de uma forma geral, não apresentam detalhes das atividades e dos procedimentos relacionados à verificação da qualidade de código. Baseado em pesquisas relacionadas à verificação da qualidade de código, métricas e medidas de software foi elaborado e avaliado um procedimento para verificação da qualidade de código-fonte de uma linguagem orientada a objeto. Através do procedimento desenvolvido, é possível identificar se o código-fonte possui as características de qualidade adequadas a um projeto de desenvolvimento de software. As métricas de codificação são identificadas a partir da definição das características de qualidade apropriadas ao projeto. O procedimento proposto foi utilizado em um ambiente de desenvolvimento real, o que possibilitou a avaliação de sua utilização e permitiu a verificação de suas vantagens e benefícios. Possíveis melhorias, bem como algumas limitações do procedimento também foram verificadas.
16

A new architectural approach for interoperability of real-time system components.

Emilia de Menezes Colonese 12 March 2010 (has links)
Interoperability is a key property of distributed applications, which is hard to achieve due to the large number of interoperating components and semantic heterogeneity. Distributed Real-Time Systems (RTS) have strict requirements of performance. The interoperability of Distributed RTS components challenges the computer engineering community to fulfill these requirements. These systems are increasingly based on Commercial-Off-The-Shelves (COTS) middlewares for data exchange, which design is implemented to solve the interoperability problem for several context-domain systems and support many distinct computational requirements. As a result, the complexity of these middleware solutions deteriorates the overall system performance, which is unacceptable according to RTS requirements. This work brings a new approach for RTS interoperability, since it is focused on the basic middlewares functionality (distributed computing) for the RTS domain-context. The solution provides a mechanism, named Interoperability Mechanism, designed to substitute the interfaces translations used in actual middleware systems. Hence, the proposed solution includes an open, reusable and standardized Component-based Architectural Reference-Model including the interoperability aspect, named IRMA that delivers specific domain-context interoperability solution eliminating complex middlewares solutions. Therefore, the new approach facilitates the development of an open, reusable, standardized, and interoperable RTS by implementing the IRMA framework. The contribution of the proposed approach is an effective communication process among RTS components that reduces architectural layers, and the development effort due to the formalized Reference-Model design. The IRMA framework is applied in a RTS prototype to test and validate the new approach, providing indications of improvements.
17

Implementação de operações booleanas regularizadas entre primitivas CSG em VRML.

Ismar Frango Silveira 00 December 1997 (has links)
A Modelagem de Sólidos vem se estabelecendo como uma área da Computação Gráfica em pleno crescimento, sendo responsável pelo tratamento de problemas envolvendo a manipulação, análise e exibição interativa de modelos computacionais de objetos sólidos. Sistemas de CAD, CAM e CAE contribuíram para a popularização do uso de diversos conceitos dessa área. Ademais, o recente advento da Realidade Virtual mostrou a importância da aplicação de tais conceitos no projeto de mundos virtuais. A intenção inicial do presente trabalho foi a de elaborar um Sistema Modelador de Sólidos completo. Contudo, um sistema de tal monta demandaria mais tempo do que o disponível, além de exigir o trabalho em conjunto de uma equipe de analistas e programadores. Assim sendo, os esforços foram aplicados na elaboração de um sistema de suporte às Operações Booleanas Regularizadas, que são o cerne da técnica CSG. Tal sistema foi projetado de forma a garantir a portibilidade necessária para permitir sua execuçãm em diversos tipos de plataformas de hardware e software. Assim sendo, o presente trabalho propõe-se a estudar, analisar e dar suporte às Operações Booleanas Regularizadas entre primitivas CSG inseridas em mundos virtuais escritos em VRML (Virtual Reality Modeling Language), que não dá suporte a tais operadores. Apresenta-se aqui uma extensão à tal linguagem, além de métodos e algoritmos utilizados para a aproximação dos sólidos através da técnica de octrees.
18

Proposta de processo de desenvolvimento para sistemas de comando e controle

Jorge Habib Hanna El Khouri 01 November 1991 (has links)
Esta dissertação propõe um ambiente de desenvolvimento de software para o setor de geração e transmissão de energia. O espaço problema delimitado abrange o sistema de potência formado pelo setor de 60 Hz da interligação ITAIPU/FURNAS. A Análise Essencial é utilizada para especificar um sistema independente da tecnologia de implementação. O modelo da essência identifica corno itens criticos: a representação em console da configuração dos elementos que compõem o sistema de potência, e a formalização das instruções de operação aplicáveis ao Esquema Suplementar de Proteção e à Operação em Emergência do sistema interligado. Assim, na continuação deste trabalho, é utilizado o paradigma orientado para objeto na obtenção do tipo abstrato diagrama, que soluciona o item relacionado com a representação do estado de operação do sistema de potência. Adicionalmente, a tecnologia de Inteligência Artificial, mais especificamente Sistemas Especialistas, é utilizada para formalizar as instruções de operação e fornecer aos despachantes os procedimentos para manter o sistema interligado em configuração permitida.
19

Benchmarking software requirements documentation for space applications

Paulo Claudino Véras 04 October 2011 (has links)
Poorly written requirements are a common source of software defects. In application areas like space systems, the cost of malfunctioning software can be very high. This way, assessing the quality of software requirements before coding is of utmost importance. This work proposes a systematic procedure for assessing software requirements for space systems that adopt the European Cooperation for Space Standardization (ECSS) standards. The main goal is to provide a low-cost, easy-to-use benchmarking procedure that can be applied during the software requirements review to guarantee that the requirements specifications comply with the ECSS standards, as well as they do not have any one of the most frequent errors on this kind of document. The benchmark includes three checklists that are composed of a set of questions to be applied to the requirements specification: the first is based directly on the ECSS Packet Utilization Standard (PUS), the second one is based on the Conformance and Fault Injection (CoFI) methodology, and the last one is based on a field study about the most common real errors found in software requirements specification of space applications. The goal of the field study is to understand and characterize the most frequent types of requirement problems in this critical application domain. The results of the study are also used to propose a set of operators that define how to inject realistic errors in requirement documents. The benchmark is applied to software requirements specifications of three projects (one academic project and two industrial space projects) for two of the services described in the PUS by seven specialists. The obtained results were compared and discussed.
20

Uma abordagem de teste de integração para aplicações orientadas a objetos baseada na reutilização de teste de unidade

Lucas Gonçalves Nadalete 05 August 2011 (has links)
A atividade de teste de software é realizada visando a assegurar a maior qualidade possível nos produtos de software. O uso e a aplicação de testes de unidade no desenvolvimento de software Orientado a Objetos têm sido cada vez mais comuns com o surgimento de abordagens de desenvolvimento ágil, e de técnicas como o Desenvolvimento Dirigido por Teste (TDD) na Engenharia de Software. Dessa forma, os testes aplicados em nível de integração assumem exímia relevância, ao propiciarem a validação da interoperabilidade entre as unidades que compõem o sistema de software. No entanto, o custo e esforço de se derivar ou construir, e ao mesmo tempo executar os testes de integração em uma progressão ordenada e controlada, representam variáveis que podem inviabilizar sua aplicação. Assim, o foco principal desta pesquisa recai sobre a necessidade de uma estratégia de teste de integração que possibilite o reuso dos testes de unidade gerados, no estabelecimento da precedência de integração entre as unidades, e na derivação e execução dos testes de integração, visando a reduzir o esforço e custo das atividades de teste. Dessa forma, a principal contribuição desta pesquisa consiste na concepção e desenvolvimento de uma abordagem para teste de integração em software orientado a objetos, que propicia o teste de interações interclasses. Para tornar possível sua aplicação, um diagrama de dependências entre testes de unidade, uma estratégia de derivação e execução de teste de integração e um protótipo de framework de apoio a essa atividade também foram desenvolvidos. Além de uma fundamentação teórica e de um levantamento sobre os principais trabalhos relacionados existentes, esta pesquisa apresenta a aplicação da abordagem concebida em dois estudos de caso distintos, buscando mostrar a sua aplicabilidade e exequibilidade, acompanhada por análises e discussões dos principais resultados obtidos.

Page generated in 0.1231 seconds