page1
POKE-TOOL – Potencial Uses CRIteria TOOL for program testing
Projeto POKE-TOOL
SO
Linux
Licença
GPLv3
Supervisão
Prof. Marcos Lordello Chaim
http://ccsl.icmc.usp.br/projects/poke-tool
Teste Estrutual
O teste estrutural (ou caixa branca) estabelece os requisitos de teste com base na implementação do programa, verificando se detalhes do código são atendidos e solicitando a execução de partes ou de componentes elementares do programa. Os caminhos lógicos através do software são testados, fornecendo-se casos de teste que põem à prova tanto conjuntos específicos de condições e/ou laços bem como pares de definições e usos de variáveis. Os critérios pertencentes à técnica estrutural são classificados com base na complexidade, no fluxo de controle e no fluxo de dados.
A POKE-TOOL foi desenvolvida especificamente a para apoiar a aplicação dos critérios baseados em fluxo de dados da família Potenciais-Usos. Os critérios baseados em fluxo de controle Todos-Nós e Todos-Arcos foram também incluídos. Posteriormente, os critérios de fluxo de dados da família Rapps e Weyuker (e.g., Todos-Usos) foram adicionados. A versão disponível da POKE-TOOL apoia o teste de programas escritos em C e em ambiente Linux.