MÉTODOS de geração de casos de teste visam a gerar um conjunto de casos de teste com uma boa relação custo/benefício. Critérios de cobertura de teste definem requisitos de teste, os quais um conjunto de teste adequado deve cobrir. Métodos e critérios visam a selecionar casos de teste baseados em especificações, que podem ser descritas por meio de modelos, tais como Máquinas de Estados Finitos (MEF). Existem diversos métodos de geração e critérios de cobertura, diferindo entre si em função das propriedades exigidas da MEF, do custo dos testes gerados e da eficácia na revelação de defeitos. Apesar de pesquisas intensas na definição desses métodos e critérios, são poucas as ferramentas de apoio disponíveis assim como são poucos os relatos de aplicação em termos de custo e eficácia para a definição de estratégias de teste efetivas. Dessa forma, é necessário obter dados reais das vantagens e desvantagens dos métodos e critérios para subsidiar a tomada de decisão no processo de desenvolvimento de software no que tange às atividades de teste e validação. Este trabalho apresenta resultados de experimentos para avaliar o custo e a eficácia de aplicação dos métodos e critérios mais relevantes para subsidiar a definição de estratégias de teste em diversos contextos, como por exemplo, no desenvolvimento de protocolos e de sistemas reativos. Utiliza-se um protótipo desenvolvido a partir de uma reengenharia da ferramenta Plavis/FSM para apoiar os experimentos / TEST case generation methods aim to generate a test suite that offers an acceptable trade-off between cost and avail. Test coverage criteria define testing requirements, which an adequate test suite must fulfill. Methods and criteria help to select test case from specifications, which can be describe as models, for example Finite State Machines (FSM). There are several generation methods and coverage criteria that differ depending on the required properties of the FSM, the cost of generated tests and the effectiveness in revealing faults. In spite of intense researches in the definition of those methods and criteria, there are few available tools to apply them as well as application reports about cost and effectiveness issues to define effective test strategies. Thus, it is necessary to obtain real data of the advantages and disadvantages of the methods and criteria to provide decision-making in the software development process as far in the validation and test activities. This work aimed to lead experiments to evaluate the cost and the effetiveness in applying the most relevant methods and criteria to subsidize test strategies definition in several contexts as the communication protocol development and the reactive systems development. A prototype was developed based on reengineering of the Plavis/FSM tool to support the experiments

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The steady advance of digital technology and its strong presence in school settings point to a new way of using technology in this environment. Traditionally, digital technology is used by teachers and students as a source of researches and, moreover, by the teacher as an alternative methodology that helps in the classroom. This dissertation aims about digital technology as a basic tool in conducting evaluations and performance, especially in the discipline of Mathematics. Thus, its research question is: there are differences in Mathematics performance when activities are performed on the computer? From this, the overall aim of this work is to compare the performance of students in the discipline of Mathematics, when conducting tests based on paper (PPT) and computer-based (CBT). To support the discussion, we will also address issues related to large-scale assessments, which indicate the performance of students, schools and systems. For this, we divide the dissertation into three articles, in order to address in more detail the different subjects that make up this work. The first paper investigated if previous studies have found differences in performance in Mathematics in digital and printed tests in materials published in journals Portal CAPES. The second article provides an overview of the different evaluations that occur in Brazil and focuses on the National Assessment System (SAEB). The text analyzes the mean performance in Mathematics, systems obtained in Rio Grande do Sul, in the editions 2005, 2007, 2009 and 2011 of SAEB, to try to understand possible trends and fluctuations in average. The third and final article presents the construction and application of a Mathematics test performance, confronted the results between the digital version and the printed version. In addition, also compared performance on the test paper with the results of the national assessment, since the instrument constructed was based on evaluations SAEB. The set of three articles showed us that although the research in this field are recent, it is possible to think about large-scale assessments performed on the computer. Both performances, PPT and CBT, were different: the strategies for resolution of the issues are modified according to the means of achievement. Furthermore, the use of technology can be a more effective way to school gets its results, so that modifications can be made within the same school year. Finally, using computer for this new purpose, it is possible explore different abilities of students, motivate the use of this tool in the school environment and streamline the process of national evaluation. / O contínuo avanço das tecnologias digitais e a sua forte presença nos contextos escolares sinalizam para um novo modo de uso da tecnologia neste ambiente. Tradicionalmente, a tecnologia digital é utilizada por professores e alunos como uma fonte de buscas e pesquisas e, além disso, pelo docente como uma metodologia alternativa que o auxilia em sala de aula. Nesta dissertação de mestrado veremos a tecnologia digital como uma ferramenta base na realização de avaliações e testes de desempenho, em especial na disciplina de matemática. Dessa maneira, nossa questão de pesquisa é: há diferenças no desempenho em matemática quando as atividades são realizadas no computador? A partir disso, o objetivo geral da dissertação é comparar o desempenho de alunos, na disciplina de matemática, quando realizam testes baseado em papel (PPT) e baseado em computador (CBT). Para embasar a discussão, abordaremos também questões relacionadas às avaliações em larga escala, voltadas a diagnosticar o desempenho dos estudantes, escolas e sistemas. Para isso, dividimos a dissertação em três artigos, com o objetivo de abordar de maneira mais detalhada os diferentes assuntos que compõem este trabalho. O primeiro artigo investigou, junto a materiais publicados no Portal de periódicos da CAPES, se pesquisas já realizadas encontraram diferença de desempenho, em matemática, em testes digitais e impressos. O segundo artigo apresenta um panorama das diferentes avaliações que ocorrem no Brasil e foca no Sistema Nacional de Avaliação da Educação Básica (SAEB). O texto analisa as médias de desempenho em matemática, obtidas pelos sistemas do Rio Grande do Sul, nas edições 2005, 2007, 2009 e 2011 do SAEB, para tentar compreender possíveis oscilações e tendências nas médias. O terceiro e último artigo apresenta a construção e aplicação de um teste de desempenho de matemática, confrontado os resultados entre a versão digital e a versão impressa. Além deste viés, também comparamos os desempenhos do teste em papel com os resultados da avaliação nacional, uma vez que o instrumento construído se baseou nas avaliações do SAEB. O conjunto dos três artigos nos mostrou que, embora as pesquisas neste campo sejam recentes, é possível pensar em avaliações em larga escala realizadas no computador. Isto porque, além dos desempenhos em PPT e CBT serem diferentes, as estratégias de resolução das questões se modificam de acordo com o meio de realização. Além disso, o uso da tecnologia pode ser uma maneira mais eficaz de retornar às escolas seus resultados, de modo que modificações possam ser feitas dentro de um mesmo ano letivo. Por fim, trazendo o computador para esta nova finalidade, é possível explorar diferentes habilidades dos alunos, motivar o uso desta ferramenta no ambiente escolar e agilizar o processo de avaliação nacional.

MÉTODOS de geração de casos de teste visam a gerar um conjunto de casos de teste com uma boa relação custo/benefício. Critérios de cobertura de teste definem requisitos de teste, os quais um conjunto de teste adequado deve cobrir. Métodos e critérios visam a selecionar casos de teste baseados em especificações, que podem ser descritas por meio de modelos, tais como Máquinas de Estados Finitos (MEF). Existem diversos métodos de geração e critérios de cobertura, diferindo entre si em função das propriedades exigidas da MEF, do custo dos testes gerados e da eficácia na revelação de defeitos. Apesar de pesquisas intensas na definição desses métodos e critérios, são poucas as ferramentas de apoio disponíveis assim como são poucos os relatos de aplicação em termos de custo e eficácia para a definição de estratégias de teste efetivas. Dessa forma, é necessário obter dados reais das vantagens e desvantagens dos métodos e critérios para subsidiar a tomada de decisão no processo de desenvolvimento de software no que tange às atividades de teste e validação. Este trabalho apresenta resultados de experimentos para avaliar o custo e a eficácia de aplicação dos métodos e critérios mais relevantes para subsidiar a definição de estratégias de teste em diversos contextos, como por exemplo, no desenvolvimento de protocolos e de sistemas reativos. Utiliza-se um protótipo desenvolvido a partir de uma reengenharia da ferramenta Plavis/FSM para apoiar os experimentos / TEST case generation methods aim to generate a test suite that offers an acceptable trade-off between cost and avail. Test coverage criteria define testing requirements, which an adequate test suite must fulfill. Methods and criteria help to select test case from specifications, which can be describe as models, for example Finite State Machines (FSM). There are several generation methods and coverage criteria that differ depending on the required properties of the FSM, the cost of generated tests and the effectiveness in revealing faults. In spite of intense researches in the definition of those methods and criteria, there are few available tools to apply them as well as application reports about cost and effectiveness issues to define effective test strategies. Thus, it is necessary to obtain real data of the advantages and disadvantages of the methods and criteria to provide decision-making in the software development process as far in the validation and test activities. This work aimed to lead experiments to evaluate the cost and the effetiveness in applying the most relevant methods and criteria to subsidize test strategies definition in several contexts as the communication protocol development and the reactive systems development. A prototype was developed based on reengineering of the Plavis/FSM tool to support the experiments

