| |
|
|
 | 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: |
03/11/2003 |
|
Data da última atualização: |
17/01/2020 |
|
Autoria: |
CHAIM, M. L.; MALDONADO, J. C.; JINO, M.; VILELA, P. |
|
Afiliação: |
MARCOS L. CHAIM, CNPTIA; JOSÉ C. MALDONADO, DCCE/ICMC/USP; MARIO JINO, DCA/FEEC/Unicamp; PLÍNIO VILELA, Marília Eunfpedes S. da Rocha Foundation. |
|
Título: |
Data-flow testing of programs with pointers and records: implementation, effectiveness, and cost. |
|
Ano de publicação: |
2002 |
|
Fonte/Imprenta: |
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áginas: |
p. 317-323. |
|
Idioma: |
Inglês |
|
Conteúdo: |
A conservative data-flow model for implementation of accurate coverage assessment of pointers and records in data-flow resting is described. To assess its cost and effectiveness, we evaluated the adequacy of tests with respect to two different data-flow testing criteria implemented using the conservative data-flow model for seven faulty versions of the Unix sort program. The seeded faults simulate the misure os pointers and individual fields of records. The effectiveness and size of these adequate test sets were compared against adequate test sets determined using the same criteria implemented with a data-flow model that do not treat pointers and records in any special way. Results of the comparison indicate that the effectiveness of the conservative data-flow models depends on the program and the fault(s) it contains. Moreover, there exist faults whose detection is facilitated by a more accurate data-flow analysis such as that proposed by the conservative data-flow model. For one of the testing criteria investigated, we also found that the extra cost of analysis and coverage measurement for pointers and records is reasonable. |
|
Palavras-Chave: |
Fluxo de dados; Teste de software. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01881nam a2200181 a 4500
001 1008548
005 2020-01-17
008 2002 bl uuuu u00u1 u #d
100 1 $aCHAIM, M. L.
245 $aData-flow testing of programs with pointers and records$bimplementation, effectiveness, and cost.$h[electronic resource]
260 $aIn: 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$c2002
300 $ap. 317-323.
520 $aA conservative data-flow model for implementation of accurate coverage assessment of pointers and records in data-flow resting is described. To assess its cost and effectiveness, we evaluated the adequacy of tests with respect to two different data-flow testing criteria implemented using the conservative data-flow model for seven faulty versions of the Unix sort program. The seeded faults simulate the misure os pointers and individual fields of records. The effectiveness and size of these adequate test sets were compared against adequate test sets determined using the same criteria implemented with a data-flow model that do not treat pointers and records in any special way. Results of the comparison indicate that the effectiveness of the conservative data-flow models depends on the program and the fault(s) it contains. Moreover, there exist faults whose detection is facilitated by a more accurate data-flow analysis such as that proposed by the conservative data-flow model. For one of the testing criteria investigated, we also found that the extra cost of analysis and coverage measurement for pointers and records is reasonable.
653 $aFluxo de dados
653 $aTeste de software
700 1 $aMALDONADO, J. C.
700 1 $aJINO, M.
700 1 $aVILELA, P.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
| Registros recuperados : 8 | |
| 1. |  | MAIXNER, A. R.; FRONZA, E.; MARTINS, D.; COPPETTI, F. E.; VIVIAN, R.; SARTORI, C. O.; BERNARDI, D.; WENNINGKAMP, D. Fitotoxicidade de herbicidas pós-emergentes em mudas de amendoim forrageiro. In: CONGRESSO BRASILEIRO DE ZOOTECNIA, 21., 2011, Maceió. Inovações tecnológicas e mercado consumidor: anais. Maceió: ABZ: CECA: UFAL, 2011. 1 CD-ROM.| Tipo: Artigo em Anais de Congresso |
| Biblioteca(s): Embrapa Meio-Norte. |
|    |
| 2. | | ISKE, D. R.; SILVA, G. M. da; MAIXNER, A. R.; JANTSCH, E. M.; JEZEWSKI, T. J.; SARTORI, C. O. Produção de forragem de genótipos de azevém (Lolium multiflorum L.) sob diferentes regimes de adubação nitrogenada. In: REUNIÃO ANUAL DA SOCIEDADE BRASILEIRA DE ZOOTECNIA, 49., 2012, Brasília. A produção animal no mundo em transformação: anais. Brasília, DF: SBZ, 2012. 1 CD-ROM.| Tipo: Artigo em Anais de Congresso |
| Biblioteca(s): Embrapa Pecuária Sul. |
| |
| 3. | | OST, H. J.; SILVA, G. M. da; MAIXNER, A. R.; BERTO, J. L.; MONTARDO, D. P.; SARTORI, C. O. Sobressemeadura de forrageiras de inverno em pastagem de Tifton 85. In: CONGRESSO SUL BRASILEIRO DE PRODUÇÃO ANIMAL SUSTENTÁVEL, 1.; ANISUS, 2010, Chapecó. Anais... Chapecó: CEO: UDESC, 2010. 1 CD-ROM.| Tipo: Artigo em Anais de Congresso |
| Biblioteca(s): Embrapa Pecuária Sul. |
| |
| 4. | | SILVA, G. M. da; BORTOLIN, F.; BERNARDI, D.; WENNINGKAMP, D.; BERGOLI, L. M. G.; JUSWIAK, P.; MAIXNER, A. R.; SARTORI, C. O. Desempenho de consórcios forrageiros de estação fria com espécies leguminosas em diferentes anos de cultivo. In: CONGRESSO BRASILEIRO DE ZOOTECNIA, 21., 2011, Maceió. Inovações tecnólogicas e mercado consumidor: [anais...]. Brasília, DF: Associação Brasileira de Zootecnistas, 2011.| Tipo: Artigo em Anais de Congresso |
| Biblioteca(s): Embrapa Pecuária Sul. |
| |
| 5. | | KRÜGER, C. A. M. B.; SILVA, J. A. G. da; MEDEIROS, S. L. P.; DALMAGO, G. A.; SARTORI, C. O.; SCHIAVO, J. Arranjo de plantas na expressão dos componentes da produtividade de grãos de canola. Pesquisa Agropecuária Brasileira, Brasília, DF, v. 46, n. 11, p. 1448-1453, nov. 2011.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 2 |
| Biblioteca(s): Embrapa Trigo; Embrapa Unidades Centrais. |
| |
| 6. | | LONDERO, A. L.; BERWNAGER, D. F.; JUSWIAK, P.; BERGOLI, L. M. G.; BORTOLIN, F.; WENNINGKAMP, D.; UHDE, L. T.; FERNANDES, S. B. V.; MAIXNER, A. R.; SILVA, G. M. da; SARTORI, C. O.; SILVA, J. A. G. da. Avaliação de parâmetros físicos do solo em área de pastagem de tifton 85, sobressemeada com espécies forrageiras de inverno, submetida ao pastejo. In: REUNIÃO DA COMISSÃO BRASILEIRA DE PESQUISA DE AVEIA, 31., 2011, Passo Fundo, RS. Resultados experimentais. Passo Fundo, UNIJUI/DEAG, 2011. p. 159-161. Editado por Nadia Canali Lângaro et al.| Tipo: Artigo em Anais de Congresso |
| Biblioteca(s): Embrapa Pecuária Sul. |
| |
| 7. | | GUARINO, E. de S. G.; FREITAS, T. C. de; GOMES, G. C.; MOLINA, A. R.; MIURA, A. K.; HENZEL, A. B. D.; SOUSA, L. P. de; KAISER, M.; SPIERING, V.; SARTORI, C. O. Guia para identificação de mudas de espécies arbóreas indicadas para restauração florestal no Rio Grande do Sul. Brasília, DF: Embrapa, 2023. 168 p.| Tipo: Autoria/Organização/Edição de Livros |
| Biblioteca(s): Embrapa Clima Temperado. |
| |
| 8. | | SOUSA, L. P. de; LUCCHESE, O. A.; GOMES, G. C.; KAISER, M. F.; BESKOW, G. T.; BIERHALS, D. F.; SOARES, M. M.; HENZEL, A. B. D.; REAL, I. M. da L.; FREITAS, T. C. de; MOLINA, A. R.; GUARINO, E. de S. G.; MIURA, A. K.; NORONHA, A.; PORAZZI, C. C.; SARTORI, C. O.; REIS, C. U.; ANTUNES, H. R. F.; CAMARGO, A. R. de. Árvores nativas para sistemas agrícolas sustentáveis e para restauração ecológica na região Noroeste do Rio Grande do Sul. Pelotas: Embrapa Clima Temperado, 2022. (Embrapa Clima Temperado. Documentos, 525). ODS 15.| Biblioteca(s): Embrapa Clima Temperado. |
| |
| Registros recuperados : 8 | |
|
| Expressão de busca inválida. Verifique!!! |
|
|
