• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 165
  • 14
  • 4
  • Tagged with
  • 183
  • 183
  • 144
  • 45
  • 36
  • 34
  • 32
  • 28
  • 27
  • 25
  • 25
  • 24
  • 23
  • 23
  • 22
  • 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.
31

Um ambiente para geração de cenários de testes para linhas de produtos de software sensíveis ao contexto / An environment for the generation of test scenarios for software product lines context sensitive

Santos, Ismayle de Sousa January 2013 (has links)
SANTOS, Ismayle de Sousa. Um ambiente para geração de cenários de testes para linhas de produtos de software sensíveis ao contexto. 2013. 135 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2013. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-11T16:56:08Z No. of bitstreams: 1 2013_dis_issantos.pdf: 3899116 bytes, checksum: 671b1907d9f723390441a5b8ed58142c (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-18T14:56:20Z (GMT) No. of bitstreams: 1 2013_dis_issantos.pdf: 3899116 bytes, checksum: 671b1907d9f723390441a5b8ed58142c (MD5) / Made available in DSpace on 2016-07-18T14:56:20Z (GMT). No. of bitstreams: 1 2013_dis_issantos.pdf: 3899116 bytes, checksum: 671b1907d9f723390441a5b8ed58142c (MD5) Previous issue date: 2013 / A Context-Aware Software Product Line (CASPL) is a product line for developing context-aware applications, which dynamically change their behavior or provide services based on context information. With this kind of line, the productivity can be increased and the development costs of the context-aware application can be cut down. In this scenario, the testing activity needs to deal with the peculiarities of both context-aware applications and the product line development paradigm. Through the complexity involved in testing a CASPL is essential to have methods or tools for supporting this activity, especially with the goal of creating tests from requirements. The aim of this early testing generation is to identify and fix the defects in the early stages of development. Therefore, this work aims to propose an environment for generating test scenarios for a CASPL that takes into account the presence of context information and seeks to maximize the testing reuse. This environment consists of a testing scenario generation method, a template for textual use case specification and a support tool. The method uses as input textual use cases especifications with information about: funcionality, variability, and how the context afect the final products. The environment also has a use case template that supports the use of the method and a tool support, which allows the modeling of use cases according to this template and implements the proposed method. In order to verify the benefits of the environment as a way to testing generation for a Context-Aware Software Product Line, an assessment in the form of controlled experiment is conducted. Based on the collected results, it is observed that: the use of the template makes easy the understanding of a Context-Aware Software Product Line use case; the method favors the creation of a set of tests with higher coverage than a non-systematic testing generation; and the tool is the necessary support for the method. / Uma Linha de Produto de Software Sensível ao Contexto (LPSSC) é uma linha de produto para o desenvolvimento de aplicações sensíveis ao contexto, que alteram dinamicamente o comportamento ou que proveem serviços com base em informações de contexto. Nesse cenário, a atividade de testes precisa lidar ao mesmo tempo com as peculiaridades das aplicações finais, que são sensíveis ao contexto, e com o paradigma de desenvolvimento em linha de produto. Mediante a complexidade envolvida nos testes de uma LPSSC, é fundamental a existência de métodos ou ferramentas de suporte a essa atividade, especialmente com a intenção de criar testes a partir dos requisitos da linha. O objetivo dessa geração precoce dos testes é permitir a identificação e correção dos defeitos nos estágios iniciais de desenvolvimento. Dessa forma, esta dissertação tem por objetivo propor um ambiente de geração de cenários de testes para uma LPSSC que utiliza especificações textuais de casos de uso com informações de contexto e que possibilita a reutilização dos testes. Este ambiente é constituído pela proposta de um método de geração de cenários de testes, de um template para especificação textual de casos de uso de uma LPSSC e de uma ferramenta de apoio. O método utiliza como base especificações textuais de casos de uso com informações sobre: funcionalidade, variabilidade da linha, e como o contexto afeta os produtos finais. O ambiente também contém o template para caso de uso que fornece suporte ao uso do método e a ferramenta de apoio, que permite a modelagem de casos de uso segundo esse template e implementa o método proposto. Com a intenção de verificar os benefícios do ambiente, proposto nesta dissertação, quanto a geração de cenários de testes para uma LPSSC, conduziu-se uma avaliação preliminar na forma de experimento controlado. Baseado nos resultados coletados nessa avaliação percebeu-se que: o template favorece o entendimento de um caso de uso de uma LPSSC; o método favorece a criação de um conjunto de testes com uma maior cobertura para uma LPSSC, se comparado a criação de testes de forma não sistemática; e a ferramenta representa um suporte necessário.
32

[en] GRAMMAR MODEL-BASED FUNCTIONAL TEST / [pt] TESTE FUNCIONAL BASEADO EM MODELOS GRAMATICAIS

RICARDO AUGUSTO BOITEUX MENDES LEAL 08 October 2008 (has links)
[pt] O teste funcional de software é um desafio enfrentado há muito tempo por desenvolvedores. A complexidade crescente de sistemas computacionais torna esse desafio ainda maior. Uma tendência apontada como possível solução deste problema é o uso de teste baseado em modelos. Inspirada neste paradigma, esta dissertação retrata uma pesquisa sobre o uso de gramáticas como modelos de teste funcional. Modelos gramaticais podem capturar conceitos e comportamentos de um sistema e de seu ambiente usando um nível de abstração de acordo com o objetivo de teste. Eles também podem ser aplicados para descrever casos de teste funcional e guiar a execução de casos de teste gerados num sistema em teste. O resultado desta execução, representado na forma de um veredicto, revela a conformidade do sistema com seus requisitos e especificações. Para explorar o potencial dos modelos gramaticais, este trabalho definiu uma maneira sistemática de gerar e executar massas de teste. Esta solução permitiu a programação de diferentes estratégias de teste. Ela também facilitou a adaptação dos testes a mudanças de requisitos e promoveu o reuso dos testes existentes. Como efeito colateral deste estudo, um processo de teste funcional foi desenvolvido e a arquitetura de apoio aqui introduzida pode ser reutilizada ou estendida por futuras soluções de teste funcional. / [en] Software functional test is a challenge faced by developers for a long time. The growing complexity of computing systems turns this challenge even greater. Model-based testing is a trend pointed out by the academia and the industry as a possible solution to this matter. Inspired by this paradigm, this dissertation depicts a research made on the use of grammars as functional test models. Grammar models can capture concepts and behaviors of a system and its environment at a level of abstraction according to the test goal. They also can be applied to describe functional test cases and guide the execution of the generated test cases against a system under test. The result of this execution, represented as a verdict, reveals the system conformity with its requirements and specifications. In order to explore grammar models potential, this work defined a systematic way to generate and execute a mass of tests. This solution allowed the implementation of different test strategies. It also assisted test adjustment to requirements change and promoted existing tests reuse. As a side-effect of this study, a functional test process was developed and the supporting architecture introduced here may be reused or extended by future functional test solutions.
33

Geração automática de casos de teste para sistemas baseados em agentes móveis. / Automatic test case generation for mobile agent-based systems.

FIGUEIREDO, André Luiz Lima de. 18 September 2018 (has links)
Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-09-18T16:07:15Z No. of bitstreams: 1 ANDRÉ LUIZ LIMA DE FIGUEIREDO - DISSERTAÇÃO PPGCC 2005..pdf: 9317771 bytes, checksum: ca97057cbb4f85db739568ea619fd2c4 (MD5) / Made available in DSpace on 2018-09-18T16:07:15Z (GMT). No. of bitstreams: 1 ANDRÉ LUIZ LIMA DE FIGUEIREDO - DISSERTAÇÃO PPGCC 2005..pdf: 9317771 bytes, checksum: ca97057cbb4f85db739568ea619fd2c4 (MD5) Previous issue date: 2005-06-06 / Na busca por mais confiança a respeito da correção de seus sistemas, desenvolvedores têm, cada vez mais,utilizado teste de software, onde este pode ser definido como um conjunto de experimentos realizados sobre uma implementação, cujos resultados são observados e analisados. Dentre os diversos tipos de teste, este trabalho se concentra em um tipo especial deteste funcional chamado deTeste Formal. A partir de uma especificação formal e por meio de procedimentos formais, um método de teste formal é capaz de gerar, automaticamente, casos de teste que visam verificar a conformidade entre a especificação e a implementação. Um tipo de sistema em que este tipo de teste é útil é o baseado em Agentes Móveis. Um Agente Móvel pode ser definido como um programa autônomo capaz de migrar pelos diferentes pontos do sistema durante sua execução preservando seu estado. Este tipo de sistema distribuído ainda possui alto grau de complexidade inerente ao seu desenvolvimento devido, principalmente, à imaturidade dos processos de desenvolvimento em relação ao tratamento do conceito de mobilidade. Visando amenizar tal problema, este trabalho apresenta uma proposta de geração automática de casos de teste para sistemas baseados em Agentes Móveis. Tal proposta consiste em apresentar um formalismo de especificação de sistemas a ser usado com Agentes Móveis e uma estratégia de geração de casos de teste através de ferramentas. Além disto, visando tomar proveito dos modelos UML existentes para este tipo de sistema, uma proposta de transformação informal de modelos escritos em tal linguagem para modelos escritos no formalismo utilizado pelo método é apresentada. Após o método ter sido proposto, um estudo de caso foi realizado visando mostrar a aplicabilidade do método. Os casos de teste gerados foram analisados em relação ao seu potencial em serem implementados e em revelarem faltas nos sistemas. Motivados pelos estudos realizados sobre os casos deteste, bem como pelo crescente interesse no uso de padrões de projetos, uma metodologia para a identificação de padrões de teste a partir de especificações de padrões de projeto é proposta, em conjunto com um formato de definição para tais padrões e com um conjunto de padrões de teste para sistemas baseados em Agentes Móveis. / Looking for reliability regarding to their systems correction, developers have, increasingly, used software testing. This activity can be defined as a set of experiments performed over an implementation, which the results are observed and analyzed. Among the existing kinds of test, this work takes special attention to a specific kind of functional test, called Formal Test. From a formal specification and through formal procedures, aformaltest method isable to,automatically, generate test cases that aim to verify conformance between specification and implementation. Mobile Agent-based systems can benefit from formal testing. Mobile Agent can be defined as an autonomous program that can migrateamongdifferent points ofadistributed systemduring itsexecution preserving its state. Develop this kind of system is still a complex activity, due to, mainly, development processes immaturity regarding to mobility issues handling. Aiming to soften this problem, this work presents an automatic test case generation proposal to Mobile Agent-based systems. This proposal comprises presenting a system specification formalism to be used with Mobile Agents and a strategy for test case generation via tools. Moreover, aiming to take advantage of the existing UMLmodelos to this kind of system, a informal transformation from models written such language, to the formalism language used by the presented method is proposed. After the method has been proposed, a case study was carried out addressing to show the method’s applicability. The generated test cases were analyzed with relation to its potential to be implemented and to reveal system faults. Motivated by the test cases study, and by the increasing interest atthe use of design patterns as well, a methodology foridentification oftest patterns from Mobile Agent design patterns is proposed, in addition to a test pattern template for this kind of pattern, and a set of test patterns to Mobile Agent-based systems.
34

Proposta de processo para testes exploratórios aderente ao TMMI nível 2

Eugênio Pereira Carvalho, Luiz 31 January 2010 (has links)
Made available in DSpace on 2014-06-12T18:01:33Z (GMT). No. of bitstreams: 2 arquivo1467_1.pdf: 8939578 bytes, checksum: 6e08f611bd2f6e7b7869ce15c25ebace (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / No mercado atual torna-se cada vez mais necessário um software com um alto nível de qualidade e que satisfaça o cliente. Para que os produtos sejam entregues com mais qualidade é vital a realização de testes de software. Há empresas que não investem adequadamente na área de testes. Não existe uma equipe dedicada apenas às atividades de testes de software, não há um processo definido para Teste de Software. Nessas empresas a principal técnica de teste utilizada é a execução de Testes Exploratórios. Neste cenário, na maioria das vezes os testes exploratórios são realizados de maneira informal, se baseiam na intuição e dependem da habilidade e experiência do testador. Este trabalho propõe boas práticas e um processo para testes exploratórios com o intuito de melhorar os resultados obtidos com a utilização desta técnica. O intuito é ajudar empresas que executam testes exploratórios a elevar o nível de qualidade dos testes realizados e dos softwares produzidos. Assim, a ideia é propor um processo que possa ser seguido por essas empresas e que atenda a padrões já conhecidos e respeitados no mercado. Foi realizado um experimento, no qual o processo proposto foi aplicado em uma célula de uma empresa por dois meses. A aplicação do mesmo apresentou vários benefícios e pretende-se adotá-lo formalmente
35

Proposta de processo para testes exploratórios aderente ao TMMI nível 2

Rúbia Rodrigues Ricardo, Diana 31 January 2010 (has links)
Made available in DSpace on 2014-06-12T15:55:54Z (GMT). No. of bitstreams: 2 arquivo2331_1.pdf: 1723278 bytes, checksum: 1074d6fd52a0438cb50b50df400e2be3 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / No mercado atual torna-se cada vez mais necessário um software com um alto nível de qualidade e que satisfaça o cliente. Para que os produtos sejam entregues com mais qualidade é vital a realização de testes de software. Há empresas que não investem adequadamente na área de testes. Não existe uma equipe dedicada apenas às atividades de testes de software, não há um processo definido para Teste de Software. Nessas empresas a principal técnica de teste utilizada é a execução de Testes Exploratórios. Neste cenário, na maioria das vezes os testes exploratórios são realizados de maneira informal, se baseiam na intuição e dependem da habilidade e experiência do testador. Este trabalho propõe boas práticas e um processo para testes exploratórios com o intuito de melhorar os resultados obtidos com a utilização desta técnica. O intuito é ajudar empresas que executam testes exploratórios a elevar o nível de qualidade dos testes realizados e dos softwares produzidos. Assim, a ideia é propor um processo que possa ser seguido por essas empresas e que atenda a padrões já conhecidos e respeitados no mercado. Foi realizado um experimento, no qual o processo proposto foi aplicado em uma célula de uma empresa por dois meses. A aplicação do mesmo apresentou vários benefícios e pretende-se adotá-lo formalmente
36

Avaliação de sistemas de informações geográficas na internet através de teste de software. / Evaluation of geographic information systems on the internet through software testing.

Patricia Oliveira Venezia 26 August 2010 (has links)
Fundação de Amparo à Pesquisa do Estado do Rio de Janeiro / A utilização de sistemas de informações geográficas via Web (Sigweb) tem crescido nos últimos anos pela facilidade na manipulação e visualização de informações de diferentes lugares através da Internet. O objetivo deste estudo é realizar testes de sistemas de informações geográficas na Internet com ênfase na técnica funcional para avaliar a funcionalidade, usabilidade, a navegabilidade dos programas conhecidos como Sigweb prontos para usar. Para tanto, foi necessária a identificação dos casos de uso dos programas propostos para o estudo. Como resultado se pode conferir o comportamento dos sistemas durante os testes, além de distinguir as características de cada SigWeb e as dificuldades encontradas. / The use of Geographic Information System by Web (SIGWeb) has grown in the last years by the facility in manipulation and visualization of informations of different places through of Internet. The purpose of this work is accomplish test methods with emphasis in the functional technique where is valuated the functionality, usability, navigability among other types of test programs that are known as Ready Sigweb to use. Therefore, it was necessary to identify cases of use of each proposed for the study. As a result it can check the behavior of systems during the tests, and distinguish the characteristics of each Sigweb and the difficulties.
37

Estudo e definição de mecanismos para redução do custo de aplicação do teste de programas concorrentes / Study and design of mechanisms to reduce the cost of appying the test of concurrent programs

Mario Cesar da Cunha Machado 13 April 2011 (has links)
Programas concorrentes possuem características que os diferenciam de programas sequenciais, tornando a atividade de teste mais complexa. Questões como definição e uso de variáveis por diferentes processos, comunicação, sincronização e comportamento não-determinístico precisam ser consideradas. Apesar dos avanços obtidos nesse contexto, um problema que ainda persiste é o custo da atividade de teste, relacionado principalmente ao número excessivo de elementos requeridos a serem testados. Neste contexto, este trabalho apresenta duas propostas: a primeira estática, focando na detecção automática de elementos requeridos não-executáveis, para os critérios relacionados a sincronizações; e a segunda dinâmica, aplicando-se o teste de alcançabilidade para apoiar a avaliação da cobertura de sequências de sincronizações, desse modo, usando informações dinâmicas para apoiar o teste de cobertura. Estas propostas foram implementadas na ferramenta ValiMPI e um experimento foi realizado a fim de verificar a eficácia da proposta. Os resultados indicam que as duas propostas implementadas neste trabalho são promissoras e auxiliam a reduzir o custo da atividade de teste / Concurrent programs present new features, such as: nondeterminism, concurrency, synchronization and communication. These features need to be considered during testing activity, making this activity more complex. Despite the results achieved in this context, a problem that still remains is the application cost of the testing, especially the cost related to the high number of required elements generated by the test criteria proposed to concurrent programs. In this context, this work presents two contributions: the first one using a static approach, automatically detecting non-executable elements related to synchronization between process; and the second one using a dynamic approach, applying reachability testing to support the coverage evaluation of the executed sequences, reducing the number of executed sequences and the number of test cases. These contributions were implemented in the ValiMPI tool and experiments were conducted to evaluate them. The results indicate that these contributions can improve the concurrent program testing, reducing the application cost of the testing activity
38

Uma contribuição para determinação de um conjunto essencial de operadores de mutação no teste de programas C. / A contribution for the determination of a sufficient mutant operators set for C-program testing.

Ellen Francine Barbosa 06 November 1998 (has links)
Estudos empíricos têm mostrado que a Análise de Mutantes – um dos critérios de teste baseado em erros – é bastante eficaz em revelar a presença de erros. Entretanto, seu alto custo, decorrente principalmente do grande número de mutantes gerados, tem motivado a proposição de diversas abordagens alternativas para a sua aplicação. Um estudo relevante nesse sentido resultou na determinação de um conjunto essencial de operadores de mutação para a linguagem Fortran, mostrando-se que é possível reduzir o custo de aplicação do critério, preservando um alto grau de adequação em relação à Análise de Mutantes. Alguns estudos também têm demonstrado que a redução da eficácia não é significativa. Este trabalho tem como objetivo investigar alternativas pragmáticas para a aplicação do critério Análise de Mutantes e, nesse contexto, é proposto um procedimento para a determinação de um conjunto essencial de operadores de mutação para a linguagem C, a partir dos operadores implementados na ferramenta Proteum. Procurando aplicar e validar o procedimento proposto, dois grupos distintos de programas são utilizados. Para ambos os grupos, o conjunto essencial obtido apresenta resultados bastante significativos quanto à redução de custo, com um decréscimo muito pequeno no grau de adequação em relação à Análise de Mutantes. Estratégias para evoluir e refinar um conjunto essencial para diferentes domínios de aplicação também são investigadas. / Mutation Analysis – one of the error based criteria – has been found to be effective on revealing faults. However, its high cost, due to the high number of mutants created, has motivated the proposition of many alternative approaches for its application. In this perspective, a relevant study resulted on the determination of a sufficient mutant operator set for Fortran, indicating that it is possible to have a large cost reduction of mutation testing, preserving a high mutation score. Some studies have also shown that the reduction on the effectiveness is not significant. This work aims to investigate pragmatic alternatives for mutation analysis application and, in this context, a procedure for the determination of a sufficient mutant operators set for C is proposed, using Proteum testing tool. Aiming to apply and validate the proposed procedure, two different groups of programs are used. For both of them, the sufficient mutant operator set presents very significant results in terms of cost reduction, with a very small reduction on the mutation score. Strategies to evolve and refine an essential mutant operator set to different application domains are also investigated.
39

TestCheck: uma abordagem baseada em Checklist para inspecionar artefatos de teste de software

Costa, Jardelane de Brito 30 April 2012 (has links)
Submitted by Geyciane Santos (geyciane_thamires@hotmail.com) on 2015-06-17T13:05:26Z No. of bitstreams: 1 Disssertação- Jardelane de Brito Costa.pdf: 2340050 bytes, checksum: 5f23cc3aa127017a2229e21ce654aba5 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-06-17T20:24:38Z (GMT) No. of bitstreams: 1 Disssertação- Jardelane de Brito Costa.pdf: 2340050 bytes, checksum: 5f23cc3aa127017a2229e21ce654aba5 (MD5) / Made available in DSpace on 2015-06-17T20:24:38Z (GMT). No. of bitstreams: 1 Disssertação- Jardelane de Brito Costa.pdf: 2340050 bytes, checksum: 5f23cc3aa127017a2229e21ce654aba5 (MD5) Previous issue date: 2012-04-30 / Outras / The quality of testing applied to a software project is an important factor to reach the quality of the final product. This becomes more evident in methodologies based on testing to measure the software development progress or that consider testing the central element in the evaluation of its quality. Several strategies can be applied to evaluate the quality of testing in a software project. A possible strategy is to ensure the quality of artifacts produced during testing process. In this context, a technique that has been largely used to ensure the quality of software artifacts is inspection. There are many works dealing with inspection of documents produced during the software development process. However, we have not identified in the technical literature works that apply inspection in software testing artifacts. We identified just studies indicating the importance of applying inspection in these artifacts. Thus, with the purpose of evaluating the quality of testing artifacts, contributing to defects detection before tests execution, this thesis presents a checklist-based approach, TestCheck, for inspection of software testing artifacts (test plans, cases, and procedures). In order to evaluate the proposed approach, experimental studies (feasibility, observation and case studies) were conducted. They analyzed and indicated the efficacy, efficiency, and maturity of the proposed approach in relation to detection of defects in testing artifacts. / A qualidade dos testes aplicados em um projeto de Software é um fator determinante para a qualidade do produto final. Isso se torna mais evidente em metodologias que se baseiam em testes para progressão do desenvolvimento do Software ou consideram os testes pontos centrais da avaliação da sua qualidade. Diversas estratégias podem ser aplicadas para avaliação da qualidade dos testes em um projeto de Software. Uma delas é garantir a qualidade dos artefatos de testes produzidos ao longo do processo de testes. Neste contexto, uma técnica que vem sendo bastante utilizada para garantir a qualidade de artefatos de Software é inspeção. Existem diversos trabalhos que abordam inspeção em documentos produzidos ao longo do processo de desenvolvimento de software. No entanto, não foram encontrados na literatura técnica trabalhos que utilize inspeção em artefatos de Teste de Software. O que existe são trabalhos que mencionam a importância de se fazer inspeção nesses artefatos. Assim, com o objetivo de avaliar a qualidade dos artefatos de teste, proporcionando que defeitos sejam encontrados antes da execução dos testes, esta dissertação apresenta uma abordagem baseada em Checklist, TestCheck, para inspeção de artefatos de teste de Software (planos, casos e procedimentos de teste). Para avaliar a abordagem proposta, foram realizados estudos experimentais (estudo de viabilidade, segundo estudo de viabilidade e estudo de observação na indústria). Eles analisaram e indicaram a eficácia, eficiência e amadurecimento da abordagem proposta em relação à detecção de defeitos em artefatos de teste.
40

Um ambiente para geraÃÃo de cenÃrios de testes para linhas de produtos de software sensÃveis ao contexto / An environment for the generation of test scenarios for software product lines context sensitive

Ismayle de Sousa Santos 04 March 2013 (has links)
CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / Uma Linha de Produto de Software SensÃvel ao Contexto (LPSSC) à uma linha de produto para o desenvolvimento de aplicaÃÃes sensÃveis ao contexto, que alteram dinamicamente o comportamento ou que proveem serviÃos com base em informaÃÃes de contexto. Nesse cenÃrio, a atividade de testes precisa lidar ao mesmo tempo com as peculiaridades das aplicaÃÃes finais, que sÃo sensÃveis ao contexto, e com o paradigma de desenvolvimento em linha de produto. Mediante a complexidade envolvida nos testes de uma LPSSC, à fundamental a existÃncia de mÃtodos ou ferramentas de suporte a essa atividade, especialmente com a intenÃÃo de criar testes a partir dos requisitos da linha. O objetivo dessa geraÃÃo precoce dos testes à permitir a identificaÃÃo e correÃÃo dos defeitos nos estÃgios iniciais de desenvolvimento. Dessa forma, esta dissertaÃÃo tem por objetivo propor um ambiente de geraÃÃo de cenÃrios de testes para uma LPSSC que utiliza especificaÃÃes textuais de casos de uso com informaÃÃes de contexto e que possibilita a reutilizaÃÃo dos testes. Este ambiente à constituÃdo pela proposta de um mÃtodo de geraÃÃo de cenÃrios de testes, de um template para especificaÃÃo textual de casos de uso de uma LPSSC e de uma ferramenta de apoio. O mÃtodo utiliza como base especificaÃÃes textuais de casos de uso com informaÃÃes sobre: funcionalidade, variabilidade da linha, e como o contexto afeta os produtos finais. O ambiente tambÃm contÃm o template para caso de uso que fornece suporte ao uso do mÃtodo e a ferramenta de apoio, que permite a modelagem de casos de uso segundo esse template e implementa o mÃtodo proposto. Com a intenÃÃo de verificar os benefÃcios do ambiente, proposto nesta dissertaÃÃo, quanto a geraÃÃo de cenÃrios de testes para uma LPSSC, conduziu-se uma avaliaÃÃo preliminar na forma de experimento controlado. Baseado nos resultados coletados nessa avaliaÃÃo percebeu-se que: o template favorece o entendimento de um caso de uso de uma LPSSC; o mÃtodo favorece a criaÃÃo de um conjunto de testes com uma maior cobertura para uma LPSSC, se comparado a criaÃÃo de testes de forma nÃo sistemÃtica; e a ferramenta representa um suporte necessÃrio. / A Context-Aware Software Product Line (CASPL) is a product line for developing context-aware applications, which dynamically change their behavior or provide services based on context information. With this kind of line, the productivity can be increased and the development costs of the context-aware application can be cut down. In this scenario, the testing activity needs to deal with the peculiarities of both context-aware applications and the product line development paradigm. Through the complexity involved in testing a CASPL is essential to have methods or tools for supporting this activity, especially with the goal of creating tests from requirements. The aim of this early testing generation is to identify and fix the defects in the early stages of development. Therefore, this work aims to propose an environment for generating test scenarios for a CASPL that takes into account the presence of context information and seeks to maximize the testing reuse. This environment consists of a testing scenario generation method, a template for textual use case specification and a support tool. The method uses as input textual use cases especifications with information about: funcionality, variability, and how the context afect the final products. The environment also has a use case template that supports the use of the method and a tool support, which allows the modeling of use cases according to this template and implements the proposed method. In order to verify the benefits of the environment as a way to testing generation for a Context-Aware Software Product Line, an assessment in the form of controlled experiment is conducted. Based on the collected results, it is observed that: the use of the template makes easy the understanding of a Context-Aware Software Product Line use case; the method favors the creation of a set of tests with higher coverage than a non-systematic testing generation; and the tool is the necessary support for the method

Page generated in 0.0536 seconds