Geracao De Casos De Testes
Mostrando 25-36 de 70 artigos, teses e dissertações.
-
25. GERAÇÃO SEMI-AUTOMÁTICA DE MASSAS DE TESTES FUNCIONAIS A PARTIR DA COMPOSIÇÃO DE CASOS DE USO E TABELAS DE DECISÃO / SEMI-AUTOMATIC GENERATION OF FUNCTIONAL TEST SCRIPTS BY COMPOSING USE CASES WITH DECISION TABLES
Este trabalho tem por objetivo propor um processo e ferramentas para a geração semi-automática de scripts de teste funcional para sistemas web, a partir de casos de uso e tabelas de decisão, com vistas à geração de eficazes scripts de teste automatizados, simultaneamente reduzindo o tempo gasto para gerá-los. As especificações dos testes dão-se at
Publicado em: 2010
-
26. Geração de casos de teste a partir de especificações B
Com o crescente aumento da complexidade dos sistemas de software, há também um aumento na preocupação com suas falhas. Essas falhas podem causar prejuízos financeiros e até prejuízos de vida. Sendo assim, propomos neste trabalho a minimização de falhas através de testes em softwares especificados formalmente. A conjunção de testes e especificaç�
Publicado em: 2010
-
27. Um método baseado em inteligência computacional para a geração automática de casos de teste de caixa preta. / A method based on computational intelligence for automatic Black Box test cases generation.
Este trabalho de dissertação apresenta um método baseado em técnicas de inteligência computacional, como aprendizado de conjunto de regras, redes neurais artificiais e lógica fuzzy, para propor o desenvolvimento de ferramentas capazes de gerar e classificar casos de testes de caixa preta com as finalidades de auxiliar na atividade de preparação de te
Publicado em: 2010
-
28. Estendendo rest-unit : geração baseada em U2TP de drivers e dados de teste para RESTful Web Services / Extending rest-unit: drivers and test data generation based on u2tp for restful web services
Os RESTful Web services – Web services baseados em REST (REpresentational State Transfer) – são uma solução que vem sendo amplamente utilizada para desenvolvimento de aplicações Web 2.0 e publicação de APIs na internet pela interface simples e de fácil entendimento, aliado ao suporte de frameworks de alta produtividade. Os RESTful Web services, a
Publicado em: 2010
-
29. Teste integrado de software e hardware : reusando casos de teste de software em teste de microprocessadores / Integrated test of software and hardware: reusing software test cases to test of microprocessor
Sistemas embarcados estão mais complexos e são cada vez mais utilizados em contextos que exigem muitos recursos computacionais. Isso significa que o hardware embarcado pode ser composto por vários processadores, memórias, partes reconfiguráveis e ASIPs integrados em um único silício. Adicionalmente, o software embarcados pode conter muitas rotinas de
Publicado em: 2010
-
30. Prevalência de HPV em adolescentes virgens e com atividade sexual / Prevalence of Human Papillomavirus in virgin and sexual activity adolescents
O Papilomavírus humano (HPV) é um vírus DNA bastante prevalente em estimativas mundiais, sendo a DST isolada mais frequente no mundo. Existem poucos dados sobre prevalência em adolescentes sem vida sexual ativa, havendo ainda muitos tabus nesta faixa etária. O presente estudo tem por objetivo identificar a prevalência de Papilomavírus humano através
Publicado em: 2010
-
31. Test case generation for space area systems using test criteria for finite state machines / Geração de casos de teste para sistemas da área espacial usando critérios de teste para máquinas de estados finitos
Test case generation based on Finite State Machines (FSM) has been addressed for quite some time. Model-Based Testing has drawn attention from researchers and practitioners in test area. Several test criteria have been proposed in the literature in order to validate systems built according to some modeling formal technique, for example, the FSM. Through MEF
Publicado em: 2010
-
32. Heurísticas e algoritmos evolutivos para formulações mono e multiobjetivo do problema do roteamento multicast
Neste trabalho são investigados modelos evolutivos aplicados ao Problema do Roteamento Multicast (PRM), cujo objetivo é calcular árvores multicast a partir de um grafo conectado ponderado, otimizando uma ou mais funções objetivo relacionadas a requisitos de Qualidade de Serviço e Engenharia de Tráfego. O PRM pode ser visto como uma extens ão ao conhe
Publicado em: 2010
-
33. Atenção e controle inibitório em pré-escolares e correlação com indicadores de desatenção e hiperatividade
As funções executivas (FE) são caracterizadas por um conjunto de processos cognitivos e metacognitivos que permitem ao indivíduo regular seu comportamento, possibilitando seu engajamento em ações direcionadas a metas. Durante o desenvolvimento, crianças se tornam gradualmente mais hábeis para controlar seus pensamentos e ações. Esta mudança tem si
Publicado em: 2010
-
34. Um Algoritmo Auxiliar Paralelo inspirado na Fertilização in Vitro para melhorar o desempenho dos Algoritmos Genéticos
Várias são as técnicas aplicadas em problemas de otimização. No entanto, poucas alcançam desempenho satisfatório quando o problema é complexo, por exemplo multimodal ou multiobjetivo. Entre as técnicas para otimização estão as metaheurísticas, algoritmos heurísticos de base empírica que não garantem a ótimo global mas, normalmente, encontram
Publicado em: 2010
-
35. O problema do carteiro chinês, algoritmos exatos e um ambiente MVI para análise de suas instâncias: sistema XNÊS
Apresenta-se um estudo geral sobre o Problema do Carteiro Chinês (PCC), nas versões simétrica, orientada e mista, do ponto de vista dos algoritmos exatos até então publicados sobre o assunto. Para apresentar as soluções exatas das versões do problema, foram utilizadas as implementações exatas dos algoritmos de Sherafat (dos casos orientado e misto)
Pesquisa Operacional. Publicado em: 2009-08
-
36. Geração de conjuntos de teste para sistemas reativos, de tempo-real, e com transformações de contexto / Generating test suites for reactive and real-time systems, with context transformations
O objetivo deste trabalho é prover métodos eficientes de geração de casos de teste para sistemas reativos críticos. Sistemas dessa natureza compreendem sistemas de tempo real e com transformações de contexto. Uma das técnicas mais usadas na geração de conjuntos de teste tem sido a abordagem baseada em modelos formais. Neste caso, os formalismos for
Publicado em: 2009