Advanced search
Start date
Betweenand

Applying Structural Testing Model for Concurrent Programs in Java

Grant number: 11/19051-9
Support type: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 researcher:Paulo Sérgio Lopes de Souza
Grantee:Rafael Regis Do Prado
Home 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 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.

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

Please report errors in scientific publications list by writing to: cdi@fapesp.br.