| Crocopat. crocopat é uma ferramenta para computação relacional simples e eficiente. |
Baixe Agora |
Crocopat. Classificação e resumo
- Nome do editor:
- Dirk Beyer
- Site do editor:
- http://mtc.epfl.ch/~beyer/CrocoPat/
Crocopat. Tag
Crocopat. Descrição
O crocopat é uma ferramenta para computação relacional simples e eficiente. O crocopat é uma ferramenta para computação relacional simples e eficiente. Computação relacional.crocopat manipula relações de qualquer aridade, incluindo gráficos (que são relações binárias). Sua linguagem simples e expressiva de consulta e manipulação é baseada em cálculo predicado de primeira ordem. A implementação é baseada na estrutura de dados Diagrama de decisão binária (BDD), que é bem conhecida como uma representação compacta de grandes relações em verificação assistida por computador. O crocopat é fácil de integrar com outras ferramentas porque lê e grava relações de e para arquivos em uma simples estrutura de tupla.Amppreensão e avaliação de grandes sistemas de software. Muitas análises estruturais de sistemas de software podem ser formalizadas como consultas relacionais, por exemplo, a detecção de Padrões de design, de padrões de design problemático, de clones de código, de código morto e de diferenças entre a arquitetura as-construída e como projetada. Através de sua eficiência e sua linguagem expressiva, a Crocopat permite análises praticamente importantes de sistemas de software reais que não são possíveis com outras ferramentas de análise de gráfico, em particular análises que envolvem fechamentos transitivas e a detecção de padrões em gráficos. Pacote de BDD de alto nível.Enquanto pacotes de BDD padrão fornecem operações para manipular as relações sobre os bits, a biblioteca de crocopat permite a manipulação de relações em strings. Ele alivia os programadores de mapeamento de strings para codificações binárias e variáveis de usuário para variáveis BDD.O que é novo nesta versão: · Apenas atividades de manutenção (disponibilizá-la para macos, correções de bugs).
Crocopat. Software Relacionado