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.

ICMC-USP, como parte dos requisitos para obtenção do título de Doutor em Ciências -Ciências de Computação e Matemática Computacional. U S P -S ã o C a r l oAgradecimentos À Deus por me guiar nesta fase que se encerra e pela constante proteção demonstrada todos os dias em pequenos "sinais" À minha orientadora, Prof. Dra. Regina Helena Carlucci Santana, pela orientação, pela paciência e principalmente pela incrível capacidade de colocar minhas idéias em ordem.Ao Prof. Marcos José Santana, pelo apoio e pela importante ajuda no desenvolvimento deste trabalho.Aos meus pais pelo apoio constante, pela compreensão e por fazerem de tudo para dar uma ótima educação para os filhos. Às minhas irmãs e irmão pelo incentivo, amizade e confiança.À Regina e ao Marcos, pela amizade e pela confiança depositada em mim. À Cissa, minha irmãzinha são-carlense, pela amizade.Aos colegas do grupo de Sistemas Distribuídos e Programação Concorrente. No decorrer desses 8 anos em São Carlos, muitos chegaram, muitos já se foram, alguns aqui ainda estão: Adriana, Aletéia, Álvaro, Ana Elisa, Andrezza, Arion, Boca, Célia, Daniel, Douglas, Edmilson, Hermes, João Carlos, Jorge, Kalinka, Luciano, Mara, Márcio, Mário, Naninha, Omar, Paulo Sérgio, Renata, Roberta, Renato, Renato (Japa), Ricardo, Silmara, Simone (Paulo Sérgio), Tatiana, Thais, Thomas e Vera. Obrigada pelas discussões no café, pelas dúvidas solucionadas, pela companhia, pelos churrascos e principalmente pelas festas surpresas.Às amigas Kalinka, Célia, Naninha, Simone, Tatiana e Andrezza pelos bons e divertidos momentos que passamos juntas. Obrigada pela amizade.Às amigas do primário Cristiane, Cecília e Ariana, pela amizade que já dura 20 anos, apesar da correria e da distância.Ao Luciano, Márcio e Ricardo pelo valioso auxílio na configuração da rede de computadores e do PVM. Ao Omar pelo auxílio com o MatLab.À Simone pela paciência na correção das referências bibliográficas e pela companhia na república.Ao Prof. Edjair Mota pelas inúmeras dúvidas solucionadas em relação à abordagem MRIP e ao Akaroa.À Prof. Rosângela Penteado pela revisão dos diagramas de UML.Ao Prof. Marinho pelo auxílio nas questões estatísticas.À todos os meus professores, com os quais muito aprendi e sem os quais hoje não estaria aqui Aos funcionários da Seção Técnica de Informática, Sônia, Franz, Dotta, Eduardo e Cabral por estarem sempre dispostos a resolver os problemas da rede e de hardware.À Beth, Laura e Ana Paula, da Secretaria de Pós-Graduação, por estarem sempre prestativas para o atendimento e na solução de dúvidas À Adriana e Tatiana, da sessão de convênio, pela atenção dispensada e por estarem sempre dispostas a solucionar todas as dúvidas referentes aos relatórios da FAPESP À todos os funcionários do ICMC, os quais tornaram nossa jornada possível de ser realizada Àqueles que, por motivos da correria na finalização, eu tenha esquecido de citar nominalmente À todos aqueles que contribuíram direta ou indiretamente para a realização deste trabalho À FAPESP, pelo apoio financeiro Esta tese contribui tamb...

No abstract