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

Bibliographic Details
Main Author: Hausen, Alexandre Ceolin
Publication Date: 2005
Format: Master thesis
Language: por
Source: Repositório Institucional da UFPR
Download full: https://hdl.handle.net/1884/3127
Summary: Orientadora: Silvia Regina Vergilio
id UFPR_727a566c38b870dace4433b8b93f60ea
oai_identifier_str oai:acervodigital.ufpr.br:1884/3127
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str 308
spelling Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em InformáticaVergilio, Silvia Regina, 1966-Hausen, Alexandre Ceolin2024-10-18T14:28:24Z2024-10-18T14:28:24Z2005https://hdl.handle.net/1884/3127Orientadora: Silvia Regina VergilioDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 2005Inclui bibliografiaResumo: 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.82f. : il., tabs.application/pdfDisponível em formato digitalProgramação paralela (Computação)C (Linguagem de programação de computador)Ciência da ComputaçãoValiMPI : uma ferramenta de teste estrutural para programas paralelos em ambiente de passagem de mensageminfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALdissertacao.pdfapplication/pdf870096https://acervodigital.ufpr.br/bitstream/1884/3127/1/dissertacao.pdf50b0d6257b43ec801b8b811ae597a415MD51open accessTEXTdissertacao.pdf.txtExtracted Texttext/plain168841https://acervodigital.ufpr.br/bitstream/1884/3127/2/dissertacao.pdf.txtf03c4424b333e0facd768ce96bdd7342MD52open accessTHUMBNAILdissertacao.pdf.jpgGenerated Thumbnailimage/jpeg1183https://acervodigital.ufpr.br/bitstream/1884/3127/3/dissertacao.pdf.jpg3a31b16cadd09f0cb6ffd7ed3b7a6ee6MD53open access1884/31272024-10-18 11:28:24.62open accessoai:acervodigital.ufpr.br:1884/3127Repositório InstitucionalPUBhttp://acervodigital.ufpr.br/oai/requestinformacaodigital@ufpr.bropendoar:3082024-10-18T14:28:24Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv ValiMPI : uma ferramenta de teste estrutural para programas paralelos em ambiente de passagem de mensagem
title ValiMPI : uma ferramenta de teste estrutural para programas paralelos em ambiente de passagem de mensagem
spellingShingle ValiMPI : uma ferramenta de teste estrutural para programas paralelos em ambiente de passagem de mensagem
Hausen, Alexandre Ceolin
Programação paralela (Computação)
C (Linguagem de programação de computador)
Ciência da Computação
title_short ValiMPI : uma ferramenta de teste estrutural para programas paralelos em ambiente de passagem de mensagem
title_full ValiMPI : uma ferramenta de teste estrutural para programas paralelos em ambiente de passagem de mensagem
title_fullStr ValiMPI : uma ferramenta de teste estrutural para programas paralelos em ambiente de passagem de mensagem
title_full_unstemmed ValiMPI : uma ferramenta de teste estrutural para programas paralelos em ambiente de passagem de mensagem
title_sort ValiMPI : uma ferramenta de teste estrutural para programas paralelos em ambiente de passagem de mensagem
author Hausen, Alexandre Ceolin
author_facet Hausen, Alexandre Ceolin
author_role author
dc.contributor.other.pt_BR.fl_str_mv Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática
dc.contributor.advisor1.fl_str_mv Vergilio, Silvia Regina, 1966-
dc.contributor.author.fl_str_mv Hausen, Alexandre Ceolin
contributor_str_mv Vergilio, Silvia Regina, 1966-
dc.subject.por.fl_str_mv Programação paralela (Computação)
C (Linguagem de programação de computador)
Ciência da Computação
topic Programação paralela (Computação)
C (Linguagem de programação de computador)
Ciência da Computação
description Orientadora: Silvia Regina Vergilio
publishDate 2005
dc.date.issued.fl_str_mv 2005
dc.date.accessioned.fl_str_mv 2024-10-18T14:28:24Z
dc.date.available.fl_str_mv 2024-10-18T14:28:24Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1884/3127
url https://hdl.handle.net/1884/3127
dc.language.iso.fl_str_mv por
language por
dc.relation.pt_BR.fl_str_mv Disponível em formato digital
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 82f. : il., tabs.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPR
instname:Universidade Federal do Paraná (UFPR)
instacron:UFPR
instname_str Universidade Federal do Paraná (UFPR)
instacron_str UFPR
institution UFPR
reponame_str Repositório Institucional da UFPR
collection Repositório Institucional da UFPR
bitstream.url.fl_str_mv https://acervodigital.ufpr.br/bitstream/1884/3127/1/dissertacao.pdf
https://acervodigital.ufpr.br/bitstream/1884/3127/2/dissertacao.pdf.txt
https://acervodigital.ufpr.br/bitstream/1884/3127/3/dissertacao.pdf.jpg
bitstream.checksum.fl_str_mv 50b0d6257b43ec801b8b811ae597a415
f03c4424b333e0facd768ce96bdd7342
3a31b16cadd09f0cb6ffd7ed3b7a6ee6
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)
repository.mail.fl_str_mv informacaodigital@ufpr.br
_version_ 1847525329904599040

Similar Items