01578nam a2200265 a 450000100080000000500110000800800410001910000170006024501200007726001010019730000160029852006920031465300150100665300310102165300560105265300380110865300170114665300270116365300200119065300220121065300280123265300180126070000210127870000130129910075342020-01-20       1989    bl uuuu     u01u1 u    #d1 aCHAIM, M. L.  aModelando a determinação de potenciais du-caminhos através da análise de fluxo de dados.h[electronic resource]  aIn: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 3., 1989, Recife. Anais... Recife: SBCc1989  ap. 239-251.  aNeste trabalho apresenta-se uma abordagem para a solução do problema da determinação dos potenciais du-caminhos estabelecido pelos critérios Potenciais Usos [MAL88a], [MAL88b]. Mostra-se que este problema constitui uma Estrutura Monotônica Distributiva de Análise de Fluxo de Dados [HEC77] e que a solução MOP [HEC77] determina o resultado esperado, viabilizando, desta forma, a utilizacão dos algoritmos de Hortwitz, Demers e Teitelbaum [HOR87] que são otimizações dos algoritmos propostos por Kildall [HEC77] e Kam e Ullman [KM77]. Adicionalmente, estabelece-se uma estimativa para o curso de processamento associado a determinação do conjunto de potenciais du-caminhos.  aAlgoritmos  aAnálise de fluxo de dados  aDistributive monotonic data flow analysis framework  aEstrutura Distributiva Monotonica  aMOP solution  aPotenciais du-caminhos  aPotenciais usos  aPotential du-path  aPotential uses criteria  aSolução MOP1 aMALDONADO, J. C.1 aJINO, M.