ValiMPI : uma ferramenta de teste estrutural para programas paralelos em ambiente de passagem de mensagem

Abstract

Resumo: Aplicações que demandam processamento intenso e exploram o paralelismo para reduzir o tempo de computação são usadas nos mais variados domínios. Para isso, existemvários paradigmas de programação paralela, dos quais o paradigma de passagem de mensagem é um dos mais utilizados. Dentre os ambientes de passagem de mensagem destaca-seo MPI (Message Passing Interface), um padrão para o desenvolvimento de aplicações paralelas. Uma falha nessas aplicações pode representar altos custos, portanto, a realizaçãode atividades de garantia de qualidade, como o teste de software, é fundamental. Como éinviável testar o programa para todas as entradas possíveis, o usuário deve usar critériospara guiar a escolha dos casos de teste com maior probabilidade de revelar erros. Oscritérios estruturais destacam-se pela cobertura do código. Como os critérios de testepara programas sequenciais não são adequados para programas paralelos cresceu a motivação na pesquisa de novos critérios para a programação paralela. O projeto ValiPVMintroduziu critérios específicos para testar programas paralelos por passagem de mensagem, entretanto a aplicação efetiva desses critérios requer o uso de uma ferramenta deteste. Esta dissertação descreve aspectos da implementação da ValiMPI, uma ferramentade teste para programas paralelos na linguagem C e MPI.

Abstract: Computationally intensive applications which use parallelism to reduce computingtime are widely used. There are several parallel programming paradigms, message passingis one of the most popular. Among the message passing environments, MPI (MessagePassing Interface) emerged as a standard for developing parallel applications. A failurein these application may represent high costs, therefore software testing is an essentialactivity for sotware quality assurance. However, testing all possible input data is notfeasible, so the user must use some criteria in order to choose test cases most likelyto reveal errors. Structural testing criteria offer code coverage measures that allow theevaluation of a test set. Because of this, traditional criteria have been extended to thecontext of parallel programing. This project, named ValiPVM, introduced some specificcriteria for testing message passing systems, however, in order to use use of these criteriaeffectively a testing tool is required. This work describes ValiMPI, a tool that implementsthe proposed criteria for testing parallel programs in C an MPI.