| |
|
|
 | 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: |
null
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 : 34 | |
| 2. |  | ATAÍDE, M. V. R.; PACHÊCO, B. S.; ANDRADE, L. R. M. de; AQUINO, F. de G. Recovery of degraded areas due to nickel mining by using native species of Brazilian Savannah, Barro Alto, GO. In: ANNUAL SYMPOSIUM OF THE INTERNATIONAL ASSOCIATION FOR VEGETATION SCIENCE, 59., 2016, Pirinópolis. Conservation of plant communities: from environmental drivers to ecosystem services: abstracts... Pirinópolis: ABECO, 2016. p. 20.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Cerrados. |
|    |
| 3. | | DEUS, L. G. F. de; ANDRADE, L. R. M. de; TAVARES, E. B.; PACHECO, B. S. Recuperação de ambientes ultramáficos com espécies nativas: efeito da fertilização do substrato no desenvolvimento de mudas de três espécies tolerantes a metais, produzidas por estaquia. In: ENCONTRO DE INICIAÇÃO CIENTÍFICA DA EMBRAPA CERRADOS, 2017, Planaltina, DF. Jovens talentos 2017: resumos Planaltina, DF: Embrapa Cerrados, 2017. (Embrapa Cerrados. Documentos, 343). p. 67.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Cerrados. |
| |
| 4. | | BEZERRA, E. T.; PACHECO, B. S.; ATAIDE, M. V. R. de; ANDRADE, L. R. M. de. Recuperação de ambientes ultramáficos com espécies nativas: experimentos exploratórios sobre germinação de sementes em placas de petri e crescimento de plântulas em substratos ricos em metais. ENCONTRO DE INICIAÇÃO CIENTÍFICA DA EMBRAPA CERRADOS, 2015, Planaltina, DF. Jovens Talentos 2015: resumos. Planaltina, DF: Embrapa Cerrados, 2015. 118 p. (Embrapa Cerrados. Documentos, 328). p. 33.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Cerrados. |
| |
| 6. | | BEZERRA, E. T.; PACHÊCO, B. S.; ANDRADE, L. R. M. de. Germinação como indicador do potencial de uso de espécies nativas para colonização de áreas impactadas pela mineração de níquel, Barro Alto - GO. In: CONGRESSO NACIONAL DE BOTÂNICA, 67., 2016, Vitória, ES. Conectando diversidades, revelando o desconhecido: resumos. Brasília, DF: Sociedade Botânica do Brasil, 2016.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Cerrados. |
| |
| 8. | | PACHÊCO, B. S.; TAVARES, E. B.; ANDRADE, L. R. M. de. Efeito do substrato no desenvolvimento de gramíneas nativas de solos ultramáficos com potencial para uso na recuperação de áreas impactadas pela mineração de níquel, Barro Alto -GO. In: CONGRESSO NACIONAL DE BOTÂNICA, 67., 2016, Vitória, ES. Conectando diversidades, revelando o desconhecido: resumos. Brasília, DF: Sociedade Botânica do Brasil, 2016.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Cerrados. |
| |
| 9. | | PACHECO, B. S.; BEZERRA, E. T.; ATAIDE, M. V. R. de; AQUINO, F. de G.; ANDRADE, L. R. M. de. Subsídios para o desenvolvimento de protocolo para recuperação de áreas degradadas pela de mineração de Níquel (Ni) - Barro Alto, GO. ENCONTRO DE INICIAÇÃO CIENTÍFICA DA EMBRAPA CERRADOS, 2015, Planaltina, DF. Jovens Talentos 2015: resumos. Planaltina, DF: Embrapa Cerrados, 2015. 118 p. (Embrapa Cerrados. Documentos, 328). p. 28.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Cerrados. |
| |
| 10. | | ATAÍDE, M. V. R. de; PACHÊCO, B. S.; AQUINO, F. de G.; ANDRADE, L. R. M. de; TAVARES, E. B. Dinâmica de colonização de espécies vegetais nativas do Cerrado e leguminosas condicionadoras de solo após semeadura direta em taludes de áreas impactadas pela mineração de Ni, Barro Alto, Go. In: CONGRESSO DE ECOLOGIA DO BRASIL, 12., 2015, São Lourenço. [Anais...] São Lourenço: Sociedade de Ecologia do Brasil, 2015. Não paginado| Tipo: Artigo em Anais de Congresso |
| Biblioteca(s): Embrapa Cerrados. |
| |
| 11. | | ANDRADE, L. R. M. de; AQUINO, F. de G.; REIS JUNIOR, F. B. dos; PACHÊCO, B. S.; ECHEVARRIA, G. Potencial de uso de espécies vegetais nativas dos complexos ultramáficos de Barro Alto (GO) nos processos de recuperação de áreas alteradas pela extração de Ni, de fitoextração e fitomineração. In: CONGRESSO BRASILEIRO DE CIÊNCIA DO SOLO, 35., 2015, Natal. O solo e suas múltiplas funções: anais. Natal: Sociedade Brasileira de Ciência do Solo, 2015.| Tipo: Artigo em Anais de Congresso |
| Biblioteca(s): Embrapa Cerrados. |
| |
| 12. | | PACHÊCO, B. S.; DE SOUSA, A. C. S. A.; BEZERRA, G. S.; SOUSA, S. R.; AQUINO, F. de G.; ALBUQUERQUE, L. B. de. Chuva de sementes: avaliação inicial em duas áreas de mata ripária (Brasil) In: SIMPÓSIO DE RESTAURAÇÃO ECOLÓGICA, 5., São Paulo, 2013. Políticas públicas para conservação da biodiversidade. São Paulo: Instituto de Botânica, 2013. p. 353.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Cerrados. |
| |
| 13. | | PACHÊCO, B. S.; SOUSA, A. C. S. A. de; MIRANDA, L. G. DE O.; SOUSA, S. R. de; ALBUQUERQUE, L. B. de; AQUINO, F. de G. Avaliação inicial de chuva de sementes em mata ripária. In: SIMPÓSIO PROCESSOS ECOLÓGICOS, RESTAURAÇÃO E ECOVALORAÇÃO EM ZONAS RIPÁRIAS, 2012, Brasília. Anais... Brasília, DF: UNB, 2012. 1 CD-ROM.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Cerrados. |
| |
| 15. | | BEZERRA, E. T.; PACHECO, B. S.; SILVA, R. B. da; DEUS, L. G. F. de; PEREIRA, C. D.; ANDRADE, L. R. M. de. Subsídios para a recuperação de ambientes Ultramáficos utilizando a biodiversidade Local: efeito da adubação do substrato no desenvolvimento de gramíneas nativas. In: ENCONTRO DE INICIAÇÃO CIENTÍFICA DA EMBRAPA CERRADOS, 2017, Planaltina, DF. Jovens talentos 2017: resumos Planaltina, DF: Embrapa Cerrados, 2017. (Embrapa Cerrados. Documentos, 343). p. 27.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Cerrados. |
| |
| 16. | | SOUSA, S. R. de; SOUSA, A. C. da S. A. de; PACHÊCO, B. S.; MALAQUIAS, J. V.; AQUINO, F. de G.; ALBUQUERQUE, L. B. de. Crescimento de espécies nativas em experimento de restauração ecológica de matas ripárias, DF-Brasil. In: CONGRESO IBEROAMERICANO Y DEL CARIBE DE RESTAURACIÓN ECOLÓGICA, 4., 2015, Buenos Aires. Resúmenes... Buenos Aires: Siacre, 2015. 157 p.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Cerrados. |
| |
| 17. | | SOUSA, S. R. de; SOUSA, A. C. da S. A. de; PACHÊCO, B. S.; MALAQUIAS, J. V.; AQUINO, F. de G.; ALBUQUERQUE, L. B. de. Desempenho de espécies nativas em experimento de restauração de mata ripária no Cerrado. In: CONGRESO IBEROAMERICANO Y DEL CARIBE DE RESTAURACIÓN ECOLÓGICA, 4., 2015, Buenos Aires. Resúmenes... Buenos Aires: Siacre, 2015.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Cerrados. |
| |
| 18. | | ANDRADE, L. R. M. de; MELO, A. C. de; NASCIMENTO, C. T. C. do; AQUINO, F. de G.; PACHÊCO, B. S. Correlação entre dados topográficos e de sensoriamento remoto para caracterização de solos ultramáficos na região de Barro Alto, Goiás. In: CONGRESSO BRASILEIRO DE CIÊNCIA DO SOLO, 35., 2015, Natal. O solo e suas múltiplas funções: anais. Natal: Sociedade Brasileira de Ciência do Solo, 2015.| Tipo: Artigo em Anais de Congresso |
| Biblioteca(s): Embrapa Cerrados. |
| |
| 20. | | SOUSA, A. C. DA S. A. DE.; SOUSA, S. R. DE.; PACHÊCO, B. S.; AQUINO, F. de G.; ALBUQUERQUE, L. B. de. Fenologia de Tococa formicaria Mart. (Melastomataceae), em mata ripária do Distrito Federal. In: CONGRESSO NACIONAL DE BOTÂNICA, 63., 2012, Joinville. Botânica frente às mudanças globais: anais. [S.l.]: Sociedade botânica do Brasil, 2012. Disponível online.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Cerrados. |
| |
| Registros recuperados : 34 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
