Applying structural testing model for concurrent programs in Java

• Grant number: 11/19051-9
• Support Opportunities: Scholarships in Brazil - Scientific Initiation
• Start date: December 01, 2011
• End date: 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

Abstract

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)

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., 2013-01-01. (11/19051-9, 12/01901-9, 12/14285-4)