Advanced search
Start date

Distributed applications testing: challenges in message passing paradigm

Grant number: 10/02839-0
Support Opportunities:Scholarships abroad - Research
Effective date (Start): September 01, 2010
Effective date (End): August 31, 2011
Field of knowledge:Physical Sciences and Mathematics - Computer Science - Computer Systems
Principal Investigator:Paulo Sérgio Lopes de Souza
Grantee:Paulo Sérgio Lopes de Souza
Host Investigator: Edward John Zaluska
Host Institution: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brazil
Research place: University of Southampton, England  
Associated research grant:08/57870-9 - Critical Embedded Systems Institute, AP.TEM


Distributed computing is constantly improved by technological advances offering new solutions and services. Different aspects from concurrent software guide the distributed applications development. Despite intensive use of communication and synchronization in concurrent processes, there are deficiency of both mechanisms and tools to support activities related to quality assurance in this context. TestPar is an interdisciplinary research project being developed at ICMC/USP, involving researchers from Software Engineering and Distributed Systems. TestPar investigates test models and criteria to provide a coverage measure of testing activity in context of distributed applications. This post-doctoral project intends continuing the researches in context of TestPar project. The objective is investigating possible extensions for the already existent test models and criteria applied to concurrent programs, allowing representing other semantics of communication and synchronization in message-passing paradigm. Currently, only blocking semantics of send and receive primitives were investigated in TestPar. Semantic of non-blocking primitives, collective primitives and also different modes of the send primitive, existent in supporting tools like MPI, will be investigated. Some expected results are: extending test models and criteria for message-passing concurrent processes, implementing such improvements to validate the ideas proposed here. This research will be carried out at the IAM (Intelligence, Agents, Multimedia) Group of the University of Southampton/UK, considering initially a partnership with Prof. Ed Zaluska. (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, S. R. S.; SOUZA, P. S. L.; BRITO, M. A. S.; SIMAO, A. S.; ZALUSKA, E. J.. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. SOFTWARE TESTING VERIFICATION & RELIABILITY, v. 25, n. 3, SI, p. 310-332, . (10/02839-0, 13/01818-7, 09/04517-2)
SOUZA, PAULO S. L.; SOUZA, SIMONE R. S.; ZALUSKA, ED. Structural testing for message-passing concurrent programs: an extended test model. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, v. 26, n. 1, p. 21-50, . (10/02839-0, 08/57870-9)
SOUZA, PAULO S. L.; SANTANA, REGINA H. C.; SANTANA, MARCOS J.; ZALUSKA, ED; FAICAL, BRUNO S.; ESTRELLA, JULIO C.. Load Index Metrics for an Optimized Management of Web Services: A Systematic Evaluation. PLoS One, v. 8, n. 7, . (10/02839-0, 08/57870-9)

Please report errors in scientific publications list by writing to: