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 : 39
Primeira ... 12 ... Última
1.Imagem marcado/desmarcadoCHAIM, M. L. Definição de um processo de software leve. Campinas: Embrapa Informática Agropecuária, 2002. 7 p. (Embrapa Informática Agropecuária. Comunicado técnico, 35).

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
2.Imagem marcado/desmarcadoCHAIM, M. L. Depuração de programas baseada em informação de teste estrutural. 2001. 222 f. Tese (Doutorado em Engenharia Elétrica) - Faculdade de Engenharia Elétrica e de Computação, Universidade de Campinas, Campinas.

Biblioteca(s): Embrapa Agricultura Digital; Embrapa Unidades Centrais.

Visualizar detalhes do registroImprime registro no formato completo
3.Imagem marcado/desmarcadoCHAIM, M. L. POKE-TOOL: uma ferramenta para suporte ao teste estrutural de programas baseado em análise de fluxo de dados. 1991. 176 f. Dissertação (Mestrado em Engenharia Elétrica) - Faculdade de Engenharia Elétrica, Universidade Estadual de Campinas.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
4.Imagem marcado/desmarcadoCARNIELLO, A.; JINO, M.; CHAIM, M. L. Instrumentação configurável e incremental de programas. In: JORNADAS IBEROAMERICANAS EN INGENIERÍA DEL SOFTWARE E INGENIERÍA DEL CONOCIMIENTO, 4., 2004, Madrid. Resumos... Madrid: Universidad Politecnica de Madrid, 2004. p. 665-668.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroAcesso restrito ao objeto digitalImprime registro no formato completo
5.Imagem marcado/desmarcadoCARNIELLO, A.; JINO, M.; CHAIM, M. L. Structural testing with use cases. In: WORKSHOP ON REQUIREMENTS ENGINEERING, 7., 2004, Tandil. Proceedings... Tandil: Universidad Nacional del Centro, 2004. p. 140-151.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroAcesso restrito ao objeto digitalImprime registro no formato completo
6.Imagem marcado/desmarcadoCHAIM, M. L.; CARNIELLO, A.; JINO, M. Teste baseado em casos de uso. Campinas: Embrapa Informática Agropecuária, 2003 40 p. (Embrapa Informática Agropecuária. Boletim de Pesquisa e Desenvolvimento, 10).

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
7.Imagem marcado/desmarcadoCHAIM, M. L.; SANTOS, A. D. dos. Processo de certificação de qualidade de produto de software. Brasília: Embrapa Informação Tecnológica, 2002. 3 fitas de vídeo (120 min cada), VHS, son., color. Curso realizado de 04 a 08/11/02

Biblioteca(s): Embrapa Agricultura Digital; Embrapa Unidades Centrais.

Visualizar detalhes do registroImprime registro no formato completo
8.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
9.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
10.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
11.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
12.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
13.Imagem marcado/desmarcadoCHAIM, M. L.; MALDONADO, J. C.; JINO, M. Teste de fluxo de dados de programas com ponteiros e registros. Campinas: Embrapa Informática Agropecuária, 2002. 35 p. (Embrapa Informática Agropecuária. Boletim de pesquisa e desenvolvimento, 4).

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
14.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
15.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
16.Imagem marcado/desmarcadoCHAIM, M. L.; MALDONADO, J. C.; JINO, M. Processo de depuração depois do teste: definição e análise. Campinas: Embrapa Informática Agropecuária, 2002. 47 p. (Embrapa Informática Agropecuária. Boletim de Pesquisa e Desenvolvimento, 5).

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
17.Imagem marcado/desmarcadoCHAIM, M. L.; JINO, M.; MALDONADO, J. C. POKE-TOOL: estado atual de uma ferramenta para teste estrutural de software baseado em análise de fluxo de dados. In: SIMPÓSIO BRASILEIRO DE BANCO DE DADOS, 13.; SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 12., 1998, Maringá. Caderno de ferramentas. Maringá: SBC, 1998. p. 37-45.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
18.Imagem marcado/desmarcadoMALDONADO, J. C.; CHAIM, M. L.; JINO, M. Using the essential branch concept to support data-flow based testing criteria application. In: SOFTWARE ENGENEERING AND ITS APPLICATIONS CONFERENCE, 1992, Toulouse, France. Proceedings... (S.I., 1992?). p. 613-623.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
19.Imagem marcado/desmarcadoCHAIM, M. L.; MALDONADO, J. C.; JINO, M. On the use of dynamic data-flow testing information for fault localization. In: WORKSHOP ON SOFTWARE QUALITY, 2002, Orlando. Proceedings... Orlando: ICSE, 2002. Não paginado.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroAcesso restrito ao objeto digitalImprime registro no formato completo
20.Imagem marcado/desmarcadoVILELA, P. R. S.; CHAIM, M. L.; MALDONADO, J. C.; JINO, M. Data flow based testing of programs with pointers. 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. 137-146. WOVTSO 1997.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
Registros recuperados : 39
Primeira ... 12 ... Ú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:  14/01/1998
Data da última atualização:  02/03/2011
Autoria:  VILELA, P. R. S.; CHAIM, M. L.; MALDONADO, J. C.; JINO, M.
Afiliação:  PLÍNIO ROBERTO SOUZA VILELA, DCA/FEEC/UNICAMP; MARCOS L. CHAIM, DCA/FEEC/UNICAMP; JOSÉ C. MALDONADO, ICMSC/USP; MARIO JINO, DCA/FEEC/UNICAMP.
Título:  Data flow based testing of programs with pointers.
Ano de publicação:  1997
Fonte/Imprenta:  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áginas:  p. 137-146.
Idioma:  Inglês
Notas:  WOVTSO 1997.
Conteúdo:  One of the key aspects of Data Flow Based Criteria to the Structural Testing of Programs is the definition and identification of Data Flow Associations. A recent source of concern is the influence of the occurrence of pointer variables over the existent Testing Criteria. In this paper a conservative approach to the determination of data flow associations in programs with pointers is presented. This approach is based on the concept of potential uses and data flow model used by POKE-TOOL, a tool that implements the Potential Uses Criteria to perform Data Flow Based Program Testing. A comparison with previous works, stating the drawbacks and advantages of each one is also presented.
Palavras-Chave:  Fluxo de dados; Software; Teste de software.
Thesaurus NAL:  Testing.
Categoria do assunto:  X Pesquisa, Tecnologia e Engenharia
Marc:  Mostrar Marc Completo
Registro original:  Embrapa Agricultura Digital (CNPTIA)
Biblioteca ID Origem Tipo/Formato Classificação Cutter Registro Volume Status
CNPTIA6391 - 1UPCPL - PP005.14WOR1997.00024
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