Advanced search
Start date

Applying structural testing model for concurrent programs in Java

Grant number: 11/19051-9
Support Opportunities:Scholarships in Brazil - Scientific Initiation
Effective date (Start): December 01, 2011
Effective date (End): November 30, 2012
Field of knowledge:Physical Sciences and Mathematics - Computer Science - Computer Systems
Principal Investigator:Paulo Sérgio Lopes de Souza
Grantee:Rafael Regis Do Prado
Host Institution: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brazil
Associated research grant:08/57870-9 - Critical Embedded Systems Institute, AP.TEM


Distributed computing is constantly stimulated by technological advances that offer new solutions and new services. At the center of evolution, there are aspects of concurrent software that guide the development of distributed applications. Despite the extensive use of concurrent processes, there is a great lack of mechanisms and tools to support quality assurance activities in this context. The interdisciplinary project TestPar, under development at ICMC / USP, aims to assist in the validation of concurrent applications and involves Software Engineering and Distributed Systems researchers. TestPar investigates models and tests criteria to provide a coverage measure of the testing activity in the context of distributed applications. This Undergraduate Research project fits into the context of the project TestPar and aims to investigate the application of the model and test criteria in concurrent programs already developed for the Java language. Currently, only concurrent programs developed for MPI, PVM, Pthreads, and BPEL are considered in the TestPar project. The semantics of the communication and synchronization primitives in Java will be investigated, considering the paradigms of message passing and shared memory. The main expected results are: to determine if the model and the criteria proposed in the project TestPar are flexible enough to handle concurrent processes that use both paradigms of communication and implement the modules of the structural ValiPAR testing tool responsible for its instantiation for Java language.(AU)

News published in Agência FAPESP Newsletter about the scholarship:
Articles published in other media outlets (0 total):
More itemsLess items

Scientific publications
(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)
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. Data flow testing in concurrent programs with message passing and shared memory paradigms. PROCEEDINGS OF THE XI LATIN AND AMERICAN ALGORITHMS, GRAPHS AND OPTIMIZATION SYMPOSIUM, v. 18, p. 10-pg., . (11/19051-9, 12/01901-9, 12/14285-4)

Please report errors in scientific publications list using this form.