Portal do Governo Brasileiro
s
Mostrando
1 - 9
resultados de
9
para a busca '
'
Pular para o conteúdo
Institucional
Sobre
Como participar
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Faq
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Instituição de defesa:
UFCG
Área do conhecimento CNPq:
Ciência da Computação.
Assunto:
Software Testing
Mostrar filtros (3)
Instituição de defesa:
UFCG
Área do conhecimento CNPq:
Ciência da Computação.
Assunto:
Software Testing
Resultados da busca
Mostrando
1 - 9
resultados de
9
para a busca '
'
, tempo de busca: 0,02s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar CSV
1
Aumentando a confiança nos resultados de testes de sistemas multi-threaded: evitando asserções antecipadas e tardias.
Por
REBOUÇAS, Ayla Débora Dantas de Souza.
Publicado em 2010
Acessar documento
Tese
2
Infraestrutura para o desenvolvimento de aplicações pervasivas com suporte ao chaveamento automático de tecnologia de comunicação.
Por
FARIAS, Arthur Lúcio Meneses.
Publicado em 2012
Acessar documento
Dissertação
3
Uma técnica para verificar não conformidades em programas especificados com contratos.
Por
OLIVEIRA, Catuxe Varjão de Santana.
Publicado em 2013
Acessar documento
Dissertação
4
Uma abordagem para testar implementações de refatoramentos estruturais e comportamentais de programas C.
Por
MENDES, Gustavo Wagner Diniz.
Publicado em 2014
Acessar documento
Dissertação
5
Geração automática de casos de teste para sistemas baseados em agentes móveis.
Por
FIGUEIREDO, André Luiz Lima de.
Publicado em 2005
Acessar documento
Dissertação
6
Um método de teste funcional para verificação de componentes.
Por
FARIAS, Carina Machado de.
Publicado em 2003
Acessar documento
Dissertação
7
Uma estratégia para escrita de cenários de caso de uso voltados à geração automática de casos de teste.
Por
JUCÁ, Makelli Araújo.
Publicado em 2009
Acessar documento
Dissertação
8
Automação da técnica de inspeção guiada para conformidade entre requisitos e diagramas UML.
Por
ROCHA, Anne Caroline Oliveira.
Publicado em 2010
Acessar documento
Dissertação
9
Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL.
Por
SILVA, Daniel Aguiar da.
Publicado em 2006
Acessar documento
Dissertação
Voltar
Refinar a Busca
Instituição de defesa
UFCG
Bases coletadas
Biblioteca Digital de Teses e Dissertações da UFCG
9
Programa de Pós-Graduação
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
9
Autor
FARIAS, Arthur Lúcio Meneses
1
FARIAS, Carina Machado de
1
FIGUEIREDO, André Luiz Lima de
1
JUCÁ, Makelli Araújo
1
MENDES, Gustavo Wagner Diniz
1
OLIVEIRA, Catuxe Varjão de Santana
1
Mais ...
REBOUÇAS, Ayla Débora Dantas de Souza
1
ROCHA, Anne Caroline Oliveira
1
SILVA, Daniel Aguiar da
1
Ver todos ...
menos ...
Orientador(a)
MACHADO, Patrícia Duarte de Lima.
5
ALMEIDA, Hyggo Oliveira de.
1
BRASILEIRO, Francisco Vilar.
1
GHEYI, Rohit.
1
MASSONI, Tiago Lima.
1
Tipo de documento
Dissertação
8
Tese
1
Tipo de acesso
openAccess
9
Idioma
Português
9
Assunto
Software Testing
Teste de software
5
Engenharia de software
3
Teste de Software
3
Abordagem Thread Control for Tests
1
Action Semantics
1
Mais ...
Agentes móveis
1
Ambientes pervasivos
1
Aplicativos pervasivos
1
Aplicações cientes de contexto
1
Aplicações pervasivas
1
Automated Guided Inspection
1
Avaliação de Software
1
Chaveamento automático de tecnologia de comunicação
1
Checagem Automática de Contratos - Software
1
Ciência de Contexto
1
Componentes de software
1
Contratos - Conformidade
1
Definição de Conformidade
1
Desenvolvimento Baseado em Contratos - Software
1
Desenvolvimento de Software
1
Diagramas UML
1
Framework Formal
1
Geração de Objetivos de Teste
1
Geração de programas
1
Infra-estrutura de software
1
Inspeção de Software
1
Java Modeling Language - JML
1
Metamodelo UML
1
Modelagem computacional
1
Ver todos ...
menos ...
Área do conhecimento CNPq
Ciência da Computação.
Engenharia de Software.
1
Ano da publicação
De:
Até:
Carregando...