| |
|
|
 | 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 : 1 | |
| 1. |  | NERY, G.; BECERRA, D. R. D.; BORJA, L. S.; MAGALHÃES JUNIOR, J. T.; SOUZA, B. M. P. S.; FRANKE, C. R.; VERAS, P. S. T.; LARANGEIRA, D. F.; BARROUIN-MELO, S. M. Avaliação da infectividade parasitária a Lutzomyia longipalpis por xenodiagnóstico em cães tratados para leishmaniose visceral naturalmente adquirida. Pesquisa Veterinária Brasileira, Rio de Janeiro, v. 37, n. 7, p. 701-707, julho 2017. Título em inglês: Evaluation of parasite infectivity for Lutzomyia longipalpis by xenodiagnosis in dogs treated for natural visceral leishmaniasis.| Biblioteca(s): Embrapa Unidades Centrais. |
|    |
| Registros recuperados : 1 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
