A realização de atividades de teste é indispensável para a garantia da qualidade de um produto e para a identificação de defeitos, diminuindo custos de manutenção e evitando ao máximo o risco do cliente encontrar esses defeitos. Nessa linha, testes baseados em modelos têm se mostrado atrativos, pois o custo de geração de casos de testes e de correção de defeitos tende a ser menor. Devido à sua simplicidade conceitual e expressividade na descrição do comportamento de um sistema, um dos modelos mais usados e pesquisados na área de teste baseado em modelos são as Máquinas de Estados Finitos (MEFs). Por meio de MEFs e com apoio de ferramentas apropriadas, a geração de casos de testes para avaliar os comportamentos esperados de um sistema é automatizada, reduzindo tanto o custo da geração e da manutenção quanto as falhas humanas. Desta forma, a aplicabilidade de métodos de geração de casos de teste baseados em modelos no contexto de sistemas embarcados vem sendo investigada. O objetivo deste trabalho de mestrado consiste em investigar a aplicabilidade dos métodos de geração em cenários de teste reais, com foco em sistemas embarcados, identificando as difi- culdades e limitações do processo, bem como os requisitos essenciais para a adequação dos métodos de geração propostos na literatura e de ferramentas de apoio à atividade de teste. O foco principal do projeto é a implementação de mecanismos que atendam aos requisitos levantados, visando a usabilidade, segurança e portabilidade da ferramenta / Test activities are essential to ensure the quality of products and identify faults to reduce maintenance costs and avoid that the client finds these faults. In this sense, model-based tests have been proved useful, because the cost of generating test cases and fault correction tend to be smaller. Due to its conceptual simplicity and expressiveness in describing the behavior of a system, Finite State Machines (FSM) have been used and researched in the model-based testing area. FSMs, employed with the support of appropriate tools, enable the generation of test cases in an automated way to assess the expected behavior of a system, reducing both the generation and maintenance costs and human failures. Thus, the applicability of test cases generation methods based on models in the context of embedded systems should be investigated. Test cases generation methods based on FSM are designed to derive test cases from the model. In this context, this work aims to investigate the applicability of generation methods in real-world scenarios, focusing embedded systems. It should identify the difficulties and limitations of the process, as well as the essential requirements for the adequacy of generation methods proposed in the literature and tools to support the test activity. The main focus of the project is the implementation of mechanisms that meet the elicited requirements in order to provide usability, security and tool portability

