Distributed applications testing: challenges in message passing paradigm

• Grant number: 10/02839-0
• Support Opportunities: Scholarships abroad - Research
• Start date: September 01, 2010
• End date: 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
• Institution abroad: University of Southampton, England
• Associated research grant: 08/57870-9 - Critical Embedded Systems Institute, AP.TEM

Abstract

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)

Scientific publications

(4)

(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 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, JAN 2014. (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, JUL 16 2013. (10/02839-0, 08/57870-9)

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, MAY 2015. (10/02839-0, 13/01818-7, 09/04517-2)

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, p. 23-pg., 2015-05-01. (13/01818-7, 10/02839-0, 09/04517-2)