Teste estrutural baseado em fluxo de dados de programas concorrentes (1995)
- Authors:
- Autor USP: COSTA NETO, JOSÉ CRAVEIRO DA - ICMC
- Unidade: ICMC
- Sigla do Departamento: SCE
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Português
- Abstract: O teste de programas concorrentes tem sido objeto de preocupacao nos ultimos anos; mesmo assim, as iniciativas tomadas nesta area tem sido timidas, com um numero pequeno de publicacoes. A maioria das propostas para teste de programas concorrentes procura usar ao maximo o que ja tem feito para o teste de programas sequenciais, procurando tratar com mais atencao aquelas construcoes que sao especificas para programas concorrentes. Nesta dissertacao estudam-se o teste estrutural de programas sequenciais e a ferramenta poke-tool, que apoia a aplicacao dos criterios potenciais usos; discutem-se propostas de teste de programas concorrentes, objetivando a configuracao da poke-tool para o teste de programas concorrentes. Dentro deste escopo, propoe-se uma linguagem intermediaria para programas concorrentes (liconc), procurando considerar varios aspectos de linguagens de programacao concorrente do tipo procedimental e implementa-se o modulo que mapeia programas escritos em occam para programas escritos na liconc. Essa abordagem possibilita que a extensao da poke-tool para apoiar o teste de programas concorrentes mantenha a caracteristica de multilinguagem ja apresentada pela poke-tool para programas sequenciais
- Imprenta:
- Publisher place: São Carlos
- Date published: 1995
- Data da defesa: 31.03.1995
-
ABNT
COSTA NETO, Jose Craveiro da. Teste estrutural baseado em fluxo de dados de programas concorrentes. 1995. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 1995. . Acesso em: 14 fev. 2026. -
APA
Costa Neto, J. C. da. (1995). Teste estrutural baseado em fluxo de dados de programas concorrentes (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. -
NLM
Costa Neto JC da. Teste estrutural baseado em fluxo de dados de programas concorrentes. 1995 ;[citado 2026 fev. 14 ] -
Vancouver
Costa Neto JC da. Teste estrutural baseado em fluxo de dados de programas concorrentes. 1995 ;[citado 2026 fev. 14 ]
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