[pt] Na etapa de testes de software, as falhas podem ser reveladas e em seguida diagnosticadas a fim de identificar os defeitos que a causaram. Os testes devem idealmente ser aplicados desde o nível da unidade até o nível mais elevado do software, como o teste de sistema. Em um destes níveis está o teste da interface gráfica, ou Graphical User Interface (GUI). Garantir o correto funcionamento da GUI quanto ao estado de seus elementos após diversos eventos de usuário, é tão importante quanto o teste de outras camadas, pois a GUI é um meio direto de interação com a aplicação, sendo o recurso que mais influencia em como será qualificada a experiência pelo usuário final. Este trabalho propõe uma abordagem de teste baseado em modelo, ou Model-Based Testing (MBT), utilizando Redes de Petri (RP) de alto nível para representar a interface gráfica. A Rede de Petri é uma ferramenta de modelagem e uma linguagem de especificação de base matemática que define graficamente a estrutura de sistemas especialmente concorrentes. Uma característica importante das RPs é que elas podem ser simuladas, permitindo que se observe o comportamento do sistema e que se obtenha a geração de casos de teste a partir dos caminhos executados na simulação. Foi investigada a geração de suítes de teste para interface gráfica a partir do modelo Rede de Petri. Para isso, considerou-se a relação entre as ações do usuário e os estados resultantes na GUI, percebendo como uma RP pode modelá-los. Uma ferramenta de apoio foi desenvolvida para que, a partir das simulações realizadas na Rede de Petri, suítes de teste fossem geradas na linguagem C mais mais, tornando possível a execução automática em um software de estudo. Por fim, o critério de teste Análise de Mutantes, que mede a eficácia da suíte gerada a partir da RP, foi empregado como um dos meios de validação deste trabalho. / [en] In software testing stage, faults can be revealed and then diagnosed to identify defects that caused it. Tests should ideally be applied from the unit level to the higher level of software, such as system testing. In one of these levels resides GUI (Graphical User Interface) testing. Ensuring the correct operation of the GUI on the state of its elements after various user events is as important as the other layers tests, since GUI is a direct way to interact with the application, being the feature that most influences how the experience will be qualified by the end user. This paper proposes a Model-Based Testing (MBT) approach using high-level Petri Nets (RP) to represent graphical user interface. Petri Net is a modeling tool and a mathematical specification language that graphically defines the structure of systems, specially the concurrent ones. An important feature of RPs is that they can be simulated, allowing one to observe the behavior of the system and to obtain the generation of test cases from the paths executed in the simulation. The generation of test suites for GUI from the Petri Net model was investigated. For this, we considered the relationship between user actions and resulting states in the GUI, realizing how an RP can model them. A support tool was developed so that, from the simulations of Petri Net, test suites were generated in C plus plus language, making it possible to auto-run them on a study software. Finally, the Mutation Analysis test criterion, which measures the effectiveness of the suite generated from RP, was employed as a means of validation of this work.

Submitted by Diogo Barreiros (diogo.barreiros@ufba.br) on 2017-06-12T17:22:46Z No. of bitstreams: 1 andre_2016_CEAPG.pdf: 7833011 bytes, checksum: 86edf4d590dbbdf5d10fe1f966f694e4 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-29T11:47:29Z (GMT) No. of bitstreams: 1 andre_2016_CEAPG.pdf: 7833011 bytes, checksum: 86edf4d590dbbdf5d10fe1f966f694e4 (MD5) / Made available in DSpace on 2017-06-29T11:47:29Z (GMT). No. of bitstreams: 1 andre_2016_CEAPG.pdf: 7833011 bytes, checksum: 86edf4d590dbbdf5d10fe1f966f694e4 (MD5) / O n´umero de aplica¸c˜oes m´oveis e sens´ıveis ao contexto aumenta a cada dia. Estas aplica¸c˜oes precisam ser testadas para assegurar um n´ıvel adequado de qualidade. Quando a aplica¸c˜ao m´ovel depende de informa¸c˜oes de contexto, sejam elas obtidas via sensores f´ısicos e/ou virtuais, a complexidade e o custo relativos `a etapa de testes aumenta consideravelmente, pois os sensores fornecem `a aplica¸c˜ao um volume maior e mais diverso de dados em compara¸c˜ao com a inser¸c˜ao direta pelo usu´ario, como ocorre nas aplica¸c˜oes tradicionais. Existem abordagens que almejam a gera¸c˜ao de casos de teste com informa¸c˜oes de contexto para estes aplicativos. Algumas delas utilizam modelos de contexto da aplica¸c˜ao para gerar casos de teste, ou ent˜ao usam padr˜oes de eventos de contexto. Estas abordagens possuem uma desvantagem no tipo de informa¸c˜ao que ´e gerada, cujo formato geralmente ´e uma s´erie de dados de sensores em baixo n´ıvel, como conjuntos de coordenadas GPS. Dados de contexto de alto n´ıvel, como a chegada, presen¸ca e sa´ıda de uma reuni˜ao, por exemplo, n˜ao s˜ao considerados por estas abordagens. Esta pesquisa tem como objetivo investigar como a gera¸c˜ao sistem´atica de casos de teste com dados de contexto em alto n´ıvel de abstra¸c˜ao pode ajudar o testador de aplicativos m´oveis. Nesta disserta¸c˜ao propomos um m´etodo (denominado CEmanTIKA Test Creator) para gera¸c˜ao de casos de teste onde o testador confecciona de forma sistem´atica os dados de contexto para os casos de teste. Para apoiar o testador na gera¸c˜ao dos casos de teste, combinamos os dados de contexto obtidos nos modelos de contexto da aplica¸c˜ao com padr˜oes de defeitos em fontes de contexto. Para avaliar a proposta implementamos um prot´otipo dentro da ferramenta de modelagem de contexto CEManTIKA CASE e integramos os casos de teste gerados ao simulador de contexto Context Simulator. Realizamos um estudo emp´ırico com uma abordagem qualitativa na qual participantes volunt´arios executaram o m´etodo proposto em uma aplica¸c˜ao m´ovel de teste denominada NoCamInMeeting. Ao analisar os dados obtidos, conclu´ımos que a abordagem gera casos de teste com boa cobertura, embora com alguma redundˆancia, e tamb´em que a divis˜ao sistem´atica das tarefas para a gera¸c˜ao dos casos de teste ajuda os testadores a poupar tempo e esfor¸co.

Made available in DSpace on 2014-06-12T15:59:48Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / A especificação formal de um sistema ou seu modelo formal é uma forma abstrata de representar suas propriedades (características). Métodos formais é um ramo da Engenharia de Software com foco no desenvolvimento de sistemas tendo uma especificação formal do mesmo como ponto de partida. Inicialmente, as vantagens de usar notações abstratas antes da implementação do sistema estavam apenas relacionadas a um melhor entendimento do problema. Depois, tornou-se evidente que o uso de notações formais abstratas combinadas com técnicas de refinamentos de modelos reduzem o tempo de desenvolvimento e aumentam a qualidade do produto de sistema. A fase de testes é positivamente influenciada pelo uso de métodos formais. Pesquisas têm sido desenvolvidas para melhorar a qualidade do sistema usando modelos formais e casos de teste. Uma vez verificadas as propriedades do sistema através de uma investigação dos modelos formais, é possível gerar casos de testes confiáveis do sistema que serão colocados em ação para verificar a implementação do sistema posteriormente. O campo de pesquisa que explora métodos formais aplicados com testes de software é chamada de Testes Baseados em Modelos, ou simplesmente MBT, do inglês Model-Based Testing. Porém, há situações onde não é possível possuir o modelo abstrato definido a priori. Para superar tal restrição outras técnicas surgiram para sintetizar um modelo abstrato seguindo apenas execuções do sistema. As execuções de um sistema contêm comportamentos necessários para construir um modelo abstrato desse sistema. Na literatura atual, tais técnicas usadas para construir representações abstratas seguindo execuções do sistema são chamadas de Anti-Model- Based Testing ou simplesmented Anti-MBT. Então, depois de construir um modelo abstrato, técnicas de verificação de modelos e geração de casos de teste seguindo modelos formais podem ser aplicadas normalmente. O propósito desse trabalho é dar suporte a algumas técnicas de MBT usadas no contexto da Motorola (CIn/BTC). Em tais técnicas, as especificações usadas para gerar casos de testes são geralmente incompletas, inconsistentes, e às vezes não existem. Portanto, usando casos de testes reais do sistema é possível criar novas especificações e atualizar especificações originais do sistema, e posteriormente gerar novos casos de teste usando comportamentos válidos do sistema. Um outro problema detectado em nosso contexto é a distância existente entre as representações abstratas e reais. Um caso de teste abstrato, por exemplo, é útil em técnicas formais, mas não é possível executar um caso de teste diretamente no sistema. Dessa forma, para executar (manualmente ou automaticamente) os casos de teste gerados pelas técnicas de MBT é necessário primeiro traduzi-los em uma representação real. Como resultado desse trabalho nós desenvolvemos técnicas formais de modelagem do comportamento do sistema usando casos de teste. Os resultados das técnicas de modelagem são modelos formais especificados nos formalismos de LTS ou CSP. Além disso, nós definimos uma técnica de unificação que une modelos formais gerados a partir de diferentes artefatos do sistema (requisitos e casos de teste). O resultado da técnica de unificação é um completo e unificado modelo do sistema, que contém informações providas de diferentes artefatos. Nós também definimos uma técnica para traduzir casos de teste abstratos em representações reais. Os casos de teste reais gerados por nossa técnica de tradução são usados no contexto do time de automação de testes da Motorola, onde esse trabalho está inserido. Finalmente, nós automatizamos as técnicas desenvolvidas usando linguagens de programação e especificações formais. O resultado é a ferramenta TCRev que é capaz de modelar, unificar e traduzir modelos do sistema. A ferramenta TCRev interage com o outras ferramentas externas, tais como FDR e FDR Explorer. Todos os resultados foram validados em estudos de casos reais executados no contexto da Motorola. Nessa dissertação nós apresentamos um destes estudo de casos

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-11-24T13:22:18Z No. of bitstreams: 1 Dissertação - Jonathas S. Santos.pdf: 3617813 bytes, checksum: 3c199448ba51bb2505aa417e087f25e1 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-11-24T13:22:32Z (GMT) No. of bitstreams: 1 Dissertação - Jonathas S. Santos.pdf: 3617813 bytes, checksum: 3c199448ba51bb2505aa417e087f25e1 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-11-24T13:22:53Z (GMT) No. of bitstreams: 1 Dissertação - Jonathas S. Santos.pdf: 3617813 bytes, checksum: 3c199448ba51bb2505aa417e087f25e1 (MD5) / Made available in DSpace on 2016-11-24T13:22:53Z (GMT). No. of bitstreams: 1 Dissertação - Jonathas S. Santos.pdf: 3617813 bytes, checksum: 3c199448ba51bb2505aa417e087f25e1 (MD5) Previous issue date: 2016-02-23 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In the context of current computing, mobile platforms have been presented as one of the most growth platforms, and this is mainly by the increased popularity of mobile devices. Furthermore, such applications are becoming indispensable in the routine of their users, assuming often critical roles, due to the data they handle. In this scenario, ensuring the quality of such applications is a usual purpose in recent academic work. For this, the Software Engineering field provides methods, techniques, standards and activities that seek to ensure software quality in general. Such activities are named Verification and Validation (V&V), and Software Testing is inserted into this context. However, some activities need to be adapted on account of the characteristics involving the mobile platform. In this adaptation, the knowledge of possible failures can provide important information to supplies for utilization of testing activities, specifically to mobile applications. This thesis presents the definition of the fault model MOBPI-FM (Mobile Platform Independent - Fault Model) specific for mobile applications platform. This model was generated systematically by using the HAZOP technique (Hazard and Operability Study) and consists of three levels of use (Fault, error and defect). The fault level proposed in MOBPI-FM model was evaluated in relation to actual fault coverage through a feasibility study with 58 mobile applications in the Android platform. The results indicated that 86% of the defects were evaluated covered by the model / No contexto da computação atual, plataformas móveis têm se apresentado como uma das plataformas de maior crescimento, e isso se deve principalmente pelo aumento da popularidade dos dispositivos móveis. Com isso, tais aplicações estão se tornando indispensáveis na rotina dos seus usuários, assumindo muitas vezes papéis críticos, por conta dos dados que manipulam. Diante desse cenário, garantir a qualidade de tais aplicações é uma busca constante em trabalhos acadêmicos mais recentes. Para isso, a Engenharia de Software fornece métodos, técnicas, critérios e atividades que buscam garantir a qualidade de software de um modo geral. Tais atividades são denominadas Verificação e Validação (V&V), sendo que Teste de Software está inserido nesse contexto. Porém algumas atividades necessitam ser adaptadas, por conta das características que envolvem a plataforma móvel. No contexto dessa adaptação, o conhecimento prévio de possíveis falhas pode fornecer informações importantes para fornecer insumos para aplicação de atividades de teste especificamente para o contexto de aplicações móveis. Esta dissertação apresenta a definição do modelo de falhas MOBPI-FM (MOBile Platform Independent – Fault Model) específico para aplicações construídas para plataforma móvel. Esse modelo foi gerado de forma sistemática utilizando a técnica HAZOP (Hazard and Operability Study) e é composto por três níveis de utilização (Falha, Erro e Defeito). O nível de falhas proposto no modelo MOBPI-FM foi avaliado em relação a cobertura de falhas reais por meio de um estudo de viabilidade realizado com 58 aplicações móveis da plataforma Android. Os resultados indicaram que 86% das falhas avaliadas foram cobertas pelo modelo.

