Poke-tool : uma ferramenta para suporte ao teste estrutural de programas baseado em analise de fluxo de dados

Detalhes bibliográficos
Autor(a) principal: Chaim, Marcos Lordello
Data de Publicação: 1991
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1575478
Resumo: Orientador : Mario Jino
id UNICAMP-30_f494b22677f6ee72eb8dfa1d3a6431df
oai_identifier_str oai::30544
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Poke-tool : uma ferramenta para suporte ao teste estrutural de programas baseado em analise de fluxo de dadosSoftware - DesenvolvimentoProgramas de computadorOrientador : Mario JinoDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia EletricaResumo: Os principais aspectos da especificação e implementação de uma ferramenta multilinguagem para suporte ao teste estrutural de programas baseado em fluxo de dados são apresentados. Na versão atual a ferramenta, denominada PORETOOL, suporta o teste de programas escritos na linguagem C e automatiza a aplicação dos critérios Potenciais Usos (PU) [MAL88a, MAL88b]. Os pontos mais relevantes e os principais algoritmos da implementaçâo são apresentados em detalhe. São também descritos os passos do procedimento a ser realizado por um usuário configurador para gerar configurações desta ferramenta para outras linguagens procedurais. Os aspectos funcionais e de controle de atividades da POKE- TOOL são ilustrados através de uma sessão de trabalho completa, que mostra a aplicação da ferramenta em um programa; o programa exemplo foi extraído de um conjunto de programas utilizado para conduzir um "benchmark" dos critérios Potenciais UsosAbstract: The main aspects of the specification and implementation of a multilanguage tool for structural data flow testing of programs are presented. In the present version, the tool, named POKE- TOOL, supports the test of programs written in C; it automates the application of the Potential Uses Criteria [MAL88a, MAL88b]. The most relevant points and main algorithms of the implementation are presented in detail. We also describe the steps of the procedure to be carried out by a user-configurer to generate configurations of the tool for other procedural languages. Functional and activities control aspects of POKE- TOOL are ilustrated through a complete work session, showing the application of the tool on a program; the examp]e program was extracted from a set of programs used to conduct a benchmark of the Potential Uses criteriaMestradoMestre em Engenharia Elétrica[s.n.]Jino, Mario, 1943-Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia ElétricaPrograma de Pós-Graduação em Engenharia ElétricaUNIVERSIDADE ESTADUAL DE CAMPINASChaim, Marcos Lordello19911991-04-26T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf[186]f. : il.(Broch.)https://hdl.handle.net/20.500.12733/1575478CHAIM, Marcos Lordello. Poke-tool: uma ferramenta para suporte ao teste estrutural de programas baseado em analise de fluxo de dados. 1991. [186]f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1575478. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/30544Publicação FEEporreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2014-04-17T21:21:45Zoai::30544Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2014-04-17T21:21:45Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Poke-tool : uma ferramenta para suporte ao teste estrutural de programas baseado em analise de fluxo de dados
title Poke-tool : uma ferramenta para suporte ao teste estrutural de programas baseado em analise de fluxo de dados
spellingShingle Poke-tool : uma ferramenta para suporte ao teste estrutural de programas baseado em analise de fluxo de dados
Chaim, Marcos Lordello
Software - Desenvolvimento
Programas de computador
title_short Poke-tool : uma ferramenta para suporte ao teste estrutural de programas baseado em analise de fluxo de dados
title_full Poke-tool : uma ferramenta para suporte ao teste estrutural de programas baseado em analise de fluxo de dados
title_fullStr Poke-tool : uma ferramenta para suporte ao teste estrutural de programas baseado em analise de fluxo de dados
title_full_unstemmed Poke-tool : uma ferramenta para suporte ao teste estrutural de programas baseado em analise de fluxo de dados
title_sort Poke-tool : uma ferramenta para suporte ao teste estrutural de programas baseado em analise de fluxo de dados
author Chaim, Marcos Lordello
author_facet Chaim, Marcos Lordello
author_role author
dc.contributor.none.fl_str_mv Jino, Mario, 1943-
Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica
Programa de Pós-Graduação em Engenharia Elétrica
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Chaim, Marcos Lordello
dc.subject.por.fl_str_mv Software - Desenvolvimento
Programas de computador
topic Software - Desenvolvimento
Programas de computador
description Orientador : Mario Jino
publishDate 1991
dc.date.none.fl_str_mv 1991
1991-04-26T00:00:00Z
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 (Broch.)
https://hdl.handle.net/20.500.12733/1575478
CHAIM, Marcos Lordello. Poke-tool: uma ferramenta para suporte ao teste estrutural de programas baseado em analise de fluxo de dados. 1991. [186]f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1575478. Acesso em: 2 set. 2024.
identifier_str_mv (Broch.)
CHAIM, Marcos Lordello. Poke-tool: uma ferramenta para suporte ao teste estrutural de programas baseado em analise de fluxo de dados. 1991. [186]f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1575478. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1575478
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/30544
Publicação FEE
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
[186]f. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809188708875763712

Registros relacionados