JaBUTi

A JaBUTi (Java Bytecode Understanding and Testing) é uma ferramenta de suporte ao teste estrutural para programas Java, desenvolvida pelo ICMC-USP (São Carlos). Nela estão implementados critérios baseados em fluxo de controle e critérios baseados em fluxo de dados. Uma das características que diferenciam a JaBUTi é o fato que toda a análise estática necessária para a realização do teste é feita sobre o programa objeto, ou seja, sobre o bytecode Java e não sobre o programa fonte.