Spelling suggestions: "subject:"casos dde deste"" "subject:"casos dde neste""
1 |
NLForSpec : uma ferramenta para geração de especificações formais a partir de casos de teste em linguagem naturalLEITÃO, Daniel Almeida January 2006 (has links)
Made available in DSpace on 2014-06-12T15:59:28Z (GMT). No. of bitstreams: 2
arquivo5127_1.pdf: 1281889 bytes, checksum: 27f0d0f476fb317baa37e42f70c3bf82 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2006 / Este trabalho propõe NLForSpec, uma ferramenta para geração de especificações
formais a partir de casos de teste em Linguagem Natural. NLForSpec é parte de um
projeto maior desenvolvido em parceria entre o CIn-UFPE e a Motorola, que tem como
objetivo automatizar a seleção, geração e avaliação de casos de teste para aplicações de
telefones móveis. Uma das principais tarefas desse projeto é atualizar automaticamente
os requisitos a partir de casos de teste mais atuais.
Nesse cenário, a ferramenta NLForSpec é responsável por gerar especificações na
linguagem formal CSP (Communicating Sequential Processes) a partir de descrições de
casos de teste. Essas especificações serão utilizadas como entrada no processo de
atualização ou geração de documentos de requisitos a partir de casos de teste mais
atuais.
NLForSpec foi construída com base na arquitetura simbólica tradicional para
interpretação de LN, e contém quatro bases de conhecimento (Léxico, Gramática de
Casos, Ontologia e Base de Especificações CSP) e três módulos de processamento
(POS-Tagging, Processamento Semântico e Geração de Casos de Teste Formais).
NLForSpec apresentou um desempenho satisfatório em um estudo de caso realizado
para o domínio de descrições de casos de teste para aplicações de Messaging da
Motorola
|
2 |
SpecNL : uma ferramenta para gerar descrições em linguagem natural a partir de especificações de casos de testeTORRES, Dante Gama January 2006 (has links)
Made available in DSpace on 2014-06-12T15:59:28Z (GMT). No. of bitstreams: 2
arquivo5130_1.pdf: 962505 bytes, checksum: c110ca4ca2100795b71140dd9ec201cf (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2006 / Teste de Software é uma tarefa central, porém muito cara, no
processo de desenvolvimento de software. Estudos sugerem que as tarefas
de teste chegam até 50% do custo total de desenvolvimento do software.
Com o objetivo de automatizar e otimizar as atividades de teste, várias
ferramentas têm sido utilizadas para assistir o processo de testes, desde a
geração dos testes até a sua execução. As ferramentas de geração de testes
geralmente especificam os casos de teste gerados em uma linguagem não
natural (normalmente uma linguagem formal). Entretanto, essa linguagem
pode ser não trivial para os engenheiros que executarão manualmente os
casos de teste. Com isso, seria de grande ajuda uma ferramenta que
mapeasse os casos de teste gerados em uma linguagem natural.
Este trabalho propõe uma ferramenta para gerar descrições em
linguagem natural (LN) a partir de casos de teste especificados em
linguagem formal, com o intuito de ajudar os engenheiros de teste a
executarem testes manuais. Para validar a ferramenta proposta, nós
desenvolvemos um protótipo que recebe como entrada casos de teste
especificados na linguagem formal CSP. Como saída, o sistema devolve um
texto em inglês que descreve os passos do caso de teste para aplicações
móveis. O protótipo foi codificado na linguagem Java, e procurou manter
critérios desejáveis de qualidade de software, como reusabilidade,
extensibilidade e modularidade. Este trabalho faz parte de um projeto maior
desenvolvido em parceria entre o CIn-UFPE e a Motorola
|
3 |
Seleção de casos de teste para sistemas de processamento de imagens utilizando conceitos de CBIR / Test Case Selection For Image Processing Systems Using CBIR Concepts.Narciso, Everton Note 29 October 2013 (has links)
Os sistemas de processamento de imagens exercem um papel importante no que tange à emulação da visão humana, pois grande parte das informações que as pessoas obtêm do mundo real ocorre por meio de imagens. Desenvolver tais sistemas é uma tarefa complexa e que requer testes rigorosos para garantir a sua confiabilidade. Neste cenário, a seleção de casos de teste é fundamental, pois ajuda a eliminar os dados de teste redundantes e desnecessários enquanto procura manter altas taxas de detecção de erros. Na literatura há várias abordagens para seleção de casos de teste com foco em sistemas de entradas/saídas alfanuméricas, mas a seleção voltada a sistemas complexos (e.g. processamento de imagens) ainda é pouco explorada. Visando a contribuir neste campo de pesquisa, este trabalho apresenta um novo método intitulado Tcs&CbIR, que seleciona e recupera um subconjunto de imagens a partir de um vasto conjunto de teste. Os testes realizados com dois programas de processamento de imagens mostram que a nova abordagem pode superar a seleção aleatória pois, no contexto de avaliação apresentado, a quantidade de casos de teste necessária para revelar a presença de erros foi reduzida em até 87%. Os resultados obtidos revelam, também, o potencial da utilização de CBIR para abstração de informações, a importância da definição de extratores de características adequados e a influência que as funções de similaridade podem exercer na seleção de casos de teste. / Image processing systems play a key role when it comes to emulation of human vision, because much of the information that humans capture from the real world occurs through images. Developing such systems is a complex task that requires rigorous testing to ensure their quality and reliability. In this scenario, the test case selection is crucial because it helps to eliminate the redundant and unnecessary test data while it tries to maintain high rates of error detection. In the literature there are several approaches for test cases selection with a focus on systems with alphanumeric inputs and outputs, but the selection focused on complex systems (e.g. image processing) is still unexplored. Aiming to contribute to this research field, this work presents a new method entitled Tcs&CbIR, which selects and retrieves a subset of images from a wide test suite. Tests conducted with two image processing programs show that the new approach can overcome the random selection because, in the context of evaluation presented, the amount of test cases required to detect the presence of the errors was reduced by up to 87%. The results also show the potential use of CBIR for information abstraction, the importance of the definition of suitable extractors of characteristics and the influence of the similarity functions in the test case selection.
|
4 |
Seleção de casos de teste para sistemas de processamento de imagens utilizando conceitos de CBIR / Test Case Selection For Image Processing Systems Using CBIR Concepts.Everton Note Narciso 29 October 2013 (has links)
Os sistemas de processamento de imagens exercem um papel importante no que tange à emulação da visão humana, pois grande parte das informações que as pessoas obtêm do mundo real ocorre por meio de imagens. Desenvolver tais sistemas é uma tarefa complexa e que requer testes rigorosos para garantir a sua confiabilidade. Neste cenário, a seleção de casos de teste é fundamental, pois ajuda a eliminar os dados de teste redundantes e desnecessários enquanto procura manter altas taxas de detecção de erros. Na literatura há várias abordagens para seleção de casos de teste com foco em sistemas de entradas/saídas alfanuméricas, mas a seleção voltada a sistemas complexos (e.g. processamento de imagens) ainda é pouco explorada. Visando a contribuir neste campo de pesquisa, este trabalho apresenta um novo método intitulado Tcs&CbIR, que seleciona e recupera um subconjunto de imagens a partir de um vasto conjunto de teste. Os testes realizados com dois programas de processamento de imagens mostram que a nova abordagem pode superar a seleção aleatória pois, no contexto de avaliação apresentado, a quantidade de casos de teste necessária para revelar a presença de erros foi reduzida em até 87%. Os resultados obtidos revelam, também, o potencial da utilização de CBIR para abstração de informações, a importância da definição de extratores de características adequados e a influência que as funções de similaridade podem exercer na seleção de casos de teste. / Image processing systems play a key role when it comes to emulation of human vision, because much of the information that humans capture from the real world occurs through images. Developing such systems is a complex task that requires rigorous testing to ensure their quality and reliability. In this scenario, the test case selection is crucial because it helps to eliminate the redundant and unnecessary test data while it tries to maintain high rates of error detection. In the literature there are several approaches for test cases selection with a focus on systems with alphanumeric inputs and outputs, but the selection focused on complex systems (e.g. image processing) is still unexplored. Aiming to contribute to this research field, this work presents a new method entitled Tcs&CbIR, which selects and retrieves a subset of images from a wide test suite. Tests conducted with two image processing programs show that the new approach can overcome the random selection because, in the context of evaluation presented, the amount of test cases required to detect the presence of the errors was reduced by up to 87%. The results also show the potential use of CBIR for information abstraction, the importance of the definition of suitable extractors of characteristics and the influence of the similarity functions in the test case selection.
|
5 |
Seleção de casos de teste com restrição de custo de execução utilizando otimização por enxame de partículasSoares de Souza, Luciano 31 January 2011 (has links)
Made available in DSpace on 2014-06-12T15:49:31Z (GMT). No. of bitstreams: 2
arquivo1252_1.pdf: 1197397 bytes, checksum: 95159c131dcb5fed48e21ab1ea96a5ef (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2011 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Seleção automática de casos de teste (CTs) é uma tarefa importante para melhora da
eficiência das atividades de Testes de Software. Essa tarefa pode ser tratada como um
problema de otimização, cujo objetivo é encontrar um subconjunto de CTs que maximizem
um dado critério de teste. No nosso trabalho, o critério de testes é a cobertura
de requisitos funcionais formalmente especificados, e, além dele, o custo (esforço de
execução) também é levado em consideração no processo de seleção. Mesmo sendo um
aspecto importante, o esforço de execução ainda é negligenciado por outros trabalhos na
área de seleção automática de CTs. Nesse trabalho, utilizamos o algoritmo conhecido
como como Otimização por Enxame de Partículas (Particle Swarm Optimization - PSO),
ainda não investigado na resolução desse tipo de problema, para criação de uma ferramenta
de seleção automática de CTs. Nela, o esforço de execução é utilizado como
um limiar no processo de seleção, onde, dada uma suíte de testes, busca-se selecionar
um subconjunto de casos de testes que não ultrapassem esse limiar e que maximizem
a cobertura de requisitos funcionais. Para tanto, o esforço de execução foi considerado
uma restrição ao problema de otimização e a cobertura de requisitos como a função de
fitness. Nessa ferramenta, sete módulos (que implementavam outras técnicas de busca),
foram desenvolvidos e seus desempenhos comparados através de experimentos onde foi
possível oberservar o bom desempenho do PSO se comparado às outras técnicas
|
6 |
Evolução da ferramenta web guitar para geração automática de casos de teste de interface para aplicações webMeireles, Silvia Regina Assis 23 March 2015 (has links)
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
|
7 |
Estratégia para geração de sequencias de verificação para máquinas de estados finitos / Strategy for generation of checking sequences for finite state machinesPorto, Faimison Rodrigues 18 April 2013 (has links)
O teste de software engloba diferentes técnicas, métodos e conceitos capazes de garantir a qualidade dos mais variados tipos de sistemas. Dentre tais técnicas, encontra-se o teste baseado em Máquinas de Estados Finitos (MEFs), que visa a garantir a conformidade entre a implementação e a especificação de um software. Com esse propósito, diversos métodos foram propostos para a geração de seqüências de verificação que garantam cobertura total das possíveis falhas existentes em uma implementação. A maioria dos métodos conhecidos são baseados na utilização de seqüências de distinção. Esse recurso, porem, não existe para toda MEF. Alguns métodos buscam a geração de seqüências de verificação baseados em recursos alternativos as seqüências de distinção, contudo, as seqüências geradas são exponencialmente longas. Este trabalho apresenta um método para geração de seqüências de verificação que visa a reduzir o tamanho das seqüências geradas para o domínio de MEFs que não dispõem de seqüência de distinção. Para isso, o método proposto baseia-se na utilização de conjuntos de distinção. Uma avaliação experimental foi realizada afim de mensurar a redução proporcionada pelo método proposto em relação aos principais métodos existentes na literatura. Com esse intuito, foram geradas MEFs aleatórias sob a perspectiva diferentes fatores. Em relação a variação do número de estados, os resultados indicaram reduções acima de 99; 5% em comparação com os métodos existentes, quando analisadas 75% das MEFs geradas / Software testing involves several techniques, methods, and concepts employed to guarantee a high level of quality in different application domains. Among such techniques, Finite State Machine (FSM) based testing aims to guarantee the conformance between the implementation and the specification of a system under test. In this context, several methods were proposed to generate checking sequences that cover all the possible faults existing in an implementation. Most of these methods are based on a special sequence, named distinguishing sequence, which does not exist for every minimal machine. Some methods were proposed to generate checking sequences based on alternative solutions in order to be applied on FSMs that do not have distinguishing sequences. However, these methods generate checking sequences exponentially long. This work proposes a method to generate checking sequences using identification sets. These sets exist for every minimal FSM and also lead to shorter checking sequences. We conducted an experimental study to compare the proposed method with the main existing methods. In the experiments, we used random FSMs that have different configurations of states, inputs, and outputs. Concerning the variation of number of states, the results show reductions higher than 99:5% in comparison with the existing methods for 75% of the experimented machines
|
8 |
Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados / Subsidies for the application of state machine based test case generation methodsPinheiro, Arineiza Cristina 22 June 2012 (has links)
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
|
9 |
[en] A TOOL FOR THE AUTOMATIC GENERATION AND EXECUTION OF FUNCTIONAL TESTS BASED ON THE TEXTUAL USE CASE DESCRIPTION / [pt] UMA FERRAMENTA PARA GERAÇÃO E EXECUÇÃO AUTOMÁTICA DE TESTES FUNCIONAIS BASEADOS NA DESCRIÇÃO TEXTUAL DE CASOS DE USOTHIAGO DELGADO PINTO 16 July 2015 (has links)
[pt] Esta dissertação apresenta uma solução para a geração e execução
automática de testes funcionais a partir da descrição textual de casos de uso,
visando verificar se determinada aplicação atende aos requisitos funcionais
definidos por esta documentação. A ferramenta construída é capaz de gerar casos
de teste semânticos valorados, transformá-los em código-fonte (para Java Swing e
os frameworks de teste TestNG e FEST, na versão atual), executá-los, coletar os
resultados e analisar se os casos de uso da aplicação atendem ou não a estes
requisitos. Dentre os principais diferenciais da solução construída estão a
cobertura de cenários de teste que envolvem múltiplos casos de uso, a cobertura
de cenários envolvendo recursão, a possibilidade da definição de regras de
negócio sobre dados existentes em bancos de dados de teste, a geração automática
dos valores fornecidos nos testes e a geração de testes funcionais semânticos, num
formato independente de linguagem de programação e frameworks de teste. / [en] This master s dissertation presents a solution for the automatic generation
and execution of functional tests based on the textual use case description and
aims to verify whether certain application matches its functional requirements
defined by this documentation. The constructed tool is capable of generating
valued semantic test cases, of transforming them into source code (for Java Swing
and the TestNG and FEST frameworks, in the current version), of executing them,
of collecting the results and of analyzing whether the application s use cases
matches (or not) its requirements. The solution main differentials includes the
coverage of test scenarios that involves more than one use case, the coverage of
scenarios containing recursive flows, the possibility of defining business rules
using data existing in test databases, as well as the automatic generation of test
values, and the generation of semantic functional tests in a format independent of
programming languages and frameworks.
|
10 |
Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados / Subsidies for the application of state machine based test case generation methodsArineiza Cristina Pinheiro 22 June 2012 (has links)
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
|
Page generated in 0.377 seconds