• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Mémoire de Maîtrise
DOI
10.11606/D.55.2018.tde-09042018-162522
Document
Auteur
Nom complet
José Craveiro da Costa Neto
Unité de l'USP
Domain de Connaissance
Date de Soutenance
Editeur
São Carlos, 1995
Directeur
Jury
Maldonado, José Carlos (Président)
Garcia Neto, Alvaro
Masiero, Paulo Cesar
Titre en portugais
TESTE ESTRUTURAL BASEADO EM FLUXO DE DADOS DE PROGRAMAS CONCORRENTES
Mots-clés en portugais
Não disponível
Resumé en portugais
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.
Titre en anglais
Not available
Mots-clés en anglais
Not available
Resumé en anglais
Concurrent program testing has been object of worry in recent yerirs; even though, initiatives in this a¡ea have been very few, with a low number of publications. Most of these proposals for concurrent progra¡n testing explore mainly the theory developed for sequential program testing, giving more atention to constructions that are exclusive to concurrent programs. In this thesis sequential program testing and the testing tool named POKE-TOOL, that aids the application of Potential Uses criteria, are studied. Implementation models ofPOKE-TOOL are revisited aiming at supporting concurent program testing. An intermediate language for concurrent programs (LIConc) is proposed, considering various aspects of concurrent programming languages. The implementation of a POKE-TOOL program module that translates progr¿ùms written in Occam to LIConc is described. This approach aims at keeping the characteristic of a multilanguage tool already hold by POKE-TOOL for sequential program testing.
 
AVERTISSEMENT - Regarde ce document est soumise à votre acceptation des conditions d'utilisation suivantes:
Ce document est uniquement à des fins privées pour la recherche et l'enseignement. Reproduction à des fins commerciales est interdite. Cette droits couvrent l'ensemble des données sur ce document ainsi que son contenu. Toute utilisation ou de copie de ce document, en totalité ou en partie, doit inclure le nom de l'auteur.
Date de Publication
2018-04-09
 
AVERTISSEMENT: Apprenez ce que sont des œvres dérivées cliquant ici.
Tous droits de la thèse/dissertation appartiennent aux auteurs
CeTI-SC/STI
Bibliothèque Numérique de Thèses et Mémoires de l'USP. Copyright © 2001-2020. Tous droits réservés.