Estudo de definicao de mecanismos de instrumentacao para a execucao controlada de testes em programas paralelos.

• Processo: 05/02431-2
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de novembro de 2005
• Data de Término da vigência: 31 de outubro de 2007
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Adenilso da Silva Simão
• Beneficiário: Mário Santos Camillo
• Instituição Sede: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brasil
• Assunto(s): Engenharia de software Teste e avaliação de software
• Palavra(s)-Chave do Pesquisador: Engenharia De Software | Execucao Controlada | Passagem De Mensagem | Programas Paralelos | Teste De Software | Engenharia de Software

Resumo

Os problemas conhecidos como ``Grand Challenges'' são complexos e de difícil solução, os quais alavancam a investigação, o desenvolvimento e a utilização da computação de alto desempenho. Alguns exemplos destes problemas são: previsão de tempo, simulação de dinâmica molecular, sistema de transporte inteligente e bioinformática. Considerando que estes problemas demandam alta capacidade de processamento e de armazenamento, o uso de paralelismo para sua resolução é fundamental. Nesse contexto, a validação do software paralelo é tão crucial quanto o desempenho esperado para o mesmo.