SPACES
From Grupo de Metodos Formais
A ferramenta SPACES (SPecification bAsed Component tESter) é uma ferramenta de teste funcional para componentes que faz uso de especificações UML e restrições OCL para derivar casos de teste de forma automática.
Tem como objetivo a geração automática de artefatos de teste para componentes de software a partir do conjunto de artefatos UML e restrições OCL que constituem a especificação destes componentes. O usuário deve utilizar uma das ferramentas de modelagem UML e que exportem para o formato de arquivo XMI. Após a construção de alguns diagramas UML, a ferramenta SPACES faz a leitura desses diagramas e constrói, automaticamente, classes de teste para o componente especificado. O teste é executado no framework ComponentTester.
A seguir, instruções para a correta utilização de SPACES.
Contents |
Introdução
Uma breve introdução no contexto geral ao qual a ferramenta se aplica
Construção dos artefatos UML
Regras e diagramas necessários para a extração das informações de teste por SPACES
Utilizando SPACES
Utilizando a ferramenta SPACES e gerando os testes
Executando o teste
Executando os testes através do framework ComponentTester
Observações finais
Observações importantes
Download
Aqui você pode baixar os arquivos necessários para a execução de SPACES e do ComponentTester, além dos códigos-fonte e de um exemplo que pode ser aplicado à ferramenta.
Contato
Contato dos desenvolvedores da ferramenta
Desenvolvimento
O que está sendo desenvolvido atualmente na ferramenta e perspectivas futuras
