Detalhes bibliográficos
| Ano de defesa: |
2006 |
| Autor(a) principal: |
Amaral, Leonardo Albernaz
 |
| Orientador(a): |
Bezerra, Eduardo Augusto
|
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Pontifícia Universidade Católica do Rio Grande do Sul
|
| Programa de Pós-Graduação: |
Programa de Pós-Graduação em Ciência da Computação
|
| Departamento: |
Faculdade de Informáca
|
| País: |
BR
|
| Palavras-chave em Português: |
|
| Área do conhecimento CNPq: |
|
| Link de acesso: |
http://tede2.pucrs.br/tede2/handle/tede/5165
|
Resumo: |
Nesse trabalho é apresentada uma estratégia para diminuir a intrusão do teste de software em programas paralelos baseados em troca de mensagens. Para isso, um ambiente de teste foi desenvolvido utilizando técnicas de teste de software funcional e abordagens de depuração. O ambiente, que utiliza Java como linguagem de programação e MPI como biblioteca para troca de mensagens, baseia-se na idéia de utilizar Rede de Autômatos Estocásticos (SAN) para a representação do modelo comportamental da aplicação e, com isso, criar casos de teste que exercitem a aplicação paralela na busca por falhas de comunicação entre os processos. Essas falhas são identificadas pelos módulos de monitoração e análise on-line, que observam a execução da aplicação, verificando inconsistências entre os estados atingidos e os estados esperados do modelo. Para a diminuição da intrusão foi dada ênfase tanto para a definição e geração de casos de teste, quanto para as abordagens utilizadas no engine de teste nas etapas de monitoração e análise. Busca-se com essa estratégia, validar as abordagens utilizadas no processo de teste e identificar eventuais problemas |
