| |
|
|
| Registros recuperados : 8 | |
| 6. |  | BASÍLIO, J. P.; LOBO JUNIOR, M.; ALTMANN, N. Efeito de agentes químicos, biológicos e orgânicos. In: ALTMANN, N.; LOBO JUNIOR, M.; NUNES, R. de S.; TORMEN, N. R.; SARMENTO, P. H. L. (ed.). Vida no solo. Brasília, DF: GTEC Brasil Central, 2023. Capítulo 3, p. 57-71. il.| Biblioteca(s): Embrapa Arroz e Feijão. |
|    |
| 7. | | BASÍLIO, J. P.; LOBO JUNIOR, M.; ALTMANN, N. Efeito das culturas de cobertura. In: ALTMANN, N.; LOBO JUNIOR, M.; NUNES, R. de S.; TORMEN, N. R.; SARMENTO, P. H. L. (ed.). Vida no solo. Brasília, DF: GTEC Brasil Central, 2023. Capítulo 2, p. 35-51. il.| Biblioteca(s): Embrapa Arroz e Feijão. |
| |
| 8. | | LOPES FILHO, L. C.; BASÍLIO, J. P.; LOBO JUNIOR, M.; MOURA, J. B. de. Efeito na qualidade de vida do solo. In: ALTMANN, N.; LOBO JUNIOR, M.; NUNES, R. de S.; TORMEN, N. R.; SARMENTO, P. H. L. (ed.). Vida no solo. Brasília, DF: GTEC Brasil Central, 2023. Capítulo 4, p. 72-87. il.| Biblioteca(s): Embrapa Arroz e Feijão. |
| |
| Registros recuperados : 8 | |
|
|
|
 | 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 |
Fechar
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
