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

Orientador : Mario Jino === Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica === Made available in DSpace on 2018-07-13T23:48:33Z (GMT). No. of bitstreams: 1 Chaim_MarcosLordello_M.pdf: 9685376 bytes, checksum: 62dd048f141f0aa396783b07b16c711e (MD5) Prev...

Full description

Bibliographic Details
Main Author: Chaim, Marcos Lordello
Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
Format: Others
Language:Portuguese
Published: [s.n.] 1991
Subjects:
Online Access: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: <http://www.repositorio.unicamp.br/handle/REPOSIP/261537>. Acesso em: 13 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/261537
Description
Summary:Orientador : Mario Jino === Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica === Made available in DSpace on 2018-07-13T23:48:33Z (GMT). No. of bitstreams: 1 Chaim_MarcosLordello_M.pdf: 9685376 bytes, checksum: 62dd048f141f0aa396783b07b16c711e (MD5) Previous issue date: 1991 === Resumo: 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 Usos === Abstract: 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 criteria === Mestrado === Mestre em Engenharia Elétrica