Extracting static and dynamic structural information from java concurrent programs for coverage testing

Autor:	Simone R. S. Souza, Julio Cezar Estrella, João Lourenço, Sarita Mazzini Bruschi, George G. M. Dourado, Paulo Sergio Lopes de Souza, Rafael R. Prado
Rok vydání:	2015
Předmět:	Source code Java Programming language Computer science media_common.quotation_subject White-box testing Development testing computer.software_genre Java concurrency Real time Java Control flow graph computer Java annotation computer.programming_language media_common
Zdroj:	CLEI
DOI:	10.1109/clei.2015.7359975
Popis:	This paper proposes novel techniques for the extraction of structural information from the source code of Java concurrent programs for their coverage testing. Such techniques differ from others because they consider synchronization flow among processes/threads, distinct paradigms of communication/synchronization, method calls and pointer manipulation. The structural information gathered from the source code is kept in a test model based on a Parallel Control Flow Graph (PCFG) and helps the generation of an instrumented source code, used for a future generation of trace files and to replay the concurrent execution. The results show the techniques can generate both an instrumented code and a PCFG for Java concurrent programs effectively, extracting static and runtime information required for structural testing.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::2578f90153c1ec9756c421fd1e1ccc9d https://doi.org/10.1109/clei.2015.7359975 Zobrazit plný text záznamu