Navegação por Assunto "Testes : Software"
Resultados 1-20 de 26
-
Um ambiente para descrição de cenários detalhados de falhas
(2010) [Dissertação]A utilização de várias ferramentas de injeção de falhas em um mesmo experimento de testes fornece mais subsídios para os resultados alcançados, tornando a atividade mais efetiva e menos sujeita a erros de interpretação. ... -
Análise comparativa entre ferramentas para auxílio na modelagem de testes a partir da metodologia de partição dos domínios de entrada
(2021) [Trabalho de conclusão de especialização]Um indicativo de qualidade de uma suíte de testes pode ser a quantidade de defeitos que ela é capaz de ajudar a detectar. Um desenvolvedor de testes experiente e com bom domínio do sistema pode ser capaz de criar testes ... -
Aplicação da programação em lógica no teste e depuração de software
(1995) [Resumo publicado em evento] -
Aplicações de slices no teste e manutenção de software
(1996) [Resumo publicado em evento] -
Aumento da testabilidade do hardware com auxilio de técnicas de teste de software
(2007) [Tese]O projeto, seja ele de software ou hardware, envolve uma série de atividades que, apesar das técnicas, ferramentas e métodos empregados, não estão livres de erros que podem levar ao mau funcionamento do produto final. Estes ... -
Diretrizes e critérios de cobertura de teste a partir de especificações UML
(2001) [Dissertação]As maiores dificuldades encontradas no teste de software estão relacionadas à definição dos dados de teste e a decisão de quando encerrar os testes. Uma das formas encontradas para minimizar tais dificuldades está centrada ... -
Extração e verificação de modelos para sistemas em evolução
(2013) [Trabalho de conclusão de graduação]Softwares estão sempre em constante evolução e atualização. Durante o ciclo de vida de um sistema, muitas modificações ocorrem, em relação às funcionalidades definidas em sua primeira especificação. É desejável que durante ... -
Ferramenta de apoio ao teste de aplicações java baseada em reflexão computacional
(2001) [Dissertação]A atividade de teste constitui uma fase de grande importância no processo de desenvolvimento de software, tendo como objetivo garantir um alto grau de confiabilidade nos produtos desenvolvidos. O paradigma da Orientação a ... -
A framework for usage control policy enforcement
(2010) [Trabalho de conclusão de graduação]Este trabalho de conclusão foi iniciado sobre a orientação do professor Alexander Pretschner da Universidade Técnica de Kaiserslautern, em 2009 e também com orientação do Ricardo Neisse, do Instituto Fraunhofer, e mais ... -
Geração de dados para teste de software
(1996) [Resumo publicado em evento] -
Geração de testes a partir de máquinas de estados hierárquicas comunicantes
(2016) [Trabalho de conclusão de graduação]Em função da criticidade de algumas classes de sistemas, da necessidade de garantir o comportamento esperado em um software e de minimizar riscos e custos com tratamento de erros em sistemas, a fase de testes de software ... -
Geração de testes de aceitação a partir de modelos U2TP para sistemas web
(2015) [Dissertação]A utilização desta abordagem no ciclo de desenvolvimento de uma aplicação web traz algumas vantagens, como ser necessário gerar manualmente apenas o modelo de comportamento de cada funcionalidade da aplicação, (pois os ... -
Implementação e avaliação da técnica ACCE para detecção e correção de erros de fluxo de controle no LLVM
(2013) [Dissertação]Técnicas de prevenção de falhas como testes e verificação de software não são suficientes para prover dependabilidade a sistemas, visto que não são capazes de tratar falhas ocasionadas por eventos externos tais como falhas ... -
Injeção de falhas de comunicação em ambientes distribuídos
(2011) [Dissertação]A busca por características de dependabilidade em aplicações distribuídas está cada vez maior. Para tanto, técnicas de tolerância a falhas são componentes importantes no processo de desenvolvimento de um software, e requerem ... -
Injeção de falhas de comunicação em aplicações multiprotocolo
(2009) [Dissertação]Aplicações de rede com altos requisitos de dependabilidade devem ser testadas cuidadosamente em condições de falhas de comunicação para aumentar a confiança no seu comportamento apropriado na ocorrência de falhas. Injeção ... -
Metodologia de projeto de software embarcado voltada ao teste
(2010) [Dissertação]Devido ao crescente incremento de complexidade do software embarcado atual, dada a abundância de recursos disponíveis de hardware, está cada vez mais difícil manter a qualidade do software embarcado desenvolvido sem incorrer ... -
OZJ : uma ferramenta para geração de óraculos para teste de software a partir de especificação formal
(2002) [Dissertação]A literatura sobre Teste de Software apresenta diversas estratégias e metodologias que definem critérios eficazes e automatizáveis para selecionar casos de teste capazes de detectar erros em softwares. Embora eficientes ... -
A regression testing prioritization component for testlink
(2015) [Trabalho de conclusão de graduação]Analytical software quality assurance is an expensive set of activities – both in time and cost – on a software project development. The literature attributes more than 50% of the costs of a project just for the testing ... -
Reúso de cenários BDD para minimizar o esforço de migração de testes para a plataforma android
(2018) [Dissertação]O desenvolvimento de versões móveis de sistemas corporativos que já executam em plataformas Desktop e/ou Web tem se tornado comum. No entanto, o processo de migração tanto da lógica de programação quanto dos testes pode ... -
Um sistema de apoio ao teste de aplicações smalltalk
(1998) [Dissertação]A atividade de teste é de extrema importância em qualquer ambiente de programação para gerar produtos de qualidade e de alta confiabilidade. Entretanto, alem das dificuldades inerentes a esta tarefa, soma-se a falta de ...