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

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 the validation of concurrent applications and involves Software Engineering and Distributed Systems researchers. TestPar investigates models and test 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 structural ValiPAR testing tool responsible for its instantiation for Java language.

Scientific publications

(The scientific publications listed on this page originate from the Web of Science or SciELO databases. Their authors have cited FAPESP grant or fellowship project numbers awarded to Principal Investigators or Fellowship Recipients, whether or not they are among the authors. This information is collected automatically and retrieved directly from those bibliometric databases.)

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)