As técnicas de teste podem ser divididas, num primeiro nível, naquelas baseadas no código (caixa branca) e naquelas baseadas na especificação (caixa preta ou funcionais). Nenhuma delas é completa pois visam a identificar tipos diferentes de defeitos e a sua utilização em conjunto pode elevar o nível de confiabilidade das aplicações. Assim, tornam-se importantes estudos que contribuam para um melhor entendimento da relação existente entre técnicas funcionais e estruturais, como elas se complementam e como podem ser utilizadas em conjunto. Este trabalho está inserido no contexto do projeto PLAVIS (Plataforma para Validação e Integração de Software em Aplicações Espaciais), e tem como objetivo realizar um estudo comparativo entre as técnicas de geração de casos de teste funcionais (baseadas nas especificações formais) e os critérios estruturais baseados em fluxo de controle e fluxo de dados, aplicados nas implementações. Num contexto específico, esse estudo deve fornecer dados de como se relacionam essas duas técnicas (funcional e estrutural) gerando subsídios para sua utilização em conjunto. Num contexto mais amplo - o do projeto PLAVIS - visa a estabelecer uma estratégia de teste baseada em critérios funcionais e estruturais e que possam, juntamente com as ferramentas que dão suporte a eles, compor um ambiente de teste disponível à utilização em aplicações espaciais dentro do INPE / Testing techniques can be divided, in high level, in code-based ones (white box) and specification based ones (black box). None of them are complete as they intend to identify different kinds of faults. The use of them together can increase the application confidence level. Thus, it is important to investigate the relationship between structural testing techniques and functional testing techniques, how they complete themselves and how they can be used together. This paper was developed in the context of the Plavis (PLAtform of software Validation & Integration on Space systems) project. This project provides comparative studies between functional generation testing techniques (based on formal specifications) and structural generation testing techniques, such as control-flow and data-flow criteria, applied in the implementation. In a specific context, this study provides data about the relationship between these techniques and how they can be used together. In the context of the Plavis project, the goal is to provide a testing strategy, based on functional and structural criteria, and a set of tools, composing a testing environment to be used in Space Applications projects, at INPE

