Portal do Governo Brasileiro
BDPA - Bases de Dados da Pesquisa Agropecuária Embrapa
Home Bibliotecas Itens selecionados Créditos Ajuda
 






Ordenar por: RelevânciaAutorTítuloAnoImprime registros no formato resumido      Imprime registros no formato resumido
Registros recuperados : 47
Primeira ... 123 ... Última
1.Imagem marcado/desmarcadoDELAMARO, M. E.; MALDONADO, J. C. Interface mutation: an approach for integration testing. In: WORKSHOP DO PROJETO VALIDAÇÃO E TESTE DE SISTEMAS DE OPERAÇÃO, 1997, Águas de Lindóia, SP. Anais... [Águas de Lindóia: s.n., 1997]. p. 177-189. WOVTSO 1997.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
2.Imagem marcado/desmarcadoDELAMARO, M. E.; MALDONADO, J. C. Interface mutation: a case study. In: WORKSHOP DO PROJETO VALIDAÇÃO E TESTE DE SISTEMAS DE OPERAÇÃO, 1997, Águas de Lindóia, SP. Anais... [Águas de Lindóia: s.n., 1997]. p. 191-202. WOVTSO 1997.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
3.Imagem marcado/desmarcadoCHAIM, M.; MALDONADO, J. C.; JINO, M. A framework for software debugging-after-testing. Fall SERC Showcase 1999, Morgantown. Agenda ... Morgantown: NRCCE, 1999. não paginado.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
4.Imagem marcado/desmarcadoDELAMARO, M. E.; MALDONADO, J. C. Proteum: a tool for the assessment of test adequacy for C programs. In: WORKSHOP DO PROJETO VALIDAÇÃO E TESTE DE SISTEMAS DE OPERAÇÃO, 1997, Águas de Lindóia, SP. Anais... [Águas de Lindóia: s.n., 1997]. p. 31-44. WOVTSO 1997.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
5.Imagem marcado/desmarcadoCRESPO, A. N.; PASQUINI, A.; JINO, M.; MALDONADO, J. C. Cobertura dos critérios potenciais-usos e a confiabilidade do software. In: WORKSHOP DO PROJETO VALIDAÇÃO E TESTE DE SISTEMAS DE OPERAÇÃO, 1997, Águas de Lindóia, SP. Anais... [Águas de Lindóia: s.n., 1997]. p. 247-260. WOVTSO 1997.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
6.Imagem marcado/desmarcadoVERGILIO, S. R.; MALDONADO, J. C.; JINO, M. Geração de dados de teste: uma estratégia que preserva a hierarquia de critérios. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995. p. 211-222.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
7.Imagem marcado/desmarcadoVILLAS-BOAS, A; MALDONADO, J. C.; JINO, M. Gestão de configuração na atividade de teste. In: WORKSHOP DO PROJETO VALIDAÇÃO E TESTE DE SISTEMAS DE OPERAÇÃO, 1997, Águas de Lindóia, SP. Anais... [Águas de Lindóia: s.n., 1997]. p. 223-232. WOVTSO 1997.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
8.Imagem marcado/desmarcadoVILELA, P. R. S.; MALDONADO, J. C.; JINO, M. Data flow based integration testing. In: WORKSHOP DO PROJETO VALIDAÇÃO E TESTE DE SISTEMAS DE OPERAÇÃO, 1997, Águas de Lindóia, SP. Anais... [Águas de Lindóia: s.n., 1997]. p. 203-210. WOVTSO 1997.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
9.Imagem marcado/desmarcadoCHAIM, M. L.; MALDONADO, J. C.; JINO, M.; VILELA, P. Data-flow testing of programs with pointers and records: implementation, effectiveness, and cost. In: INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE, SOFTWARE ENGINEERING, INFORMATION TECHNOLOGY, E-BUSSINESS, AND APPLICATIONS, 2002, Foz do Iguazu. Proceedings. [S.l.]: International Association for Computer and Information Science, 2002. p. 317-323.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroAcesso restrito ao objeto digitalImprime registro no formato completo
10.Imagem marcado/desmarcadoCHAIM, M. L.; MALDONADO, J. C.; JINO, M. A debugging strategy based on requirements of testing. In: EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, 7., 2003, Benevento. Proceedings... Los Alamitos: IEEE Computer Society, 2003. p. 160-169. CSMR 2003.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroAcesso restrito ao objeto digitalImprime registro no formato completo
11.Imagem marcado/desmarcadoCHAIM, M. L.; MALDONADO, J. C.; JINO, M. A debugging strategy based on the requirements of testing. Journal of Software Maintenance and Evolution: Research and Practice, v. 16, p. 277-308, 2004.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroAcesso restrito ao objeto digitalImprime registro no formato completo
12.Imagem marcado/desmarcadoCHAIM, M. L.; MALDONADO, J. C.; JINO, M. Ferramentas para teste estrutural de software baseado em análise de fluxo de dados: o caso POKE-TOOL. In: WORKSHOP DO PROJETO DE VALIDAÇÃO E TESTE DE SISTEMAS DE OPERAÇÃO, 1997, Águas de Lindóia. Anais... [Águas de Lindoia: s.n., 1997]. Não paginado.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroAcesso restrito ao objeto digitalImprime registro no formato completo
13.Imagem marcado/desmarcadoVERGILIO, S. R.; MALDONADO, J. C.; JINO, M. Um experimento de aplicação de critérios baseados em fluxo de dados no teste de programas C. In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995. v.2 p. 941-952.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
14.Imagem marcado/desmarcadoSOUZA, S. do R. S. de; MALDONADO, J. C. Uma estratégia de minimização de conjuntos de casos de teste para o critério análise de mutantes. In: WORKSHOP DO PROJETO VALIDAÇÃO E TESTE DE SISTEMAS DE OPERAÇÃO, 1997, Águas de Lindóia, SP. Anais... [Águas de Lindóia: s.n., 1997]. p. 95-102. WOVTSO 1997.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
15.Imagem marcado/desmarcadoVERGILIO, S. R.; MALDONADO, J. C.; JINO, M. Aumentando a eficácia dos critérios estruturais através da utilização de critérios restritos. In: WORKSHOP DO PROJETO VALIDAÇÃO E TESTE DE SISTEMAS DE OPERAÇÃO, 1997, Águas de Lindóia, SP. Anais... [Águas de Lindóia: s.n., 1997]. p. 147-159. WOVTSO 1997.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
16.Imagem marcado/desmarcadoVERGILIO, S. R.; MALDONADO, J. C.; JINO, M. Caminhos não executáveis no teste de integração: caracterização, previsão e determinação. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 8., WORKSHOP DE QUALIDADE DE SOFTWARE, 1994, Curitiba. Anais... Curitiba: Centro Internacional de Técnologia de Software, 1994. p.453-467.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
17.Imagem marcado/desmarcadoMALDONADO, J. C.; CHAIM, M. L.; JINO, M. Bridging the gap in the presence of infeasible paths: potential uses testing criteria. In: CONFERENCIA OF THE CHILEAN COMPUTER SOCIETY, 1992, Santiago, Chile. Proceedings... (S.I., 1992?). p. 323-340.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
18.Imagem marcado/desmarcadoDELAMARO, M. E.; MALDONADO, J. C.; JINO, M. Introdução ao tese de software. Rio de Janeiro: Elsevier, 2007. 394 p.

Biblioteca(s): Embrapa Cerrados.

Visualizar detalhes do registroImprime registro no formato completo
19.Imagem marcado/desmarcadoMALDONADO, J. C.; JINO, M.; CHAIM, M. L. Introdução ao teste de software. In: WORKSHOP INTERNO DO CNPTIA, 1., 1995, Campinas. Trabalhos apresentados... Campinas: EMBRAPA-CNPTIA, 1995. Não paginado.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
20.Imagem marcado/desmarcadoCHAIM, M. L.; MALDONADO, J. C.; JINO, M. Modelando a determinação de potenciais du-caminhos através da análise de fluxo de dados. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 3., 1989, Recife. Anais... Recife: SBC, 1989. p. 239-251.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroAcesso restrito ao objeto digitalImprime registro no formato completo
Registros recuperados : 47
Primeira ... 123 ... Última






Acesso ao texto completo restrito à biblioteca da Embrapa Agricultura Digital. Para informações adicionais entre em contato com cnptia.biblioteca@embrapa.br.

Registro Completo

Biblioteca(s):  Embrapa Agricultura Digital.
Data corrente:  19/02/2002
Data da última atualização:  01/09/2010
Autoria:  MALDONADO, J. C.; CHAIM, M. L.; JINO, M.
Afiliação:  USP; EMBRAPA-CNPTIA, UNICAMP.
Título:  Bridging the gap in the presence of infeasible paths: potential uses testing criteria.
Ano de publicação:  1992
Fonte/Imprenta:  In: CONFERENCIA OF THE CHILEAN COMPUTER SOCIETY, 1992, Santiago, Chile. Proceedings... (S.I., 1992?).
Páginas:  p. 323-340.
Idioma:  Inglês
Conteúdo:  Data flow based structural testeing criteria have been introduced aiming at "bridging the gap" between branch testing and path testing, and at making stronger the structural testing criteria, but none in the literature "bridges the gap" in the presence of infeasible paths. Potential uses criteria family (PU), based on the potential use concept, is introduced. Potential uses criteria are analysed in the presence of infeasible (unexecutable) paths; these criteria estabilish a hierarchy including all-edges and all-paths criteria in addition to satisfying the minimum coverage requirements from the data flow point of view. Potential uses criteria were inspired the data flow criteria family (DF); each PU criterion includes its correspondent DF criterion and no other data flow based criterion includes PU criteria. Complexity analysis of other data flow criteria is revisited and disagreement with published results is highlighted; all data-flow based criteria have complexity greater then or equal to 2t.
Palavras-Chave:  Complexity analysis; Data-flow based criteria; Hierarchy of testing criteria; Infeasible paths; Structural testing criteria.
Categoria do assunto:  --
Marc:  Mostrar Marc Completo
Registro original:  Embrapa Agricultura Digital (CNPTIA)
Biblioteca ID Origem Tipo/Formato Classificação Cutter Registro Volume Status
CNPTIA8670 - 1UPCSP - --2002.06ex1
CNPTIA8670 - 2UPCSP - --2002.06ex2
Fechar
Nenhum registro encontrado para a expressão de busca informada.
  
 

Embrapa
Todos os direitos reservados, conforme Lei n° 9.610
Política de Privacidade
Área Restrita
Embrapa Agricultura Digital
Av. André Tosello, 209 - Barão Geraldo
Caixa Postal 6041- 13083-886 - Campinas, SP
SAC: https://www.embrapa.br/fale-conosco

Valid HTML 4.01 Transitional