Data/hora: 01/06/2024 15:45:10

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: 	--	
Registro original: 	Embrapa Agricultura Digital (CNPTIA)	
Exemplares: 	CNPTIA - (9757-1) - UPC - AA - -- -  -  - 2003.00035 - DES
CNPTIA - (9757-2) - UPC - AA - DD -  -  -  - DIS