Submitted by Kamila Costa (kamilavasconceloscosta@gmail.com) on 2015-06-10T18:45:18Z No. of bitstreams: 1 Dissertação-Silvia R A Meireles.pdf: 4257604 bytes, checksum: db416f49934884a410b4277f02c3ff9a (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-06-11T18:06:19Z (GMT) No. of bitstreams: 1 Dissertação-Silvia R A Meireles.pdf: 4257604 bytes, checksum: db416f49934884a410b4277f02c3ff9a (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-06-11T18:08:37Z (GMT) No. of bitstreams: 1 Dissertação-Silvia R A Meireles.pdf: 4257604 bytes, checksum: db416f49934884a410b4277f02c3ff9a (MD5) / Made available in DSpace on 2015-06-11T18:08:37Z (GMT). No. of bitstreams: 1 Dissertação-Silvia R A Meireles.pdf: 4257604 bytes, checksum: db416f49934884a410b4277f02c3ff9a (MD5) Previous issue date: 2015-03-23 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Web applications are in our daily routine and are fundamental in several areas, such as education, health, and entertainment. A failure in these applications can cause financial loss, so it is essential to ensure their quality. One way to achieve this goal is through software testing. Although the testing activities bring many benefits, they add cost to a software development project, which should be reduced. A strategy used for this is testing automation. Repetitive and error prone activities are strong candidates to be automated, among them we can mention the test cases generation. The Web Guitar tool enables the generation and execution of test cases from the structural model of Web application under test. This model presents problems related to its accuracy. Thus, this work proposes its evolution aiming to increase the number of generated test cases and improve their quality. As contribution, a new version of Web Guitar tool was implemented to sweep a web application identifying new GUI elements and visiting different instances of a same page in order to provide a more complete model. The results obtained in a case study performed with two Web applications, System to Support PPGI/UFAM and DiskTransito, provided evidence of the feasibility of this work, since the proposed tool (WG-Modified) contributed to the generation of a greater number of test cases for System to Support PPGI/UFAM, despite its execution time exceed the time calculated for the original tool. When analyzing the time required to generate each test case, WG-Modified was more efficient than its original version. However, the results of this study for the second application (DiskTransito) showed some problems and limitations that will be addressed in future works. / Aplicações Web estão presente em nossa rotina diária e são fundamentais em diversas áreas, tais como educação, saúde e entretenimento. Uma falha nessas aplicações pode ocasionar grandes perdas, portanto é essencial garantir a qualidade das mesmas. Uma forma de se alcançar esse objetivo é por meio do teste de software. Embora o teste de software traga inúmeros benefícios, ele acrescenta elevados custos ao projeto de desenvolvimento, que devem ser reduzidos. Uma estratégia utilizada para isso é a automação de teste. Atividades repetitivas e propensas a enganos são fortes candidatas a serem automatizadas, dentre elas podemos citar a geração de casos de teste. A ferramenta Web Guitar possibilita a geração e execução dos casos de teste, a partir do modelo estrutural da aplicação Web testada. Esse modelo apresenta problemas quanto a sua precisão. Assim, neste trabalho propõe-se sua evolução com o objetivo de aumentar o número de casos de teste gerados e melhorar a sua qualidade. Como resultado, foi implementada uma nova versão desta ferramenta que varre uma aplicação web identificando novos elementos de interface e visitando diferentes instâncias de uma mesma página com o intuito de prover um modelo mais completo. Os resultados do estudo de caso realizado com duas aplicações Web, Sistema de Apoio ao PPGI/UFAM e Disk Transito, forneceram indícios da viabilidade deste trabalho, visto que a ferramenta proposta (WG-Modificada) contribuiu para a geração de um número maior de casos de teste para o Sistema de Apoio ao PPGI/UFAM, apesar do seu tempo de execução ser superior ao tempo obtido pela versão original da ferramenta. Ao se analisar o tempo necessário para gerar cada caso de teste, verifica-se que a WG-Modificada foi mais eficiente que a versão original. Porém, os resultados do estudo para o Disk Transito evidenciaram problemas e limitações que serão tratados em trabalhos futuros

As técnicas de teste podem ser divididas, num primeiro nível, naquelas baseadas no código (caixa branca) e naquelas baseadas na especificação (caixa preta ou funcionais). Nenhuma delas é completa pois visam a identificar tipos diferentes de defeitos e a sua utilização em conjunto pode elevar o nível de confiabilidade das aplicações. Assim, tornam-se importantes estudos que contribuam para um melhor entendimento da relação existente entre técnicas funcionais e estruturais, como elas se complementam e como podem ser utilizadas em conjunto. Este trabalho está inserido no contexto do projeto PLAVIS (Plataforma para Validação e Integração de Software em Aplicações Espaciais), e tem como objetivo realizar um estudo comparativo entre as técnicas de geração de casos de teste funcionais (baseadas nas especificações formais) e os critérios estruturais baseados em fluxo de controle e fluxo de dados, aplicados nas implementações. Num contexto específico, esse estudo deve fornecer dados de como se relacionam essas duas técnicas (funcional e estrutural) gerando subsídios para sua utilização em conjunto. Num contexto mais amplo - o do projeto PLAVIS - visa a estabelecer uma estratégia de teste baseada em critérios funcionais e estruturais e que possam, juntamente com as ferramentas que dão suporte a eles, compor um ambiente de teste disponível à utilização em aplicações espaciais dentro do INPE / Testing techniques can be divided, in high level, in code-based ones (white box) and specification based ones (black box). None of them are complete as they intend to identify different kinds of faults. The use of them together can increase the application confidence level. Thus, it is important to investigate the relationship between structural testing techniques and functional testing techniques, how they complete themselves and how they can be used together. This paper was developed in the context of the Plavis (PLAtform of software Validation & Integration on Space systems) project. This project provides comparative studies between functional generation testing techniques (based on formal specifications) and structural generation testing techniques, such as control-flow and data-flow criteria, applied in the implementation. In a specific context, this study provides data about the relationship between these techniques and how they can be used together. In the context of the Plavis project, the goal is to provide a testing strategy, based on functional and structural criteria, and a set of tools, composing a testing environment to be used in Space Applications projects, at INPE