Detalhes bibliográficos
| Ano de defesa: |
1995 |
| Autor(a) principal: |
Costa Neto, José Craveiro da |
| Orientador(a): |
Não Informado pela instituição |
| 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: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
http://www.teses.usp.br/teses/disponiveis/55/55134/tde-09042018-162522/
|
Resumo: |
O teste de programas concorrentes tem sido objeto de preocupação nos últimos anos; mesmo assim, as iniciativas tomadas nesta área têm sido tímidas, com um número pequeno de publicações. A maioria das propostas para teste de programas concorrentes procura usar ao máximo o que já se tem feito para o teste de programas seqüenciais, procurando tratar com mais atenção aquelas construções que são específicas para programas concorrentes. Nesta dissertação estudam-se o teste estrutural de programas seqüenciais e a ferramenta POKE-TOOL, que apóia a aplicação dos critérios Potenciais Usos; discutem-se propostas de teste de programas concorrentes, objetivando a configuração da POKE-TOOL para o teste de programas concorrentes. Dentro deste escopo, propõe-se uma linguagem intermediária para programas concorrentes (LIConc), procurando considerar vários aspectos de linguagens de programação concorrente do tipo procedimental e implementa-se o módulo que mapeia programas escritos em Occam para programas escritos na LIConc. Essa abordagem possibilita que a extensão da POKETOOL para apoiar o teste de programas concorrentes mantenha a característica de multilinguagem já apresentada pela POKE-TOOL para programas seqüenciais. |
