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: