DesignWizard
From Grupo de Metodos Formais
O Design Wizard é uma ferramenta que permite verificar se o design de um projeto de software escrito em Java satisfaz certas regras de design.
Design Wizard é uma ferramenta de extração direta de modelos de software e que faz uso dessas informações extraídas para verificar propriedades estruturais do código. A idéia é que o designer expresse regras de design e o software verifique se as regras são de fato observadas durante o desenvolvimento. A verificação em si é completamente automática, cabendo ao designer apenas expressar as regras de design.
Testes de unidade servem para verificar a funcionalidade do software, porém no Design Wizard eles são utilizados para verificar o design do software. As regras são expressadas pelo designer através de JUnit TestCases. Como o propósito é outro, chamamos estes testes de testes de design. Com isso, testes de design são escritos de maneira muito semelhante a testes de unidade.
Design Wizard contribui de maneira direta á construção de softwares mais confiáveis. Ajudando no acompanhamento do desenvolvimento do software, checando propriedades que devem ser mantidas para que não haja diferença entre a arquitetura inicial proposta e a implementação. Design Wizard espera ajudar na manutenção do que chamamos conformidade da arquitetura com a implementação.
A ferramenta está disponível sob licença LGPL(Lesser General Public Licence).
Desenvolvedor: João Arthur
Orientadores: Ana Emília e Dalton Serey
Contents |
Introdução
Breve descrição sobre a ferramenta e o contexto em que se insere.
Funcionamento do Design Wizard
Como a ferramenta faz a verificação usando os testes de design.
Especificando testes de Design
Guia descrevendo como especificar testes de design.
Como usar o DesignWizard
Guia descrevendo como usar a ferramenta.
Estado atual do projeto
Planejamento de releases.
Documentação
Aqui estão disponibilizados o javadoc e artigos publicados sobre a ferramenta.
Download
Aqui estão disponibilizados os binários(designwizard.jar) e o javadoc.
Sugestões para testes de design
Visite e contribua com sugestões de testes de design.
Contato
Como entrar em contato com nossa equipe.
Tecnologias Utilizadas
Aqui você encontra as tecnologias usadas para o desenvolvimento do Design Wizard.
Avaliação de Impacto
Verifique como o DesignWizard pode avaliar o impacto devido à mudanças em entidades do sistema.
