Busca avançada
Ano de início
Entree


Data flow testing in concurrent programs with message passing and shared memory paradigms

Texto completo
Autor(es):
Souza, Paulo S. L. ; Souza, Simone S. ; Rocha, Murilo G. ; Prado, Rafael R. ; Batista, Raphael N. ; Alexandrov, V ; Lees, M ; Krzhizhanovskaya, V ; Dongarra, J ; Sloot, PMA
Número total de Autores: 10
Tipo de documento: Artigo Científico
Fonte: PROCEEDINGS OF THE XI LATIN AND AMERICAN ALGORITHMS, GRAPHS AND OPTIMIZATION SYMPOSIUM; v. 18, p. 10-pg., 2013-01-01.
Resumo

This paper proposes a novel structural test model to capture information about flows of data, control, communication and synchronization of parallel and distributed applications interacting through both message passing and shared memory paradigms. Our main focus is the data flow among threads of different processes, considering the operations of communication and synchronization related to such flow. This inter-process data-flow represents a challenge to the tester, who must consider the heterogeneity of programming paradigms and languages. The information captured by the test model is used by new testing criteria, which improve the testing activity quality. The proposed model and criteria were applied to an object-oriented and distributed application developed in Java. The results suggest that the model and the criteria are able to represent distributed applications developed with message passing and shared memory paradigms. The main contribution of this paper is to present a more flexible test model capable of improving the structural test activity related to the data flow on processes and threads simultaneously. (AU)

Processo FAPESP: 11/19051-9 - Aplicando o modelo de teste estrutural para programas concorrentes em Java
Beneficiário:Rafael Regis do Prado
Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
Processo FAPESP: 12/01901-9 - Avaliação de um novo modelo de teste estrutural para programas concorrentes
Beneficiário:Murilo Giacometti Rocha
Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
Processo FAPESP: 12/14285-4 - Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela
Beneficiário:Raphael Negrisoli Batista
Modalidade de apoio: Bolsas no Brasil - Mestrado