Submitted by Izabel Franco (izabel-franco@ufscar.br) on 2016-09-30T18:32:13Z No. of bitstreams: 1 TeseJVMZ.pdf: 2731888 bytes, checksum: a756e69d141b297fb91ca74654baab0d (MD5) / Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2016-09-30T19:17:40Z (GMT) No. of bitstreams: 1 TeseJVMZ.pdf: 2731888 bytes, checksum: a756e69d141b297fb91ca74654baab0d (MD5) / Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2016-09-30T19:17:49Z (GMT) No. of bitstreams: 1 TeseJVMZ.pdf: 2731888 bytes, checksum: a756e69d141b297fb91ca74654baab0d (MD5) / Made available in DSpace on 2016-09-30T19:25:18Z (GMT). No. of bitstreams: 1 TeseJVMZ.pdf: 2731888 bytes, checksum: a756e69d141b297fb91ca74654baab0d (MD5) Previous issue date: 2015-04-27 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / In recent decades, several studies have been conducted on the generation of materials at the nanoscale, not only by offering possible risks when inhaled, but also by the various applications that can be employed. Among the various equipment used for the generation of particles, atomizers generators have proved efficient and economical. Although many studies have used materials in solution, in which the material is dissolved in the solvent, generation of particles, it has been observed growing interest in the study of suspended nanometric materials, in which there is dispersion in the solvent. In addition, this growing interest in the suspended study materials is due to the need to generate solid aerosols from oxides, since they have high added value and important to be recaptured and intended back into production. Given the presented work aimed to disperse nanoparticles from suspensions, evaluating the time of the generation process over a period of 10 hours, for different equipment. The nanoparticles were generated by atomization of nickel and iron oxides suspensions at different concentrations and the atomization process were used three generator, a generator from TSI, model 3079, a commercial inhaler of the brand NS, model I-205 and a fluidized bed generator, model 3400. The size distribution and concentration of particles was determined by a Scanning Mobility Particle Sizer (SMPS), Model 3936 and a Aerodynamic Particle Sizer (APS), Model 3320, both from TSI, being sampled directly from the aerosol. The results relating to the dispersion of nanoparticles from the suspension of nickel and iron oxide proved effective in 10 hour period. However, TSI generator showed a dispersion of particles with a more uniform distribution, whereas the commercial inhaler dispersed a greater number of particles per cm3. In addition, the collection of particles by APS, there was the generation of micrometric particles, since the particles are already being generated aglomeradamente, which was observed in SEM and TEM images. / Nas últimas décadas, diversos estudos têm sido realizados sobre a geração de materiais na escala nanométrica, não só pelos possíveis riscos que oferecem quando inalados, mas também pelas diversas aplicações que podem ser empregados. Dentre os diversos equipamentos utilizados para a geração de partículas, os geradores atomizadores têm-se demonstrado eficientes e econômicos. Embora muitos trabalhos têm utilizado materiais em solução, na qual o material fica dissolvido no solvente, na geração de partículas, tem-se observado o crescente interesse de estudos sobre materiais nanométricos suspensos, nas quais não se dissolvem no solvente, mas sim se dispersão no meio. Em adição, este crescente interesse no estudo de materiais em suspensão é decorrente da necessidade de se gerar aerossóis sólidos provenientes de óxidos, uma vez que apresentam alto valor agregado, sendo importante ser recapturados e destinados de volta à produção. Diante do apresentado, o trabalho visou dispersar nanopartículas provenientes de suspensões, avaliando o tempo do processo de geração ao longo de um período de 10 horas, por diferentes equipamentos. As nanopartículas foram geradas através da atomização de suspensões de óxido de níquel e ferro em diferentes concentrações e no processo de atomização foram utilizados três geradores, um gerador da TSI, modelo 3079, um inalador comercial da marca NS, modelo I-205 e um gerador de leito fluidizado, modelo 3400. A distribuição de tamanho e concentração das partículas foram determinadas por meio de um Analisador de Partículas por Mobilidade Elétrica (SMPS), modelo 3936 e pelo Contador de Partículas (APS), modelo 3320, ambos da TSI, sendo a amostragem feita diretamente do aerossol. Os resultados referentes à dispersão das nanopartículas provenientes das suspensões de óxido de níquel e de ferro mostraram eficientes no período de 10 horas. No entanto, o gerador da TSI apresentou uma dispersão de partículas com uma distribuição mais uniforme, enquanto que o inalador comercial dispersou um maior número de partículas por cm3. Em adição, na coleta de partículas pelo APS, teve-se a geração de partículas micrométricas, uma vez que as partículas já estavam sendo geradas aglomeradamente, fato que foi observado nas imagens de MEV e MET.

A realização de atividades de teste é indispensável para a garantia da qualidade de um produto e para a identificação de defeitos, diminuindo custos de manutenção e evitando ao máximo o risco do cliente encontrar esses defeitos. Nessa linha, testes baseados em modelos têm se mostrado atrativos, pois o custo de geração de casos de testes e de correção de defeitos tende a ser menor. Devido à sua simplicidade conceitual e expressividade na descrição do comportamento de um sistema, um dos modelos mais usados e pesquisados na área de teste baseado em modelos são as Máquinas de Estados Finitos (MEFs). Por meio de MEFs e com apoio de ferramentas apropriadas, a geração de casos de testes para avaliar os comportamentos esperados de um sistema é automatizada, reduzindo tanto o custo da geração e da manutenção quanto as falhas humanas. Desta forma, a aplicabilidade de métodos de geração de casos de teste baseados em modelos no contexto de sistemas embarcados vem sendo investigada. O objetivo deste trabalho de mestrado consiste em investigar a aplicabilidade dos métodos de geração em cenários de teste reais, com foco em sistemas embarcados, identificando as difi- culdades e limitações do processo, bem como os requisitos essenciais para a adequação dos métodos de geração propostos na literatura e de ferramentas de apoio à atividade de teste. O foco principal do projeto é a implementação de mecanismos que atendam aos requisitos levantados, visando a usabilidade, segurança e portabilidade da ferramenta / Test activities are essential to ensure the quality of products and identify faults to reduce maintenance costs and avoid that the client finds these faults. In this sense, model-based tests have been proved useful, because the cost of generating test cases and fault correction tend to be smaller. Due to its conceptual simplicity and expressiveness in describing the behavior of a system, Finite State Machines (FSM) have been used and researched in the model-based testing area. FSMs, employed with the support of appropriate tools, enable the generation of test cases in an automated way to assess the expected behavior of a system, reducing both the generation and maintenance costs and human failures. Thus, the applicability of test cases generation methods based on models in the context of embedded systems should be investigated. Test cases generation methods based on FSM are designed to derive test cases from the model. In this context, this work aims to investigate the applicability of generation methods in real-world scenarios, focusing embedded systems. It should identify the difficulties and limitations of the process, as well as the essential requirements for the adequacy of generation methods proposed in the literature and tools to support the test activity. The main focus of the project is the implementation of mechanisms that meet the elicited requirements in order to provide usability, security and tool portability