login

JaBUTi

jabuti.jpg
Domínio: 
Teste de Software

O teste de software é uma atividade de difícil realização e, por isso, sujeita a erros e propensa a ter alto custo. Para melhorar a qualidade da atividade de teste, várias técnicas têm sido propostas. O teste estrutural é a técnica que utiliza a estrutura de uma implementação para derivar os requisitos de teste. Exemplos de critérios estruturais são a cobertura de comandos ou de desvios. Da mesma forma, informações de fluxo de dados podem ser utilizadas por critérios estruturais.

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.

Referência (para citar em trabalhos científicos, use o código BibTeX abaixo)


@ARTICLE{Vincenzi-etal:2005,
    author = {Vincenzi, A. M. R. and Maldonado, J. C. and Wong, W. E. and Delamaro, M. E.},
    title = {Coverage testing of Java programs and components},
    journal = {Science of Computer Programming},
    publisher = {Elsevier},
    address = {Amsterdam, Netherlands},
    issn = {0167-6423}
    volume = {56},
    number = {1-2},
    month = apr,
    year = 2005,
    pages = {211--230},
    doi = {10.1016/j.scico.2004.11.013},
    url = {http://ccsl.icmc.usp.br/projects/jabuti},
}

Repositório


  • Versão Oficial:
    http://ccsl.icmc.usp.br/svn/jabuti/trunk/
  • Versão 1.0.3:
    http://ccsl.icmc.usp.br/svn/jabuti/tags/1.0.3

Manual do Usuário


Aplicação


Bibliotecas externas necessárias à execução da JaBUTi


Textos Relacionados