Um método de teste de sincronização para programas concorrentes em Ada.

Detalhes bibliográficos
Ano de defesa: 1994
Autor(a) principal: Matsuda, Eduardo Toshihaki
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Programming tests (Computing)
Testes de programação (Computação)
Link de acesso: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-06122024-081419/
Resumo: O presente trabalho tem por objetivo explorar a área da metodologia de teste de programas concorrentes. Para desenvolver este trabalho é adotada a linguagem Ada como a linguagem de programação concorrente. É apresentado um método de teste de programas concorrentes para a linguagem Ada, combinando-se os dois tipos de técnicas básicas, que e a análise estática e a análise dinamical esta combinação de técnicas visa cobrir melhor os erros de sincronização que podem existir em um programa concorrente, como por exemplo, os deadlocks. Este método não tem por objetivo detectar todos os tipos de erros existentes na programação concorrente, mas somente aqueles relacionados com a sequência de eventos de sincronização. O método se baseia na geração de sequências de eventos de sincronização e na transformação do programa, em teste, para execução determinística, de maneira que se possa executar as sequências. No desenvolvimento do trabalho foram adotadas algumas restrições na linguagem que, posteriormente poderão ser suprimidas, sem grandes dificuldades. Foram analisados três programas concorrentes em Ada para melhor compreender e comprovar a eficácia do método proposto. Ao final, pode se comprovar a viabilidade do método, cumprindo assim os objetivos propostos neste trabalho.
id USP_aeb9313c4aaeaefc0c674a878aa64080
oai_identifier_str oai:teses.usp.br:tde-06122024-081419
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str
spelling Um método de teste de sincronização para programas concorrentes em Ada.Untitled in englishProgramming tests (Computing)Testes de programação (Computação)O presente trabalho tem por objetivo explorar a área da metodologia de teste de programas concorrentes. Para desenvolver este trabalho é adotada a linguagem Ada como a linguagem de programação concorrente. É apresentado um método de teste de programas concorrentes para a linguagem Ada, combinando-se os dois tipos de técnicas básicas, que e a análise estática e a análise dinamical esta combinação de técnicas visa cobrir melhor os erros de sincronização que podem existir em um programa concorrente, como por exemplo, os deadlocks. Este método não tem por objetivo detectar todos os tipos de erros existentes na programação concorrente, mas somente aqueles relacionados com a sequência de eventos de sincronização. O método se baseia na geração de sequências de eventos de sincronização e na transformação do programa, em teste, para execução determinística, de maneira que se possa executar as sequências. No desenvolvimento do trabalho foram adotadas algumas restrições na linguagem que, posteriormente poderão ser suprimidas, sem grandes dificuldades. Foram analisados três programas concorrentes em Ada para melhor compreender e comprovar a eficácia do método proposto. Ao final, pode se comprovar a viabilidade do método, cumprindo assim os objetivos propostos neste trabalho.The concurrent programs testing are very difficult because of their non deterministic behavior. The current programs testing techniques, presented in the last years, are in a very few number, if compared to the sequence programs testing techniques. In this way, the objective of the present work is to explore the methodology area of concurrent programs testing. In order to develop this work, Ada language is adopted as the concurrent program language. A method of concurrent programs testing to Ada is presented, joining two kinds of basic techniques: the static analysis and the dynamic analysis. This combination aims to cover, in a better way, errors of synchronization that can exist in a concurrent program, like the deadlocks, for example. This method doesn\'t aim to detect all kind of errors that exist in concurrent program, but only the ones related to sequence of synchronization events. It is based on the sequence of synchronization events generation and the transformation of the program, in test, to deterministic execution, so that the sequences can be executed. In the development of the work, some restrictions in the language were adopted. But they can be suppressed afterwards without any difficulties. Three concurrent programs in Ada were analyzed in order to comprehend and confirm the efficiency of the proposed method. Finally, the viability of this method could be confirmed, carrying out, in this way, the objective proposed in this work.Biblioteca Digitais de Teses e Dissertações da USPMelnikoff, Selma Shin ShimizuMatsuda, Eduardo Toshihaki1994-09-06info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/3/3141/tde-06122024-081419/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2024-12-06T11:01:02Zoai:teses.usp.br:tde-06122024-081419Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212024-12-06T11:01:02Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Um método de teste de sincronização para programas concorrentes em Ada.
Untitled in english
title Um método de teste de sincronização para programas concorrentes em Ada.
spellingShingle Um método de teste de sincronização para programas concorrentes em Ada.
Matsuda, Eduardo Toshihaki
Programming tests (Computing)
Testes de programação (Computação)
title_short Um método de teste de sincronização para programas concorrentes em Ada.
title_full Um método de teste de sincronização para programas concorrentes em Ada.
title_fullStr Um método de teste de sincronização para programas concorrentes em Ada.
title_full_unstemmed Um método de teste de sincronização para programas concorrentes em Ada.
title_sort Um método de teste de sincronização para programas concorrentes em Ada.
author Matsuda, Eduardo Toshihaki
author_facet Matsuda, Eduardo Toshihaki
author_role author
dc.contributor.none.fl_str_mv Melnikoff, Selma Shin Shimizu
dc.contributor.author.fl_str_mv Matsuda, Eduardo Toshihaki
dc.subject.por.fl_str_mv Programming tests (Computing)
Testes de programação (Computação)
topic Programming tests (Computing)
Testes de programação (Computação)
description O presente trabalho tem por objetivo explorar a área da metodologia de teste de programas concorrentes. Para desenvolver este trabalho é adotada a linguagem Ada como a linguagem de programação concorrente. É apresentado um método de teste de programas concorrentes para a linguagem Ada, combinando-se os dois tipos de técnicas básicas, que e a análise estática e a análise dinamical esta combinação de técnicas visa cobrir melhor os erros de sincronização que podem existir em um programa concorrente, como por exemplo, os deadlocks. Este método não tem por objetivo detectar todos os tipos de erros existentes na programação concorrente, mas somente aqueles relacionados com a sequência de eventos de sincronização. O método se baseia na geração de sequências de eventos de sincronização e na transformação do programa, em teste, para execução determinística, de maneira que se possa executar as sequências. No desenvolvimento do trabalho foram adotadas algumas restrições na linguagem que, posteriormente poderão ser suprimidas, sem grandes dificuldades. Foram analisados três programas concorrentes em Ada para melhor compreender e comprovar a eficácia do método proposto. Ao final, pode se comprovar a viabilidade do método, cumprindo assim os objetivos propostos neste trabalho.
publishDate 1994
dc.date.none.fl_str_mv 1994-09-06
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.teses.usp.br/teses/disponiveis/3/3141/tde-06122024-081419/
url https://www.teses.usp.br/teses/disponiveis/3/3141/tde-06122024-081419/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1818598502848004096

Registros relacionados