Poke-Tool

A Poke-tool (Potential Uses Criteria TOOL) é uma ferramenta de apoio ao teste estrutural de programa que vem sendo desenvolvida desde 1989 na Faculdade de Engenharia e Computação (FEEC) na Universidade Estadual de Campinas (UNICAMP) e no Instituto de Ciências Matemáticas e de Computação (ICMC) da Universidade de São Paulo (USP). Ela apóia, especificamente, o teste estrutural de acordo com os critérios todos nós, todos arcos, todos usos, todos c-usos, todos p-usos, todos potenciais usos, todos potenciais usos/du e todos potenciais du-caminhos.

Atualmente estamos fazendo um esforço para evoluir a ferramenta corrigindo bugs e incluindo novas funcionalidades. Como passo inicial desse esforço, o código-fonte da ferramenta foi tornado público. A ferramenta, na sua versão atual, é útil para execução de experimentos acadêmicos e ensino de técnicas de teste; ela não é robusta para execução em ambientes industriais.