| 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 |
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) | |
| News published in Agência FAPESP Newsletter about the scholarship: | |
| TITULO | |
| Articles published in other media outlets (0 total): | |
| More itemsLess items | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |