skip to main content
Language:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Simple Search

TESTE ESTRUTURAL BASEADO EM FLUXO DE DADOS DE PROGRAMAS CONCORRENTES

Costa Neto, José Craveiro Da

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1995-03-31

Online access. The library also has physical copies.

  • Title:
    TESTE ESTRUTURAL BASEADO EM FLUXO DE DADOS DE PROGRAMAS CONCORRENTES
  • Author: Costa Neto, José Craveiro Da
  • Supervisor: Maldonado, José Carlos
  • Subjects: Não Disponível; Not Available
  • Notes: Dissertação (Mestrado)
  • Local notes: Dissertacao (mestrado) - instituto de ciencias matematicas desao carlos
  • Description: 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.
  • DOI: 10.11606/D.55.2018.tde-09042018-162522
  • Publisher: Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação
  • Creation Date: 1995-03-31
  • Format: Adobe PDF
  • Language: Portuguese
Links
Back to results list
Result  1 NextGo to Next page

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait