Metodo de teste de sincronizacao para programas concorrentes em ada (1994)
- Authors:
- Autor USP: MATSUDA, EDUARDO TOSHIHAKI - EP
- Unidade: EP
- Sigla do Departamento: PCS
- Assunto: ENGENHARIA ELÉTRICA
- Language: Português
- Abstract: O presente trabalho tem por objetivo explorar a area da metodologia de teste de programas concorrentes. Para desenvolver este trabalho e adotada a linguagem ada como a linguagem de programacao concorrente. E apresentado um metodo de teste de programas concorrentes para a linguagem ada, combinando-se os dois tipos de tecnicas basicas, que e a analise estatica e a analise dinamical esta combinacao de tecnicas visa cobrir melhor os erros de sincronizacao que podem existir em um programa concorrente, como por exemplo, os deadlocks. Este metodo nao tem por objetivo detectar todos os tipos de erros existentes na programacao concorrente, mas somente aqueles relacionados com a sequencia de eventos de sincronizacao. O metodo se baseia na geracao de sequencias de eventos de sincronizacao e na transformacao do programa, em teste, para execucao deterministica, de maneira que se possa executar as sequencias. No desenvolvimento do trabalho foram adotadas algumas restricoes na linguagem que, posteriormente poderao ser suprimidas, sem grandes dificuldades. Foram analisados tres programas concorrentes em ada para melhor compreender e comprovar a eficacia do metodo proposto. Ao final, pode se comprovar a viabilidade do metodo, cumprindo assim os objetivos propostos neste trabalho.
- Imprenta:
- Data da defesa: 06.09.1994
-
ABNT
MATSUDA, Eduardo Toshihaki. Metodo de teste de sincronizacao para programas concorrentes em ada. 1994. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1994. . Acesso em: 05 out. 2024. -
APA
Matsuda, E. T. (1994). Metodo de teste de sincronizacao para programas concorrentes em ada (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. -
NLM
Matsuda ET. Metodo de teste de sincronizacao para programas concorrentes em ada. 1994 ;[citado 2024 out. 05 ] -
Vancouver
Matsuda ET. Metodo de teste de sincronizacao para programas concorrentes em ada. 1994 ;[citado 2024 out. 05 ]
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas