Spelling suggestions: "subject:"8oftware - validação."" "subject:"8oftware - avalidação.""
21 |
Uma ferramenta para a simulação e validação de sistemas de navegação inercialAmbrósio, Fabrício Valgrande 27 September 2010 (has links)
CAPES / Um sistema de navegação inercial (INS) é um dispositivo autônomo capaz de determinar sua própria posição a partir de medições fornecidas por sensores inerciais. Para a presente dissertação, uma ferramenta para a simulação e validação de sistemas de navegação inercial foi desenvolvida. Essa ferramenta permite que as soluções de navegação de um INS simulado possam ser comparadas a soluções de referência analiticamente exatas. A partir dos resultados dessa comparação, o usuário pode decidir pela validade ou não validade dos algoritmos de navegação do INS simulado. A ferramenta foi desenvolvida com um foco essencialmente didático para prover ao usuário um meio para a melhor compreensão do funcionamento dos complexos algoritmos associados à navegação inercial. Apesar do foco didático, a ferramenta também possui um caráter prático relevante já que ela efetivamente permite a validação de diferentes configurações de algoritmos consistentes com o estado da arte da navegação inercial. A presente dissertação, portanto, apresenta a ferramenta desenvolvida e demonstra seu correto funcionamento através de um conjunto relevante de experimentos de simulação. / An inertial navigation system (INS) is an autonomous device that determines its own position based on measurements provided by inertial sensors. For this dissertation, a simulation and validation tool for inertial navigation systems has been developed. This tool allows the navigation solutions generated by a simulated INS to be compared against analytically exact reference solutions. Based on the results of this comparison, the user can decide if the simulated INS navigation algorithms are valid or not valid. The tool has been developed with an essentially didactic focus in order to provide the user with a way to better understand how the complex inertial navigation algorithms work. Despite the didactic focus, the developed tool has also a relevant practical aspect since it effectively permits the validation of different configurations of algorithms that are consistent with the inertial navigation state of the art. This dissertation, therefore, describes the developed tool and demonstrates its correct behavior through a relevant set of simulation experiments.
|
22 |
O uso combinado da tecnica de modelagem baseada em objetos OMT com a linguagem de especificação formal SDL como metodologia alternativa para o desenvolvimento do ambiente de software AIDAMacario, Carla Geovana do Nascimento 22 December 1997 (has links)
Orientador: Walter da Cunha Borelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-23T08:02:09Z (GMT). No. of bitstreams: 1
Macario_CarlaGeovanadoNascimento_M.pdf: 8704471 bytes, checksum: bee9de6493b42d0139961cb43f32cb24 (MD5)
Previous issue date: 1997 / Resumo: Este trabalho propõe uma metodologia alternativa para o desenvolvimento e evolução do AIOA, um software para o gerenciamento e análise de dados experimentais, em desenvolvimento na Embrapa. Esta nova metodologia consiste no uso combinado da técnica OMT (Object Modeling Technique) com a linguagem de especificação formal SOL (Specification and Oescription Language), e apresenta facilidades que produzem ga¿n ANTPOT. H¿os no processo de desenvolvimento de software, como a possibilidade de validação e de simulação do sistema, e também a geração de código para sua prototipação. A partir do modelo de classes proposto pela OMT, passa-se à especificação do sistema em SOL, levando-se em conta na elaboração de ambos os modelos, conceitos como reuso, herança e evolução de sistemas. A validação, a simulação e a geração de código do sistema tornam-se possíveis com o uso da ferramenta CASE SOT1(SOL Oesign Tool - Telelogic, Suécia). É apresentada a evolução do ambiente AIOA centralizado até uma versão distribuída, considerando uma arquitetura cliente-servidor com mecanismo CORBA, bem como exemplos de simulação e de validação destes sistemas / Abstract: The present work proposes an alternative methodology for the development and evolution of AIOA, a software environment for the management and analysis of experimental data, being developed at Embrapa, Brazil. This new technique consists of the combined use of OMT (Object Modeling Technique) with the formal specification language SDL (Specification and Description Language), in its 1992 version SDL-92, presenting strong facilities on the software development process, allowing the validation, simulation and eventual code generation for software prototyping. From the system object model and after mapping to SOL-92, the formal specification is generated considering concepts such as reuse, inheritance, and system evolution. The validation, the simulation and code generation of the system is allowed through the use of the CASE tool SOT (SOL Oesign Tool - Telelogic, Sweden). The specification of the centralized AIOA to its evolution to distributed version are presented, validated and simulated. This is followed up with a specialization and validation of thedistributed AIOA, considering an arquitecture client-server with CORBA mechanism / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica
|
23 |
Desenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo JavaGuimarães, Rafael Paoliello 31 July 2018 (has links)
Orientador : Walter da Cunha Borelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-31T15:19:09Z (GMT). No. of bitstreams: 1
Guimaraes_RafaelPaoliello_M.pdf: 1024865 bytes, checksum: 71e403fc82a4651fb1f0d61fa6da36be (MD5)
Previous issue date: 2001 / Mestrado
|
24 |
Propostas de implementação de qualidade de serviço na arquitetura VPN MPLS, utilizando linguagem de especificação formal SDL orientada a objetos e análise de desempenho utilizando o simulador OPNETCastro, Marcel Cavalcanti de 21 December 2004 (has links)
Orientador: Walter da Cunha Borelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-04T00:34:51Z (GMT). No. of bitstreams: 1
Castro_MarcelCavalcantide_M.pdf: 1488533 bytes, checksum: 5a2e57ba0fe96d5603c60ef84835b558 (MD5)
Previous issue date: 2004 / Resumo: Este trabalho apresenta propostas de implementação de qualidade de serviço na arquitetura VPN MPLS e analise de desempenho destas propostas. São desenvolvidos sistemas com base na arquitetura VPN MPLS e sugerido uma proposta de expansão da arquitetura VPN MPLS para mapeamento dinamico das prioridades dos clientes VPN na rede do provedor de serviço atraves da inserção do valor de prioridade de rota na tabela vrf e modificações realizadas no protocolo MP-BGP. As propostas foram especificadas utilizando a linguagem de especificação formal SDL orientada a objetos a partir da ferramenta SDL TAU Suite. Esta ferramenta permite simular os sistemas especificados, a partir de diagramas MSC, e validar estes sistemas para detecção e correção dos erros de logica e de especificação. A analise de desempenho das propostas foi realizada com o uso do simulador Opnet Modeler / Abstract: This work describe proposals for the implementation of quality of service (QoS) in VPN MPLS architecture, and their performance analysis based on simulations are presented. New systems are developed based on the VPN MPLS architecture, and it is being proposed an extension for the VPN MPLS architecture to construct a dynamic mapping of VPN clients priorities into service provider network through the insertion of priority field at vrf table and MP-BGP protocol modification. All these systems were specified using the SDL object-oriented formal language with the SDL TAU Suite tool (Telelogic, Sweden). This tool allows the simulation with MSC diagrams of the specified systems, and the validation of these systems by detecting and correcting logical and specification errors. The performance analysis of these proposals were realized through the Opnet Modeler simulator / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica
|
25 |
Teste de robustez de uma infraestrutura confiável para arquiteturas baseadas em serviços Web / Robustness testing of a reliable infrastructure for web service-based architecturesMaja, Willian Yabusame, 1986- 19 August 2018 (has links)
Orientador: Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-19T00:06:46Z (GMT). No. of bitstreams: 1
Maja_WillianYabusame_M.pdf: 5488949 bytes, checksum: 89d142ebb211bdb6d1eec333a99c6727 (MD5)
Previous issue date: 2011 / Resumo: Os sistemas baseados em serviços Web estão suscetíveis a diversos tipos de falhas, entre elas, as causadas pelo ambiente em que operam, a Internet, que está sujeita a sofrer com problemas como, atrasos de entrega de mensagem, queda de conexão, mensagens inválidas entre outros. Para que estas falhas não causem um problema maior para quem está interagindo com o serviço Web, existem soluções, como é o caso do Archmeds, que fornece uma infraestrutura confiável que melhora a confiabilidade e disponibilidade dos sistemas baseados em serviços Web. Mas, para o Archmeds ser uma solução confiável, ele também deve ser testado, pois ele também é um sistema que está sujeito a ter defeitos. Por isso, este trabalho propõe uma abordagem para teste de robustez no Archmeds e para isso, contou com o desenvolvimento de uma ferramenta de injeção de falhas chamada WSInject, que utiliza falhas de comunicação e dados de entrada inválidos nos parâmetros das chamadas aos serviços. Com isso espera-se emular as falhas do ambiente real de operação dos serviços Web e revelar os defeitos do sistema sob teste. Este trabalho também levou em conta que o Archmeds é uma composição de serviços Web, por isso também propõe uma abordagem para testar composições de serviços. Com os resultados deste estudo de caso, espera-se que esta abordagem de teste de robustez possa ser reutilizada para outros sistemas baseados em serviços Web / Abstract: Web service-based systems are subject to different types of faults, among them, the ones caused by the environment in which they work, which is the Internet. These faults could be problems like delay of message, connection loss, invalid message request, and others. To avoid that these faults do not become a bigger problem for the clients who are interacting with the Web service, a solution can be the use of a reliable infrastructure, like Archmeds, to increases the reliability and availability of the Web-service-based systems. Although Archmeds is a solution with the aim to increase the reliability of Web services, it is also subject to faults and for this reason, it should also be tested. This work proposes an approach to test the robustness of Archmeds and to reach this goal, a fault injection tool, called WSInject, was developed. It uses communication faults and invalid inputs into services calls. In order to reveal the failures, these faults aim to emulate the real ones that affect the Web services in the real operational environment. This work also took into account that Archmeds is a Web service composition and for this reason, it was created an approach to test it. With the results of this case study, it is expected that this approach can be adapted to others applications based in Web services technology / Mestrado / Ciência da Computação / Mestre em Ciência da Computação
|
Page generated in 0.0511 seconds